Belief revision in non-monotonic reasoning
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- A logic programming system for nonmonotonic reasoningJournal of Automated Reasoning, 1995
- Belief, provability, and logic programsJournal of Applied Non-Classical Logics, 1995
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- Weak Generalized Closed World AssumptionJournal of Automated Reasoning, 1989
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- Inferring negative information from disjunctive databasesJournal of Automated Reasoning, 1988
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980