Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).
Fangqing DongLaks V. S. LakshmananPublished in: LPNMR (1993)
Keyphrases
- extended abstract
- semantics of logic programs
- kripke models
- logic programs
- deductive databases
- modal logic
- answer sets
- fixpoint
- logic programming
- truth values
- integrity constraints
- model theoretic
- answer set semantics
- multi agent
- xml data
- temporal logic
- knowledge base
- knowledge representation
- action theories
- bayesian networks