Resolving ambiguity in nonmonotonic inheritance hierarchies
- 30 June 1992
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 55 (2-3) , 259-310
- https://doi.org/10.1016/0004-3702(92)90057-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Hard problems for simple default logicsArtificial Intelligence, 1991
- A skeptical theory of inheritance in nonmonotonic semantic networksArtificial Intelligence, 1990
- A model for belief revisionArtificial Intelligence, 1988
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Contexts and Data Dependencies: A SynthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979