The complexity of model checking for circumscriptive formulae
- 30 November 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 44 (3) , 113-118
- https://doi.org/10.1016/0020-0190(92)90049-2
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Some computational aspects of circumscriptionJournal of the ACM, 1990
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980