Syntactic ASP Forgetting with Forks

This publication has 14 references indexed in Scilit:

• A denotational semantics for equilibrium logic
  Theory and Practice of Logic Programming, 2015
• Preserving Strong Equivalence while Forgetting
  2014
• Cut-free formulations for a quantified logic of here and there
  Annals of Pure and Applied Logic, 2010
• Minimal Logic Programs
  2007
• Propositional theories are strongly equivalent to logic programs
  Theory and Practice of Logic Programming, 2007
• A generalization of the Lin-Zhao theorem
  Annals of Mathematics and Artificial Intelligence, 2006
• Reducing Propositional Theories in Equilibrium Logic to Logic Programs
  Lecture Notes in Computer Science, 2005
• Logic programs with stable model semantics as a constraint programming paradigm
  Annals of Mathematics and Artificial Intelligence, 1999
• Stable Models and an Alternative Logic Programming Paradigm
  1999
• A new logical characterisation of stable models and answer sets
  1997