Representing domain structure of many-sorted Prolog knowledge bases
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 168-183
- https://doi.org/10.1007/3-540-19129-1_8
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An introduction to automated deductionPublished by Springer Nature ,2005
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- Symmetric relations, intensional individuals, and variable bindingProceedings of the IEEE, 1986
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984
- The Knowledge LevelPublished by Defense Technical Information Center (DTIC) ,1981
- A PREDICATE CALCULUS BASED SEMANTIC NETWORK FOR DEDUCTIVE SEARCHINGPublished by Elsevier ,1979