Optimizations and Extensions for the Horn Transaction Logic Programs.

Published 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