Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > mmdasp >

Tools: Drucken


Project: Methods and Methodologies for Developing Answer-Set Programs

"The M&M's of ASP"

(supported by the Austrian Science Foundation (FWF) under grant P21698.)

Project start: 01.09.2009

Project end: 31.08.2013


Contents


Project team

Project Leader:

Project staff:

Project context

Answer-set programming (ASP) is an important formalism for declarative problem solving and nonmonotonic reasoning, having a model-oriented view for knowledge representation, i.e., models constitute answers to problems rather than proofs as in traditional logic-based approaches. Although different realisations of the ASP paradigm exist, it is usually identified with logic programming under the answer-set semantics, which we shall deal with in this project. The high relevance of this particular formalism lies not only in its intuitive character but is also due to the availability of sophisticated solvers, which lead to successful applications in diverse areas like diagnosis, planning, database repair, and Semantic-Web reasoning. However, a main obstacle for a wider acceptance of ASP is a lack of techniques for supporting the development of answer-set programs. Indeed, the need for tools, methods, and methodologies that ease the programming process has been clearly recognised in the ASP community, but, except for some preliminary work, no systematic study in this direction has been put forth so far.

Goal of the project

In this project, we address this challenging issue by providing adequate principles and techniques that are aimed to support the answer-set programmer during development. Generally, the focus of our research will be on methodologies for systematic program development, program testing, and debugging. In particular, in working on these areas, special emphasis will be given to modular programming concepts and to the ability of the developed techniques to respect the declarative nature of ASP. To support a sufficient level of applicability, we plan to offer solutions not only for the core language of ASP but also for important extensions thereof that are commonly used and realised in various answer-set solvers. Moreover, we will consider complexity and decidability issues for the identified methods whenever relevant and provide restricted techniques and approximations where needed. The methods resulting from the project should be incorporated in an integrated development environment for ASP that combines straightforward as well as advanced techniques realising a convenient tool for developing answer-set programs. In order to reach our goals, we will mainly rely on formal, logic-based methods, suitable for innovative novel support techniques for a declarative language. The availability of intelligent development methodologies and tools will have a major impact on the field of ASP as a whole, significantly advancing the state of the art. Furthermore, with such techniques at hand, both expert as well as novice programmers will have an enhanced access to powerful declarative problem-solving machineries.

Software

Available tasks for labs (Praktika) or master's theses (Diplom-/Masterarbeiten)

