VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

  • Johannes Oetsch
  • Jörg Pührer
  • Martina Seidl
  • Hans Tompits
  • Patrick Zwickl
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6645)


In the object-oriented world, much effort is spent into the development of dedicated tools to ease programming and to prevent programming errors. Recently, the techniques of model-driven engineering (MDE) have been proven especially valuable to manage the complexity of modern software systems during the software development process. In the world of answer-set programming (ASP), the situation is different. Much effort is invested into the development of efficient solvers, but the pragmatics of programming itself has not received much attention and more tool support to ease the actual programming phase would be desirable. To address this issue, we introduce the tool VIDEAS which graphically supports the partial specification of answer-set programs, applying technologies provided by MDE.


answer-set programming model-driven engineering ER diagrams 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brain, M., De Vos, M.: Debugging logic programs under the answer-set semantics. In: Proc. ASP 2005. CEUR Workshop Proc., pp. 141–152 (2005),
  2. 2.
    Syrjänen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77–83 (2006)Google Scholar
  3. 3.
    Brain, M., Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 31–43. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Mikitiuk, A., Moseley, E., Truszczynski, M.: Towards debugging of answer-set programs in the language PSpb. In: Proc. ICAI 2007, pp. 635–640. CSREA Press (2007)Google Scholar
  5. 5.
    Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: A theoretical framework for the declarative debugging of datalog programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol. 4925, pp. 143–159. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Gebser, M., Pührer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448–453. AAAI Press, Menlo Park (2008)Google Scholar
  7. 7.
    Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming 9(1), 1–56 (2009)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Wittocx, J., Vlaeminck, H., Denecker, M.: Debugging for model expansion. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 296–311. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Oetsch, J., Pührer, J., Tompits, H.: Catching the Ouroboros: On debugging non-ground answer-set programs. Theory and Practice of Logic Programming 10(4-6), 513–529 (2010)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: The DLV +  system. Journal of Applied Logic 5(3), 545–573 (2007)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Chen, P.: The entity-relationship model—Toward a unified view of data. ACM Transactions on Database Systems 1(1), 9–36 (1976)CrossRefGoogle Scholar
  12. 12.
    Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)CrossRefMATHGoogle Scholar
  13. 13.
    Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2), 25–31 (2006)CrossRefGoogle Scholar
  14. 14.
    Febbraro, O., Reale, K., Ricca, F.: A Visual Interface for Drawing ASP Programs. In: Proc. CILC 2010 (2010)Google Scholar
  15. 15.
    Catarci, T., Costabile, M.F., Levialdi, S., Batini, C.: Visual query systems for databases: A survey. J. Visual Languages and Computing 8(2), 215–260 (1997)CrossRefGoogle Scholar
  16. 16.
    Kehrer, N., Neumann, G.: An EER Prototyping Environment and its Implementation in a Datalog Language. In: Pernul, G., Tjoa, A.M. (eds.) ER 1992. LNCS, vol. 645, pp. 243–261. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  17. 17.
    Amalfi, M., Provetti, A.: From extended entity-relationship schemata to illustrative instances. In: Proc. LID 2008 (2008)Google Scholar
  18. 18.
    Sureshkumar, A., de Vos, M., Brain, M., Fitch, J.: APE: An AnsProlog Environment. In: Proc. SEA 2007, pp. 101–115 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Johannes Oetsch
    • 1
  • Jörg Pührer
    • 1
  • Martina Seidl
    • 2
    • 3
  • Hans Tompits
    • 1
  • Patrick Zwickl
    • 4
  1. 1.Institut für Informationssysteme 184/3Technische Universität WienViennaAustria
  2. 2.Institut für Formale Modelle und VerifikationJohannes Kepler Universität LinzLinzAustria
  3. 3.Institut für Softwaretechnik, 188/3Technische Universität WienViennaAustria
  4. 4.FTW Forschungszentrum Telekommunikation Wien GmbHViennaAustria

Personalised recommendations