Default reasoning and belief revision in the CIN project

G. Antoniou, M. A. Williams

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LanguageEnglish
Title of host publicationPractical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
EditorsDov M. Gabbay, Hans Jurgen Ohlbach
PublisherSpringer Verlag
Pages691-693
Number of pages3
ISBN (Print)3540613137, 9783540613138
DOIs
Publication statusPublished - Jun 1996
Externally publishedYes
EventInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996 - Bonn, Germany
Duration: 3 Jun 19967 Jun 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1085
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996
CountryGermany
CityBonn
Period3/06/967/06/96

Cite this

Antoniou, G., & Williams, M. A. (1996). Default reasoning and belief revision in the CIN project. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings (pp. 691-693). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085). Springer Verlag. https://doi.org/10.1007%2F3-540-61313-7_110
Antoniou, G. ; Williams, M. A. / Default reasoning and belief revision in the CIN project. Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. editor / Dov M. Gabbay ; Hans Jurgen Ohlbach. Springer Verlag, 1996. pp. 691-693 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a0643c63df8048db89ca6e0856aedf3d,
title = "Default reasoning and belief revision in the CIN project",
author = "G. Antoniou and Williams, {M. A.}",
year = "1996",
month = "6",
doi = "10.1007{\%}2F3-540-61313-7_110",
language = "English",
isbn = "3540613137",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "691--693",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings",

}

Antoniou, G & Williams, MA 1996, Default reasoning and belief revision in the CIN project. in DM Gabbay & HJ Ohlbach (eds), Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1085, Springer Verlag, pp. 691-693, International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Bonn, Germany, 3/06/96. https://doi.org/10.1007%2F3-540-61313-7_110

Default reasoning and belief revision in the CIN project. / Antoniou, G.; Williams, M. A.

Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. ed. / Dov M. Gabbay; Hans Jurgen Ohlbach. Springer Verlag, 1996. p. 691-693 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1085).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Default reasoning and belief revision in the CIN project

AU - Antoniou, G.

AU - Williams, M. A.

PY - 1996/6

Y1 - 1996/6

UR - http://www.scopus.com/inward/record.url?scp=84947997729&partnerID=8YFLogxK

U2 - 10.1007%2F3-540-61313-7_110

DO - 10.1007%2F3-540-61313-7_110

M3 - Conference contribution

SN - 3540613137

SN - 9783540613138

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 691

EP - 693

BT - Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings

A2 - Gabbay, Dov M.

A2 - Ohlbach, Hans Jurgen

PB - Springer Verlag

ER -

Antoniou G, Williams MA. Default reasoning and belief revision in the CIN project. In Gabbay DM, Ohlbach HJ, editors, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Springer Verlag. 1996. p. 691-693. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007%2F3-540-61313-7_110