Embedding defaults into terminological knowledge representation formalisms
- 1 January 1995
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 14 (1) , 149-180
- https://doi.org/10.1007/bf00883932
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- Complexity Results for Nonmonotonic LogicsJournal of Logic and Computation, 1992
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- LIVING WITH CLASSICPublished by Elsevier ,1991
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947