Calculi for Disjunctive Logic Programming.

Peter Baumgartner Ulrich Furbach

Published in: ILPS (1997)

Keyphrases

disjunctive logic programming
knowledge representation and reasoning
logic programming
polynomial hierarchy
answer set programming
artificial intelligence
knowledge representation
machine learning
search space
upper bound
incomplete information
answer sets