A logic for default reasoning
- 1 April 1980
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 13 (1-2) , 81-132
- https://doi.org/10.1016/0004-3702(80)90014-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Linear resolution with selection functionArtificial Intelligence, 1972
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Extracting information from resolution proof treesArtificial Intelligence, 1971
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936