Concept Logics
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A resolution principle for clauses with constraintsPublished by Springer Nature ,1990
- Computational Aspects of an Order-Sorted Logic with Term DeclarationsPublished by Springer Nature ,1989
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962
- Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen PrädikatenlogikMathematische Annalen, 1951
- Über deduktive Theorien mit mehreren Sorten von GrunddingenMathematische Annalen, 1938