Presenting a peirce logic based inference engine and theorem prover for conceptual graphs
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 381-400
- https://doi.org/10.1007/3-540-56979-0_21
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Implementing conceptual graphs in a RDBMSPublished by Springer Nature ,1993
- The Existential Graphs of Charles S. PeircePublished by Walter de Gruyter GmbH ,1973