The Near-Horn Approach to Disjunctive Logic Programming.

David W. Reed Donald W. Loveland Bruce T. Smith

Published in: ELP (1991)

Keyphrases

disjunctive logic programming
np hard
polynomial hierarchy
logic programming
answer set programming
knowledge representation and reasoning
propositional logic
answer sets
machine learning
artificial intelligence
lower bound
upper bound
object oriented
software engineering