Reducing Propositional Theories in Equilibrium Logic to Logic Programs.

Pedro Cabalar David Pearce Agustín Valverde

Published in: EPIA (2005)

Keyphrases

logic programs
propositional theories
computational problems
logic programming
computational properties
answer sets
answer set semantics
stable models
fixpoint
answer set programming
inductive logic programming
horn clauses
natural language
knowledge representation
deductive databases
sat solvers