Login / Signup
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