Proof Procedures for Disjunctive Logic Programming.

Donald W. Loveland

Published in: GI Jahrestagung (1994)

Keyphrases

disjunctive logic programming
proof procedures
inference rules
proof procedure
answer set programming
polynomial hierarchy
knowledge representation and reasoning
logic programming
theorem proving
first order logic
answer sets
logic programs
propositional logic
constraint satisfaction problems
predicate calculus