An Improved Proof-Theoretic Compilation of Logic Programs.

Iliano Cervesato

Published in: Theory Pract. Log. Program. (2012)

Keyphrases

logic programs
proof theoretic
fixpoint
model theoretic
logic programming
nonmonotonic reasoning

constraint logic programming
answer set programming
answer sets
background knowledge
linear logic

computational properties
inductive logic programming
default reasoning
horn clauses
artificial intelligence

general purpose
classical logic
data model
proof theory
bayesian networks