Circumscription and Disjunctive Logic Programming.

Jack Minker Jorge Lobo Arcot Rajasekar

Published in: Artificial and Mathematical Theory of Computation (1991)

Keyphrases

disjunctive logic programming
knowledge representation and reasoning
logic programming
answer set programming
polynomial hierarchy
answer sets
high level
knowledge representation
semantic web