Calculi for Disjunctive Logic Programming.

Peter Baumgartner Ulrich Furbach

Published in: ICLP (1997)

Keyphrases

disjunctive logic programming
logic programming
knowledge representation and reasoning
polynomial hierarchy
answer set programming
answer sets
knowledge representation