Reducing Propositional Theories in Equilibrium Logic to Logic Programs.

Pedro Cabalar David Pearce Agustín Valverde

Published in: Answer Set Programming (2005)

Keyphrases

propositional theories
logic programs
computational problems
computational properties
logic programming
answer set semantics
stable models
answer sets
answer set programming
fixpoint
inductive logic programming
orders of magnitude
reasoning tasks
optimal solution