Modal Logics for Conceptual Graphs.

Harmen van den Berg

Published in: ICCS (1993)

Keyphrases

conceptual graphs
modal logic
decision procedures
temporal logic
inference rules
natural language
nonmonotonic logics
epistemic logic
knowledge structures
default logic
conceptual structures
retrieval engine
object oriented dbms
partial order
situation calculus
machine learning
domain ontology
object oriented