Subject Reduction of Logic Programs as Proof-Theoretic Property.
Pierre DeransartJan-Georg SmausPublished in: J. Funct. Log. Program. (2002)
Keyphrases
- logic programs
- proof theoretic
- fixpoint
- model theoretic
- logic programming
- nonmonotonic reasoning
- constraint logic programming
- answer sets
- stable models
- answer set programming
- default reasoning
- computational properties
- inductive logic programming
- background knowledge
- linear logic
- deductive databases
- knowledge base
- horn clauses
- desirable properties
- classical logic
- relational databases