Proof-Theoretic Characterisations of Logic Programs.

James H. Andrews

Published in: MFCS (1989)

Keyphrases

logic programs
proof theoretic
fixpoint
model theoretic
logic programming
nonmonotonic reasoning
linear logic
answer sets
background knowledge
answer set programming
constraint logic programming
computational properties
inductive logic programming
default reasoning
deductive databases
horn clauses
reasoning tasks