International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2011: Logic Programming and Nonmonotonic Reasoning pp 382-387

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
Conference paper

DOI: 10.1007/978-3-642-20895-9_45

Volume 6645 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Oetsch J., Pührer J., Seidl M., Tompits H., Zwickl P. (2011) VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. In: Delgrande J.P., Faber W. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Lecture Notes in Computer Science, vol 6645. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

answer-set programming model-driven engineering ER diagrams 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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