Reducing Propositional Theories in Equilibrium Logic to Logic Programs

This publication has 18 references indexed in Scilit:

• Safe beliefs for propositional theories
  Annals of Pure and Applied Logic, 2005
• Weight constraints as nested expressions
  Theory and Practice of Logic Programming, 2005
• Answer Sets for Propositional Theories
  2005
• Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
  2004
• Tutorial: Complexity of many-valued logics
  2002
• Strongly equivalent logic programs
  ACM Transactions on Computational Logic, 2001
• Nested expressions in logic programs
  Annals of Mathematics and Artificial Intelligence, 1999
• Combining negation as failure and embedded implications in logic programs
  The Journal of Logic Programming, 1998
• Declarative semantics of hypothetical logic programming with negation as failure
  Lecture Notes in Computer Science, 1993
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991