Projection: A unification procedure for tableaux in Conceptual Graphs

DOI10.1007/BFb0027416zbMath1412.68240MaRDI QIDQ4610329

Gwen Kerdiles

Publication date: 15 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

deduction systemconceptual graphconcept nodegraph matchindividual marker

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Projection: A unification procedure for tableaux in Conceptual Graphs

Uses Software

• SATCHMO

Cites Work

• Computational aspects of an order-sorted logic with term declarations
• Direct deductive computation on discourse representation structures
• Projection: A unification procedure for tableaux in Conceptual Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item