Debugging ASP Programs by Means of ASP
暂无分享,去创建一个
Stefan Woltran | Hans Tompits | Martin Gebser | Torsten Schaub | Martin Brain | Jörg Pührer | Torsten Schaub | M. Brain | H. Tompits | S. Woltran | Jörg Pührer | M. Gebser
[1] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[2] Hans Tompits,et al. A framework for compiling preferences in logic programs , 2002, Theory and Practice of Logic Programming.
[3] François Fages,et al. Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..
[4] Enrico Pontelli,et al. Justifications for Logic Programs Under Answer Set Semantics , 2006, ICLP.
[5] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[6] Günther Specht. Generating Explanation Trees even for Negations in Deductive DataBase Systems , 1993, LPE.
[7] Michael Gelfond,et al. Logic Programs with Consistency-Restoring Rules , 2003 .
[8] Fangzhen Lin,et al. ASSAT: computing answer sets of a logic program by SAT solvers , 2002, Artif. Intell..
[9] C. R. Ramakrishnan,et al. Justifying proofs using memo tables , 2000, PPDP '00.
[10] Torsten Schaub,et al. Profiling Answer Set Programming: The Visualization Component of the noMoRe System , 2004, JELIA.
[11] Marina De Vos,et al. Debugging Logic Programs under the Answer Set Semantics , 2005, Answer Set Programming.
[12] Giridhar Pemmasani,et al. Online Justification for Tabled Logic Programs , 2004, FLOPS.
[13] T. Syrjänen. Debugging Inconsistent Answer Set Programs , 2006 .
[14] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[15] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..