Special issue: abductive logic programming.

Marc Denecker Antonis C. Kakas

Published in: J. Log. Program. (2000)

Keyphrases

special issue
abductive logic programming
logic programs
proof procedure
ecml pkdd
international journal
ai edam
applied intelligence
logic programming
special section
background knowledge
answer set semantics
propositional logic
high level
constraint satisfaction