Publications

    2013

  1. T. Eiter, M. Fink, J. Pührer, H. Tompits, S. Woltran:
    "Model-based recasting in answer-set programming";
    Journal of Applied Non-Classical Logics, issn 1166-3081, vol. 23, no. 1-2, 2013, 75 - 104.

  2. P. Busoniu, J. Oetsch, J. Pührer, Peter Skocovsky, H. Tompits:
    "SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support.";
    "Proceedings of the 29th International Conference on Logic Programming (ICLP 2013)", Theory and Practice of Logic Programming, Volume 13, Numbers 4-5; 657-673. 2013.

  3. M. Frühstück, J. Pührer, and Gerhard Friedrich:
    "Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin";
    "Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", Lecture Notes in Computer Science, Springer, LNCS, 8148 (2013), 323 - 328.

  4. J. Oetsch, J. Pührer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    Accepted for: "Post-conference proceedings of the 25th Workshop on Logic Programming (WLP 2011) and the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", Lecture Notes in Computer Science, Springer, 2013.

  5. C. Kloimüllner, J. Oetsch, J. Pührer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    Accepted for: "Post-conference proceedings of the 25th Workshop on Logic Programming (WLP 2011) and the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", Lecture Notes in Computer Science, Springer, 2013.

  6. 2012

  7. M. Brain, E. Erdem, K. Inoue, J. Oetsch, J. Pührer, H. Tompits, C. Yilmaz:
    "Event-Sequence Testing using Answer-Set Programming";
    International Journal on Advances in Software, issn 1942-2628, vol. 5, no. 3 & 4, 2012, 237 - 251.

  8. J. Oetsch, J. Pührer, H. Tompits:
    "Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming";
    In: "26th Workshop on Logic Programming (WLP 2012)".

  9. J. Oetsch, J. Pührer, H. Tompits:
    "Stepwise Debugging of Description-Logic Programs";
    In: "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz", Springer, LNCS, 7265 (2012); 492 - 508.

  10. J. Oetsch, J. Pührer, H. Tompits:
    "An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions";
    In: "Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012)" LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 17; 222-234.

  11. M. De Vos, D. G. Kisa, J. Oetsch, J. Pührer, H. Tompits:
    "Annotating Answer-Set Programs in LANA";
    In: "28th International Conference on Logic Programming (ICLP 2012)", Theory and Practice of Logic Programming, Volume 12, Numbers 4-5; 619-637.

  12. J. Oetsch, M. Prischink, J. Pührer, M. Schwengerer, H. Tompits:
    "On the Small-Scope Hypothesis for Testing Answer-Set Programs";
    In: "13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)" G, Brewka, T. Eiter, S. A. McIlraith (ed.), AAAI Press, ISBN 978-1-57735-561-8; 43 - 53.

  13. M. De Vos, D. G. Kisa, J. Oetsch, J. Pührer, H. Tompits:
    "LANA: A Language for Annotating Answer-Set Programs";
    In: "14th International Workshop on Non-Monotonic Reasoning (NMR 2012)".

  14. 2011

  15. J. Oetsch, J. Pührer, H. Tompits:
    "Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming";
    In: "Computing Research Repository (CoRR), http://arxiv.org/abs/1112.0922".

  16. P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
    "Towards Semantics-Aware Merge Support in Optimistic Model Versioning";
    In: "International Workshop on Models and Evolution (ME 2011)".

  17. J. Oetsch, J. Pührer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    In: "25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report 1843-11-06, 141 - 151.

  18. C. Kloimüllner, J. Oetsch, J. Pührer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    In: "25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report 1843-11-06, 152 - 164.

  19. E. Erdem, K. Inoue, J. Oetsch, J. Pührer, H. Tompits, C. Yilmaz:
    "Answer-Set Programming as a new Approach to Event-Sequence Testing";
    In: "3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)", XPS, 25 - 34.

  20. J. Oetsch, J. Pührer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques";
    In: "MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?"

  21. T. Janhunen, I. Niemelä, J. Oetsch, J. Pührer, H. Tompits:
    "Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison";
    In: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, LNCS, 6645 (2011), 242 - 247.

  22. J. Oetsch, H. Tompits:
    "Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence";
    In: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, LNCS, 6645 (2011), 254 - 259.

  23. J. Oetsch, J. Pührer, H. Tompits:
    "Stepping through an Answer-Set Program ";
    In: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, LNCS, 6645 (2011), 134 - 147.

  24. J. Oetsch, J. Pührer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology ";
    In: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, LNCS, 6645 (2011), 382 - 387.

  25. J. De Bruijn, T. Eiter, A. Polleres, H. Tompits:
    "Embedding non-ground logic programs into autoepistemic logic for knowledge base combination";
    ACM TOCL, to appear, 2011.

  26. 2010

  27. T. Janhunen, I. Niemelä, J. Oetsch, J. Pührer, H. Tompits:
    "On Testing Answer-Set Programs";
    In: "19th European Conference on Artificial Intelligence (ECAI 2010)", H. Coelho, R. Studer, M. Wooldridge (ed.); IOS Press, Volume 215 of Frontiers in Artificial Intelligence and Applications (2010), ISBN: 978-1-60750-605-8; 951 - 956.

  28. J. Oetsch, J. Pührer, H. Tompits:
    "Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs";
    In: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 513 - 529.

  29. J. Oetsch, J. Pührer, M. Schwengerer, H. Tompits:
    "The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs";
    In: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 759 - 775.

  30. J. Oetsch, J. Pührer, H. Tompits:
    "Methods and Methodologies for Developing Answer-Set Programs---Project Description";
    In: "Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 154 - 161.

  31. J. Oetsch, J. Puehrer, H. Tompits:
    "Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
    In: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 77 - 87.

  32. J. Oetsch, H. Tompits:
    "Gentzen-type Refutation Systems for Three-Valued Logics";
    In: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 88 - 98.

  33. J. Pührer, S. Heymans, T. Eiter:
    "Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs";
    In: "The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference", L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache (ed.); Springer, 6088 (2010), ISBN: 978-3-642-13485-2; 183 -197.

  34. 2009

  35. J. Oetsch, M. Schwengerer, H. Tompits:
    "Kato: A Plagiarism-Detection Tool for Answer-Set Programs";
    In: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79.

  36. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
    In: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395;

  37. J. Pührer, H. Tompits:
    "Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection";
    In: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 264 - 276.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.