From Disjunctive Programs to Abduction.

Vladimir Lifschitz Hudson Turner

Published in: NMELP (1994)

Keyphrases

answer sets
logic programming
logic programs
answer set semantics
answer set programming
background knowledge
computer programs
automatic programming
abductive reasoning
databases
stable models
intermediate level
control program
abductive logic programming