A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Moreno FalaschiGiorgio LeviMaurizio MartelliCatuscia PalamidessiPublished in: Inf. Comput. (1993)
Keyphrases
- model theoretic
- semantics of logic programs
- deductive databases
- fixpoint
- logic programs
- proof theoretic
- logic programming
- integrity constraints
- description logics
- answer sets
- query evaluation
- stable models
- answer set programming
- operational semantics
- default reasoning
- nonmonotonic reasoning
- horn clauses
- database
- graphical models
- data model