The complexity of handling minimal solutions in logic-based abduction

[1]  Georg Gottlob,et al.  Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..

[2]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[3]  Maurizio Lenzerini,et al.  The Complexity of Propositional Closed World Reasoning and Circumscription , 1994, J. Comput. Syst. Sci..

[4]  Georg Gottlob,et al.  Semantics and Complexity of Abduction from Default Theories , 1995, IJCAI.

[5]  Nadia Creignou,et al.  A Complete Classification of the Complexity of Propositional Abduction , 2006, SIAM J. Comput..

[6]  Pierre Marquis,et al.  Consistency restoration and explanations in dynamic CSPs Application to configuration , 2002, Artif. Intell..

[7]  Gustav Nordh,et al.  What makes propositional abduction tractable , 2008, Artif. Intell..

[8]  Irene Papatheodorou,et al.  Inference of Gene Relations from Microarray Data by Abduction , 2005, LPNMR.

[9]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

[10]  Georg Gottlob,et al.  Bounded treewidth as a key to tractability of knowledge representation and reasoning , 2006, Artif. Intell..

[11]  Georg Gottlob,et al.  The complexity of logic-based abduction , 1993, JACM.

[12]  Phokion G. Kolaitis,et al.  Subtractive reductions and complete problems for counting complexity classes , 2000 .

[13]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[14]  Stefan Rümmele,et al.  Backdoors to Abduction , 2013, IJCAI.

[15]  Dean Allemang,et al.  Some Results Concerning the Computational Complexity of Abduction , 1989, KR.

[16]  Reinhard Pichler,et al.  Counting Complexity of Propositional Abduction , 2007, IJCAI.

[17]  Heribert Vollmer,et al.  The satanic notations , 1995, SIGACT News.

[18]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[19]  Stefan Rümmele,et al.  The Parameterized Complexity of Abduction , 2012, AAAI.

[20]  Andreas Herzig,et al.  Updates, actions, and planning , 2001, IJCAI.