Quantitative Disjunctive Logic Programming: Semantics and Computation.

Cristinel Mateis

Published in: AI Commun. (2000)

Keyphrases

disjunctive logic programming
logic programming
disjunctive datalog
answer set programming
polynomial hierarchy
knowledge representation and reasoning
formal semantics
knowledge base
logic programs
first order logic
answer sets
solving problems