Answer Sets for Propositional Theories

This publication has 10 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
• Reducing Propositional Theories in Equilibrium Logic to Logic Programs
  Lecture Notes in Computer Science, 2005
• Strong equivalence made easy: nested expressions and weight constraints
  Theory and Practice of Logic Programming, 2003
• Towards Automated Integration of Guess and Check Programs in Answer Set Programming
  Lecture Notes in Computer Science, 2003
• Extending and implementing the stable model semantics
  Artificial Intelligence, 2002
• Strongly equivalent logic programs
  ACM Transactions on Computational Logic, 2001
• Nested expressions in logic programs
  Annals of Mathematics and Artificial Intelligence, 1999
• A new logical characterisation of stable models and answer sets
  1997
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991