Belief revision in a framework for default reasoning

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

Volumn 465 LNAI, Issue , 1991, Pages 206-222

  Brewka, Gerhard ^a  

^a Gesellschaft für Mathematik und Datenverarbeitung ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BELIEF REVISION; CONSISTENT SUBSET; DEFAULT REASONING; DEFAULT THEORY; NON-MONOTONIC REASONING; THEORY REVISION;

COMPUTER CIRCUITS;

EID: 84887227416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0018422     Document Type: Conference Paper

References (10)

1. Brewka, Gerhard: Preferred Subtheories-An Extended Logical Framework for Default Reasoning, Proc. IJCAI-89, 1989
2. Brewka, Gerhard: Nonmonotonic Reasoning-Logical Foundations of Commonsense, Cambridge University Press, to appear
3. Gärdenfors, Peter: Knowledge in Flux, MIT Press, Cambridge, MA, 1988
4. Gärdenfors, Peter, Makinson, David: Revisions of Knowledge Systems Using Epistemic Entrenchment. In: Vardi, M. (ed): Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, 1988
5. McCarthy, John: Circumscription-A Form of Nonmonotonic Reasoning, Artificial Intelligence 13, 1980
6. McCarthy, John: Applications of Circumscription to Formalizing Common Sense Knowledge, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984 (also in Artificial Intelligence 28, 1986)
7. Moore, Robert C.: Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985
8. Poole, D.: A Logical Framework for Default Reasoning, Artificial Intelligence 36, 1988
9. Reiter, Raymond: A Logic for Default Reasoning, Artificial Intelligence 13, 1980
10. Rescher, Nicholas: Hypothetical Reasoning, North-Holland Publ., Amsterdam. 1964