Model Representation and Taxonomic Reasoning in Configuration Problem Solving
- 1 January 1991
- book chapter
- Published by Springer Nature in Informatik-Fachberichte
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Logic-based configuration with a semantic networkThe Journal of Logic Programming, 1990
- Concept LogicsPublished by Springer Nature ,1990
- Problems and Promises of Computational LogicPublished by Springer Nature ,1990
- Computational LogicPublished by Springer Nature ,1990
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987
- An overview of the KL-ONE Knowledge Representation SystemCognitive Science, 1985
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985