Proof Systems for Nonmonotonic Logics
by Ilkka Niemel, Camilla Schwind
http://saturn.hut.fi/~ini/papers/cade94-nmls-survey.ps.gz
Add To MetaCart
Abstract:
A survey of proof systems for nonmonotonic logics is presented. In particular, proof methods for default logics, nonmonotonic modal logics, circumscription, and conditional logics are discussed. 1
Citations
| 128 | Nonmonotonic reasoning in the framework of situation calculus – Baker - 1991 |
| 27 | Temporal projection and explanation – Baker, Ginsberg - 1989 |
| 25 | Default logic, propositional logic and constraints – Ben-Eliyahu, Dechter - 1991 |
| 11 | Propositional semantics for default logic – Ben-Eliyahu, Dechter - 1992 |
| 9 | Structural Complexity I – Balczar, Daz, et al. - 1988 |
