Debugging Logic Programs under the Answer Set Semantics
暂无分享,去创建一个
[1] Ilkka Niemelä,et al. DES: a Challenge Problem for Nonmonotonic Reasoning Systems , 2000, ArXiv.
[2] Wolfgang Faber,et al. The INFOMIX system for advanced integration of incomplete and inconsistent data , 2005, SIGMOD '05.
[3] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[4] Thomas Linke,et al. NoMoRe : Non-monotonic Reasoning with Logic Programs , 2002, JELIA.
[5] Martin John Brain. Undergraduate Dissertation: Incremental Answer Set Programming , 2004 .
[6] Giovambattista Ianni,et al. A System with Template Answer Set Programs , 2004, JELIA.
[7] Michael Gelfond,et al. An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.
[8] John Mylopoulos,et al. Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning , 2004, iTrust.
[9] Enrico Pontelli,et al. Justification and debugging of answer set programs in ASP , 2005, AADEBUG'05.
[10] Marc Denecker,et al. Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison , 2000, LPAR.
[11] Marina De Vos,et al. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice , 2003, Answer Set Programming.