Keyphrases
- logic programming
- compositional semantics
- logic programs
- formal semantics
- fixed point semantics
- containment of conjunctive queries
- stable models
- deductive databases
- model theoretic
- stable model semantics
- semantic information
- open world
- semantics for logic programs
- derivation rules
- default reasoning
- conceptual graphs
- failure rate
- closed world
- disjunctive logic programming
- fixpoint semantics
- natural language
- semantics of logic programs
- declarative semantics
- logic programming language
- fixpoint