Partial Deduction in Disjunctive Logic Programming.

Chiaki Sakama Hirohisa Seki

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

Keyphrases

disjunctive logic programming
partial deduction
logic programs
logic programming
answer set programming
answer sets
answer set semantics
knowledge representation and reasoning
polynomial hierarchy
machine learning
probabilistic reasoning
artificial intelligence
upper bound
default logic
reasoning tasks