Two FOL Semantics for Simple and Nested Conceptual Graphs.

Geneviève Simonet

Published in: ICCS (1998)

Keyphrases

conceptual graphs
semantic representation
knowledge representation language
natural language
partial order
formal semantics
formal representation
knowledge structures
domain ontology
artificial intelligence
first order logic
theorem proving
object oriented dbms
databases
learning environment
logic programming