Abductive logic programming and disjunctive logic programming: their relationship and transferability.

Chiaki Sakama Katsumi Inoue

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

Keyphrases

disjunctive logic programming
abductive logic programming
logic programs
answer set semantics
answer sets
logic programming
answer set programming
polynomial hierarchy
proof procedure
knowledge representation and reasoning
expressive power