Alviano, M., Dodaro, C., Leone, N. and Ricca, F.
2015. Advances in WASP. In Proc. of Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR, Lexington, KY, USA, September 27–30, 2015, F. Calimeri, G. Ianni and M. Truszczyński, Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 40–54.
Ben-Eliyahu, R. and Dechter, R.
1994. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 12, 1–2, 53–87.
Brain, M. and De Vos, M.
2005. Debugging logic programs under the answer set semantics. In Proc. of the 3rd International Workshop on Answer Set Programming (ASP'05), Advances in Theory and Implementation, Bath, UK, September 27–29, 2005, M. De Vos and A. Provetti, Eds. CEUR Workshop Proceedings, vol. 142. CEUR-WS.org.
Brain, M., Gebser, M., Puehrer, J., Schaub, T., Tompits, H. and Woltran, S.
2007a. That is illogical Captain! The debugging support tool spock for answer-set programs – System description. In Proc. of the 1st International Workshop on Software Engineering for Answer Set Programming (SEA'07), Tempe, AZ, USA, May 14, 2007, M. De Vos and T. Schaub, Eds., 71–85.
Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H. and Woltran, S.
2007b. Debugging ASP programs by means of ASP. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA, May 15–17, 2007, Baral, C., Brewka, G., and Schlipf, J. S., Eds. Lecture Notes in Computer Science, vol. 4483. Springer, 31–43.
Brochenin, R., Lierler, Y. and Maratea, M.
2014. Abstract disjunctive answer set solvers. In Proc. of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic, Aug. 18–22, 2014, Schaub, T., Friedrich, G., and O'Sullivan, B., Eds. Frontiers in Artificial Intelligence and Applications, vol. 263. IOS Press, 165–170.
Busoniu, P.-A., Oetsch, J., Pührer, J., Skočovský, P. and Tompits, H.
2013. Sealion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory and Practice of Logic Programming
13, 4–5, 657–673.
Caballero, R., García-Ruiz, Y. and Sáenz-Pérez, F.
2008. A theoretical framework for the declarative debugging of datalog programs. In Revised Selected Papers of the 3rd International Workshop on Semantics in Data and Knowledge Bases (SDKB'08), Nantes, France, March 29, 2008, Schewe, K.-D. and Thalheim, B., Eds. Lecture Notes in Computer Science, vol. 4925. Springer, 143–159.
Denecker, M.
2000. Extending classical logic with inductive definitions. In Proc. of the 1st International Conference on Computational Logic (CL'10), London, UK, July 24–28, 2000, Lloyd, J. W., Dahl, V., Furbach, U., Kerber, M., Lau, K., Palamidessi, C., Pereira, L. M., Sagiv, Y. and Stuckey, P. J., Eds. Lecture Notes in Computer Science, vol. 1861. Springer, 703–717.
Denecker, M. and Ternovska, E.
2008. A logic of nonmonotone inductive definitions. ACM Transactions on Computational Logic
9, 2.
Denecker, M., Vennekens, J., Bond, S., Gebser, M. and Truszczyński, M.
2009. The second answer set programming competition. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14–18, 2009, Erdem, E., Lin, F., and Schaub, T., Eds. Lecture Notes in Computer Science, vol. 5753. Springer, 637–654.
Dodaro, C., Gasteiger, P., Musitsch, B., Ricca, F. and Shchekotykhin, K. M.
2015. Interactive debugging of non-ground ASP programs. In Proc. of Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015, Calimeri, F., Ianni, G. and Truszczyński, M., Eds. Lecture Notes in Computer Science, vol. 9345. Springer, 279–293.
Eiter, T., Ianni, G., Schindlauer, R. and Tompits, H.
2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, July 30–August 5, 2005, Kaelbling, L. P. and Saffiotti, A., Eds. Professional Book Center, 90–96.
Faber, W., Leone, N. and Pfeifer, G.
2004. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04). Lecture Notes in Computer Science, vol. 3229. Springer, 200–212.
Faber, W., Pfeifer, G. and Leone, N.
2011. Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence
175, 1, 278–298.
Ferraris, P.
2011. Logic programs with propositional connectives and aggregates. ACM Transactions on Computational Logic
12, 4, 25.
Frühstück, M., Pührer, J. and Friedrich, G.
2013. Debugging answer-set programs with Ouroboros – Extending the SeaLion plugin. In Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), Corunna, Spain, September 15–19, 2013, Cabalar, P. and Son, T. C., Eds. Lecture Notes in Computer Science, vol. 8148. Springer, 323–328.
Gebser, M., Kaminski, R., König, A. and Schaub, T.
2011. Advances in gringo series 3. In Proc. of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), Vancouver, Canada, May 16–19, 2011, Delgrande, J. P. and Faber, W., Eds. Lecture Notes in Computer Science, vol. 6645. Springer, 345–351.
Gebser, M., Kaufmann, B. and Schaub, T.
2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence
187–188, 52–89.
Gebser, M., Lee, J. and Lierler, Y.
2011. On elementary loops of logic programs. Theory and Practice of Logic Programming
11, 6, 953–988.
Gebser, M., Pührer, J., Schaub, T. and Tompits, H.
2008. A meta-programming technique for debugging answer-set programs. In Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, IL, USA, July 13–17, 2008, Fox, D. and Gomes, C. P., Eds. AAAI Press, 448–453.
Gebser, M., Pührer, J., Schaub, T., Tompits, H. and Woltran, S.
2009. Spock: A debugging support tool for logic programs under the answer-set semantics. In Revised Selected Papers of the 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP'07) and 21st Workshop on (Constraint) Logic Programming (WLP'07), Seipel, D., Hanus, M. and Wolf, A., Eds. Lecture Notes in Computer Science, vol. 5437. Springer, 247–252.
Gelfond, M. and Lifschitz, V.
1991. Classical negation in logic programs and disjunctive databases. New Generation Computing
9, 3/4, 365–386.
Kloimüllner, C., Oetsch, J., Pührer, J. and Tompits, H.
2013. Kara: A system for visualising and visual editing of interpretations for answer-set programs. In Revised Selected Papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11) and the 25th Workshop on Logic Programming (WLP'11), Vienna, Austria, September 28–30, 2011. Lecture Notes in Computer Science, vol. 7773. Springer, 325–344.
Lee, J.
2005. A model-theoretic counterpart of loop formulas. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, July 30–August 5, 2005, Kaelbling, L. P. and Saffiotti, A., Eds. Professional Book Center, 503–508.
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F.
2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic
7, 3, 499–562.
Li, T., Vos, M. D., Padget, J., Satoh, K. and Balke, T.
2015. Debugging ASP using ILP. In Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31–September 4, 2015, Vos, M. D., Eiter, T., Lierler, Y. and Toni, F., Eds. CEUR Workshop Proceedings, vol. 1433. CEUR-WS.org.
Lierler, Y.
2011. Abstract answer set solvers with backjumping and learning. Theory and Practice of Logic Programming
11, 2–3, 135–169.
Lierler, Y. and Truszczyński, M.
2016. On abstract modular inference systems and solvers. Artificial Intelligence
236, 65–89.
Liu, L., Pontelli, E., Son, T. C. and Truszczyński, M.
2010. Logic programs with abstract constraint atoms: The role of computations. Artificial Intelligence
174, 3–4, 295–315.
Marek, V. W. and Remmel, J. B.
2004. Set constraints in logic programming. In Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04), Fort Lauderdale, FL, USA, January 6–8, 2004, Lifschitz, V. and Niemelä, I., Eds. LNCS, vol. 2923. Springer, 167–179.
Marek, V. W. and Truszczyński, M.
1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, Apt, K. R., Marek, V. W., Truszczyński, M. and Warren, D. S., Eds. Springer, 375–398.
Marek, V. W. and Truszczyński, M.
2004. Logic programs with abstract constraint atoms. In Proc. of the 19th National Conference on Artificial Intelligence (AAAI'04), San Jose, CA, USA, July 25–29, 2004, Ferguson, G. and McGuinness, D., Eds. AAAI Press, 86–91.
Mikitiuk, A., Moseley, E. and Truszczyński, M.
2007. Towards debugging of answer-set programs in the language PSpb. In Proc. of the 2007 International Conference on Artificial Intelligence (ICAI'07), Volume II, Las Vegas, NV, USA, June 25–28, 2007, Arabnia, H. R., Yang, M. Q. and Yang, J. Y., Eds. CSREA Press, 635–640.
Niemelä, I.
1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence
25, 3–4, 241–273.
Nieuwenhuis, R., Oliveras, A. and Tinelli, C.
2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to dpll(T). Journal of the ACM
53, 6, 937–977.
Oetsch, J., Pührer, J. and Tompits, H.
2010a. Catching the Ouroboros: On debugging non-ground answer-set programs. Theory and Practice of Logic Programming
10, 4–6 (July), 513–529.
Oetsch, J., Pührer, J. and Tompits, H.
2010b. Let's break the rules: Interactive procedural-style debugging of answer-set programs. In Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP'10), Cairo, Egypt, September 14–16, 2010, Abdennadher, S., Ed. Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, 77–87.
Oetsch, J., Pührer, J. and Tompits, H.
2011. Stepping through an answer-set program. In Proc. of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11), Vancouver, Canada, May 16–19, 2011. Lecture Notes in Computer Science, vol. 6645. Springer, 134–147.
Oetsch, J., Pührer, J. and Tompits, H.
2012a. An FLP-style answer-set semantics for abstract-constraint programs with disjunctions. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), Budapest, Hungary, Dovier, A. and Costa, V. S., Eds. LIPIcs, vol. 17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 222–234.
Oetsch, J., Pührer, J. and Tompits, H.
2012b. Stepwise debugging of description-logic programs. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Erdem, E., Lee, J., Lierler, Y. and Pearce, D., Eds. Lecture Notes in Computer Science, vol. 7265. Springer, 492–508.
Oetsch, J., Pührer, J. and Tompits, H.
2013. The SeaLion has landed: An IDE for answer-set programming–Preliminary report. In Revised Selected Papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11) and the 25th Workshop on Logic Programming (WLP'11), Vienna, Austria, September 28–30, 2011. Lecture Notes in Computer Science, vol. 7773. Springer, 305–324.
Polleres, A., Frühstück, M., Schenner, G. and Friedrich, G.
2013. Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints. In Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), Corunna, Spain, September 15–19, 2013, Cabalar, P. and Son, T. C., Eds. Lecture Notes in Computer Science, vol. 8148. Springer, 452–464.
Pontelli, E., Son, T. C. and El-Khatib, O.
2009. Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming
9, 1, 1–56.
Pührer, J.
2007. On debugging of propositional answer-set programs. Master's thesis, Vienna University of Technology, Vienna, Austria.
Redl, C.
2016. The DLVHEX system for knowledge representation: Recent advances (system description). Theory and Practice of Logic Programming
16, 5–6, 866–883.
Shapiro, E. Y.
1982. Algorithmic Program Debugging. PhD thesis, Yale University, New Haven, CT, USA.
Shchekotykhin, K. M.
2015. Interactive query-based debugging of ASP programs. In Proc. of the 29th AAAI Conference on Artificial Intelligence (AAAI'15), Austin, TX, USA, January 25–30, 2015, Bonet, B. and Koenig, S., Eds. AAAI Press, 1597–1603.
Simons, P., Niemelä, I. and Soininen, T.
2002. Extending and implementing the stable model semantics. Artificial Intelligence
138, 181–234.
Syrjänen, T.
2006. Debugging inconsistent answer set programs. In Proc. of the 11th International Workshop on Non-Monotonic Reasoning (NMR'06), Lake District, UK, May 30–June 1, 2006, Dix, J. and Hunter, A., Eds. Institut für Informatik, Technische Universität Clausthal, Technical Report, 77–83.
Truszczyński, M.
2010. Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Artificial Intelligence
174, 16–17, 1285–1306.
Wittocx, J., Vlaeminck, H. and Denecker, M.
2009. Debugging for model expansion. In Proc. of the 25th International Conference on Logic Programming (ICLP'09), Pasadena, CA, USA, July 14–17, 2009, Hill, P. M. and Warren, D. S., Eds. Lecture Notes in Computer Science, vol. 5649. Springer, 296–311.