Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs.

Published in: KIFS (1987)

Keyphrases

logic programs
model theoretic
proof theoretic
fixpoint
logic programming
answer sets
answer set programming
computational properties
deductive databases
background knowledge
high level
inductive logic programming
proof procedure
horn clauses
machine learning
default reasoning