Methods and methodologies for developing answer-set programs project description

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 154-161

  Oetsch, Johannes ^a   Pührer, Jörg ^a   Tompits, Hans ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER-SET PROGRAMMING; DECLARATIVE PROBLEM SOLVING; DIVERSE APPLICATIONS; FOCUS OF RESEARCHES; INTEGRATED DEVELOPMENT ENVIRONMENT; PROGRAM TESTING; PROGRAMMING PROCESS; SYSTEMATIC PROGRAM;

LOGIC PROGRAMMING; TOOLS; WEB SERVICES;

PROGRAM DEBUGGING;

EID: 84880206852     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.154     Document Type: Conference Paper

References (43)

1. [Bar03] Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge, England, UK, 2003.
2. [Bec02] Kent Beck. Test Driven Development: By Example. Addison-Wesley Professional, Boston, MA, USA, 2002.
3. [Boe08] Georg Boenn, Martin Brain, Marina De Vos, and John Fitch. Automatic composition of melodic and harmonic music by answer set programming. In Maria Garcia de la Banda and Enrico Pontelli (eds.), Proceedings of the 24th International Conference on Logic Programming (ICLP'08), Udine, Italy, December 9-13, 2008, Lecture Notes in Computer Science, vol. 5366, pp. 160-174. Springer, Berlin-Heidelberg, Germany, 2008.
4. [Boe09] Georg Boenn, Martin Brain, Marina De Vos, and John Fitch. ANTON: Composing logic and logic composing. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 542-547. Springer, Berlin-Heidelberg, Germany, 2009.
5. [Bra05] Martin Brain and Marina De Vos. Debugging logic programs under the answer-set semantics. In Proceedings of the 3rd Workshop on Answer Set Programming: Advances in Theory and Imple- mentation (ASP'05), Bath, UK, July 27-29, 2005, CEUR Workshop Proceedings, vol. 142. CEURWS. org, Aachen, Germany, 2005.
6. [Bra07] Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. Debugging ASP programs by means of ASP. In Chitta Baral, Gerhard Brewka, and John S. Schlipf (eds.), Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA, May 15-17, 2007, Lecture Notes in Computer Science, vol. 4483, pp. 31-43. Springer, Berlin-Heidelberg, Germany, 2007.
7. [Bro94] Antonio Brogi, Paolo Mancarella, Dino Pedreschi, and Franco Turini. Modular logic programming. ACM Transactions on Programming Languages and Systems, 16(4):1361-1398, 1994.
8. [Den09] Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, and Miroslaw Truszczynski. The second answer set programming competition. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 637-654. Springer, Berlin-Heidelberg, Germany, 2009.
9. [DS99] Daniel De Schreye and Marc Denecker. Assessment of some issues in CL-theory and program development. In Krzysztof R. Apt, Victor Marek, Miroslaw Truszczynski, and David S. Warren (eds.), The Logic Programming Paradigm: A 25 Years Perspective, Artificial Intelligence Series, pp. 195-208. Springer, Berlin-Heidelberg, Germany, 1999.
10. [Eit99] Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. The diagnosis frontend of the dlv system. AI Communications, 12(1-2):99-111, 1999.
11. [Eit05] Thomas Eiter, Hans Tompits, and Stefan Woltran. On solution correspondences in answer-set programming. In Leslie Pack Kaelbling and Alessandro Sa-otti (eds.), Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), Edinburgh, Scotland, UK, July 30-August 5, 2005, pp. 97-102. Professional Book Center, Denver, CO, USA, 2005.
12. [Eit07] Thomas Eiter, Michael Fink, and Stefan Woltran. Semantical characterizations and complexity of equivalences in answer set programming. ACM Transactions on Computational Logic, 8(3):17, 2007.
13. [Erd09a] Esra Erdem. PHYLO-ASP: Phylogenetic systematics with answer set programming. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, Septem- ber 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 567-572. Springer, Berlin- Heidelberg, Germany, 2009.
14. [Erd09b] Esra Erdem, Ozan Erdem, and Ferhan Ture. HAPLO-ASP: Haplotype inference using answer set programming. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 573-578. Springer, Berlin-Heidelberg, Germany, 2009.
15. [Fin08] Michael Fink. Equivalences in answer-set programming by countermodels in the logic of here-andthere. In Maria Garcia de la Banda and Enrico Pontelli (eds.), Proceedings of the 24th International Conference on Logic Programming (ICLP'08), Udine, Italy, December 9-13, 2008, Lecture Notes in Computer Science, vol. 5366, pp. 99-113. Springer, Berlin-Heidelberg, Germany, 2008.
16. [Geb08] Martin Gebser, Jörg Pührer, Torsten Schaub, and Hans Tompits. A meta-programming technique for debugging answer-set programs. In Dieter Fox and Carla P. Gomes (eds.), Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08), Chicago, IL, USA, July 13-17, 2008, pp. 448-453. AAAI Press, Menlo Park, CA, USA, 2008.
17. [Gel88] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming (ICLP'88), Seattle, WA, USA, August 15-19, 1988, pp. 1070-1080. The MIT Press, 1988.
18. [Gel91a] Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-386, 1991.
19. [Gel91b] Michael Gelfond and Halina Przymusińska. Definitions in epistemic specifications. In Wiktor Marek, Anil Nerode, and V. S. Subrahmanian (eds.), Proceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning (LPNMR'91), Washington, D.C., USA, July 23, 1991, pp. 245-259. MIT Press, Cambridge, MA, USA, 1991.
20. [Gel96] Michael Gelfond and Halina Przymusińska. Towards a theory of elaboration tolerance: Logic programming approach. Journal on Software and Knowledge Engineering, 6(1):89-112, 1996.
21. [Gel01] Michael Gelfond, Marcello Balduccini, and Joel Galloway. Diagnosing physical systems in A-prolog. In Thomas Eiter, Wolfgang Faber, and Miros law Truszczy-nski (eds.), Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Vi- enna, Austria, September 17-19, 2001, Lecture Notes in Computer Science, vol. 2173, pp. 213-225. Springer, Berlin-Heidelberg, Germany, 2001.
22. [Gel02] Michael Gelfond. The USA-Advisor: A case study in answer set programming. In Sergio Flesca, Sergio Greco, Nicola Leone, and Giovambattista Ianni (eds.), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Cosenza, Italy, September, 23-26, 2002, Lecture Notes in Computer Science, vol. 2424, pp. 566-568. Springer, Berlin-Heidelberg, Germany, 2002.
23. [Hel03] Keijo Heljanko and Ilkka Niemelä. Bounded LTL model checking with stable models. Theory and Practice of Logic Programming, 3(4-5):519-550, 2003.
24. [Het91] William C. Hetzel and Bill Hetzel. The Complete Guide to Software Testing. John Wiley & Sons, Inc., New York, NY, USA, 1991.
25. [Iel09] Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, and Francesco Ricca. An ASP-based system for e-tourism. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 368-381. Springer, Berlin-Heidelberg, Germany, 2009.
26. [Ino04] Katsumi Inoue and Chiaki Sakama. Equivalence of logic programs under updates. In José Júlio Alferes and João Alexandre Leite (eds.), Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04), Lisbon, Portugal, September 27-30, 2004, Lecture Notes in Computer Science, vol. 3229, pp. 174-186. Springer, Berlin-Heidelberg, Germany, 2004.
27. [Jan09] Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Modularity aspects of disjunctive stable models. Journal of Artificial Intelligence Research, 35:813-857, 2009.
28. [Lif01] Vladimir Lifschitz, David Pearce, and Agustín Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4):526-541, 2001.
29. [Mik07] Artur Mikitiuk, Eric Moseley, and Miroslaw Truszczyński. Towards debugging of answer-set programs in the language PSpb. In Proceedings of the 2007 International Conference on Artificial Intelligence (ICAI'07), Las Vegas, NV, USA, June 25-28, 2007, vol. II, pp. 635-640. CSREA Press, 2007.
30. [Mil09] Alessandra Mileo, Davide Merico, and Roberto Bisiani. Non-monotonic reasoning supporting wireless sensor networks for intelligent monitoring: The SINDI system. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 585-590. Springer, Berlin-Heidelberg, Germany, 2009.
31. [Mye79] Glenford J. Myers. The Art of Software Testing. John Wiley & Sons, New York, NY, USA, 1979.
32. [Nie10] Ilkka Niemelä, Tomi Janhunen, Johannes Oetsch, Jörg Pührer, and Hans Tompits. On testing answer-set programs. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), Lisbon, Portugal, August 16-20. 2010. To appear.
33. [Oet07] Johannes Oetsch, Hans Tompits, and Stefan Woltran. Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection. In Proceedings of the 22nd Conference on Artficial Intelligence (AAAI'07), Vancouver, BC, Canada, July 22-26, 2007, pp. 458-464. AAAI Press, Menlo Park, CA, USA, 2007.
34. [Oet08] Johannes Oetsch and Hans Tompits. Program correspondence under the answer-set semantics: The non-ground case. In Maria Garcia de la Banda and Enrico Pontelli (eds.), Proceedings of the 24th International Conference on Logic Programming (ICLP'08), Udine, Italy, December 9-13, 2008, Lecture Notes in Computer Science, vol. 5366, pp. 591-605. Springer, Berlin-Heidelberg, Germany, 2008.
35. [Oet10] Johannes Oetsch, Jörg Pührer, and Hans Tompits. Catching the Ouroboros: Towards debugging non-ground answer-set programs. Theory and Practice of Logic Programming. Special Issue on the 2010 International Conference on Logic Programming, 2010.
36. [Oik06] Emilia Oikarinen and Tomi Janhunen. Modular equivalence for normal logic programs. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, and Paolo Traverso (eds.), Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), Riva del Garda, Italy, August 28-September 1, 2006, pp. 412-416. IOS Press, Amsterdam, The Netherlands, 2006.
37. [Pal09] Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli. Logic programming techniques in protein structure determination: Methodologies and results. In Esra Erdem, Fangzhen Lin, and Torsten Schaub (eds.), Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam, Germany, September 14-18, 2009, Lecture Notes in Computer Science, vol. 5753, pp. 560-566. Springer, Berlin-Heidelberg, Germany, 2009.
38. [Per07] Simona Perri, Francesco Ricca, Giorgio Terracina, Daniela Cianni, and Pierfrancesco Veltri. An integrated graphic tool for developing and testing DLV programs. In Marina De Vos and Torsten Schaub (eds.), Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming (SEA'07), Tempe, AZ, USA, May 14, 2007, CEUR Workshop Proceedings, vol. 281, pp. 71-85. CEUR-WS.org, Aachen, Germany, 2007.
39. [Pon09] Enrico Pontelli, Tran Cao Son, and Omar El-Khatib. Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming, 9(1):1-56, 2009.
40. [Sur07] Adrian Sureshkumar, Marina De Vos, Martin Brain, and John Fitch. APE: An AnsProlog* environment. In Marina De Vos and Torsten Schaub (eds.), Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming (SEA'07), Tempe, AZ, USA, May 14, 2007, CEUR Workshop Proceedings, vol. 281, pp. 71-85. CEUR-WS.org, Aachen, Germany, 2007.
41. [Syr06] Tommi Syrjänen. Debugging inconsistent answer-set programs. In Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR'06), Lake District, U.K., May 30-June 1, 2006, IfI Technical Report Series, vol. IfI-06-04, pp. 77-83. Institut für Informatik, Technische Universität Clausthal, Clausthal-Zellerfeld, Germany, 2006.
42. [Tru09] Miros law Truszczynski and Stefan Woltran. Relativized hyperequivalence of logic programs for modular programming. Theory and Practice of Logic Programming, 9(6):781-819, 2009.
43. [Wit09] Johan Wittocx, Hanne Vlaeminck, and Marc Denecker. Debugging for model expansion. In Patricia M. Hill and David Scott Warren (eds.), Proceedings of the 25th International Conference on Logic Programming (ICLP'09), Pasadena, CA, USA, July 14-17, 2009, Lecture Notes in Computer Science, vol. 5649, pp. 296-311. Springer, Berlin-Heidelberg, Germany, 2009.