A PREDICATE CALCULUS BASED SEMANTIC NETWORK FOR DEDUCTIVE SEARCHING
- 1 January 1979
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Extending the expressive power of semantic networksArtificial Intelligence, 1976
- Π-representation: A clause representation for parallel searchArtificial Intelligence, 1975
- The teachable language comprehenderCommunications of the ACM, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965