Knowledge Representation and Reasonings Based on Graph Homomorphism
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 172-192
- https://doi.org/10.1007/10722280_12
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Tractable and Decidable Fragments of Conceptual GraphsPublished by Springer Nature ,1999
- A Simulation of Co-identity with Rules in Simple and Nested GraphsPublished by Springer Nature ,1999
- Logic for Nested GraphsComputational Intelligence, 1998
- Conjunctive-query containment and constraint satisfactionPublished by Association for Computing Machinery (ACM) ,1998
- Piece resolution: Towards larger perspectivesPublished by Springer Nature ,1998
- A sound and complete CG proof procedure combining projections with analytic tableauxPublished by Springer Nature ,1997
- Modelling and simulating human behaviours with conceptual graphsPublished by Springer Nature ,1997
- On generalization/specialization for conceptual graphsJournal of Experimental & Theoretical Artificial Intelligence, 1995
- A direct proof procedure for definite conceptual graph programsPublished by Springer Nature ,1995
- Characterization and algorithmic recognition of canonical conceptual graphsPublished by Springer Nature ,1993