Disjunctive Logic Programming as Constrained Inferences.

Jia-Huai You Xianchang Wang Li-Yan Yuan

Published in: ICLP (1997)

Keyphrases

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