VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology ? Johannes Oetsch 1 ,J¨ org P¨ uhrer 1 , Martina Seidl 2,3 , Hans Tompits 1 , and Patrick Zwickl 4 1 Technische Universit¨ at Wien, Institut f¨ ur Informationssysteme 184/3, Favoritenstraße 9–11, A-1040 Vienna, Austria {oetsch,puehrer,tompits}@kr.tuwien.ac.at 2 Johannes Kepler Universit¨ at Linz, Institut f ¨ ur Formale Modelle und Verifikation, Altenbergerstraße 69, A-4040 Linz, Austria Martina.Seidl@jku.at 3 Technische Universit¨ at Wien, Institut f¨ ur Softwaretechnik, 188/3 Favoritenstraße 9–11, A-1040 Vienna, Austria 4 FTW Forschungszentrum Telekommunikation Wien GmbH Donau-City-Straße 1, A-1220 Vienna, Austria zwickl@ftw.at Abstract. In the object-oriented world, much effort is spent into the develop- ment 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 dur- ing 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 1 Introduction During the last decades, logic programming experienced a new impetus by the growth of answer-set programming (ASP) as one of the key technologies for declarative prob- lem solving in the academic AI community. However, ASP could not attract the same interest as other programming languages outside academia so far. This lack of interest in ASP may be explained by the absence of a sufficiently supported software engineer- ing methodology that could significantly ease the process of designing and developing ASP programs. Thus, more tool support is a declared aim of the ASP community. In particular, no modelling environment has been introduced in the context of developing ? This research has been partially supported by the the Austrian Science Fund (FWF) under grant P21698 and the Vienna Science and Technology Fund (WWTF) under grant ICT10-018.