Overview of Disjunctive Logic Programming.

Published in: Ann. Math. Artif. Intell. (1994)

Keyphrases

disjunctive logic programming
logic programming
polynomial hierarchy
knowledge representation and reasoning
answer set programming
artificial intelligence
data sources
knowledge representation
logic programs
expressive power
answer sets