Hyper Tableaux and Disjunctive Logic Programming.

Peter Baumgartner Ulrich Furbach

Published in: DDLP (1996)

Keyphrases

disjunctive logic programming
modal logic
logic programming
knowledge representation and reasoning
polynomial hierarchy
answer set programming
decision procedures
functional dependencies
answer sets
high level
logic programs
automated reasoning
knowledge base
programming language
np complete