Open AccessBook
General patterns in nonmonotonic reasoning
David Makinson
- pp 35-110
About:
The article was published on 1994-04-01 and is currently open access. It has received 391 citations till now. The article focuses on the topics: Non-monotonic logic.read more
Citations
More filters
Journal ArticleDOI
Logic Programming and Negation: A Survey.
Krzysztof R. Apt,Roland N. Bol +1 more
TL;DR: A survey of negation in logic programs can be found in this article, where the authors concentrate on the proof-theoretic and model theoretic issues and the relationships between them.
Journal ArticleDOI
Input/output logics
TL;DR: The purpose is to develop a theory of such input/output operations, defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators.
Journal ArticleDOI
Nonmonotonic inference based on expectations
Peter Gärdenfors,David Makinson +1 more
TL;DR: It is shown how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations, and it is shown that by using the notion of expectation, one can unify the treatment of the theory of belief revision and that of nonMonotonic inference relations.
Journal ArticleDOI
The value of the four values
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper vindicates Belnap's thesis by showing that the logical role that the four-valued structure has among Ginsberg's bilattices is similar to the roles that the two-valued algebra has among Boolean algebras.
Journal ArticleDOI
Another perspective on Default Reasoning
TL;DR: The lexicographic closure provides a logic of normal defaults that is different from the one proposed by R. Reiter and that is rich enough not to require the consideration of non-normal defaults.