Conceptual Graph Programs and Their Declarative Semantics.
Bikash Chandra GhoshVilas WuwongsePublished in: IEICE Trans. Inf. Syst. (1995)
Keyphrases
- declarative semantics
- conceptual graphs
- partial order
- deductive databases
- logic programming
- logic programs
- logic programming language
- operational semantics
- fixpoint
- fixpoint semantics
- constraint logic programming
- natural language
- knowledge structures
- integrity constraints
- defeasible reasoning
- answer sets
- inference rules
- stable models
- answer set programming
- knowledge representation and reasoning
- programming language
- default logic
- nonmonotonic reasoning
- situation calculus
- domain ontology
- machine learning