Proof Theory and Semantics of Logic Programs

Haim Gaifman Ehud Shapiro

Published in: LICS (1989)

Keyphrases

proof theory
semantics of logic programs
deductive databases
default reasoning
logic programs
answer sets
logic programming
fixpoint
automated reasoning
nonmonotonic reasoning
truth values
reasoning problems
integrity constraints
partial order
query evaluation
database
relational databases