About the logical interpretation of ambiguous inheritance hierarchies
- 31 December 1990
- book chapter
- Published by Springer Nature
- p. 213-222
- https://doi.org/10.1007/bfb0028106
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- On the Declarative Semantics of Logic Programs with NegationPublished by Elsevier ,1988
- Negation as Failure Using Tight Derivations for General Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Negation in Logic ProgrammingPublished by Elsevier ,1988
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- A logic for default reasoningArtificial Intelligence, 1980
- Negation as FailurePublished by Springer Nature ,1978