Eliminating the fixed predicates from a circumscription
- 31 July 1989
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 39 (3) , 391-398
- https://doi.org/10.1016/0004-3702(89)90018-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980