Optimizations and Extensions for the Horn Transaction Logic Programs.
Paul FodorPublished in: AAAI (2008)
Keyphrases
- logic programs
- horn clauses
- logic programming
- fixpoint
- answer sets
- stable models
- background knowledge
- inductive logic programming
- default logic
- np hard
- answer set programming
- database
- computational properties
- stable model semantics
- prolog programs
- partial deduction
- normal logic programs
- propositional logic
- belief revision
- strong equivalence
- recursive programs
- semantics for logic programs
- logic program updates