AN ESSENTIAL HYBRID REASONING SYSTEM: KNOWLEDGE AND SYMBOL LEVEL ACCOUNTS OF KRYPTON
- 1 January 1989
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligenceArtificial Intelligence, 1972
- Algebraic simplificationCommunications of the ACM, 1971