Terminological reasoning and partial inductive definitions
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 221-237
- https://doi.org/10.1007/bfb0013610
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Partial inductive definitionsTheoretical Computer Science, 1991
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- A Proof-Theoretic Approach to Logic Programming. I. Clauses as RulesJournal of Logic and Computation, 1990
- CLASSIC: a structural data model for objectsPublished by Association for Computing Machinery (ACM) ,1989
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985