Logics for inheritance theory
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 220-237
- https://doi.org/10.1007/3-540-50701-9_30
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Circumscriptive theories: A logic-based framework for knowledge representationJournal of Philosophical Logic, 1988
- An approach to default reasoning based on a first-order conditional logic: Revised reportArtificial Intelligence, 1988
- The anomalous extension problem in default reasoningArtificial Intelligence, 1988
- A Calculus for Inheritance in Monotonic Semantic Nets.Published by Defense Technical Information Center (DTIC) ,1987
- Defeat among arguments: a system of defeasible inferenceComputational Intelligence, 1987
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- A Useful Four-Valued LogicPublished by Springer Nature ,1977