Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)

Gopalan Nadathur Donald W. Loveland

Published in: LICS (1995)

Keyphrases

extended abstract
disjunctive logic programming
answer set programming
knowledge representation and reasoning
polynomial hierarchy
logic programming
theorem prover
theorem proving
answer sets
high level
natural language
general purpose