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

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.

[1]  H. Tompits,et al.  Catching the Ouroboros: On debugging non-ground answer-set programs , 2010, Theory and Practice of Logic Programming.

[2]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  Nicola Leone,et al.  Disjunctive logic programming with types and objects: The DLV+ system , 2007, J. Appl. Log..

[4]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[5]  Gustaf Neumann,et al.  An EER Prototyping Environment and its Implemetation in a Datalog Language , 1992, ER.

[6]  Hans Tompits,et al.  A Meta-Programming Technique for Debugging Answer-Set Programs , 2008, AAAI.

[7]  Bernhard Thalheim,et al.  Semantics in Data and Knowledge Bases , 2008, SDKB.

[8]  Marina De Vos,et al.  APE: an AnsProlog* environment , 2007 .

[9]  Günther Pernul,et al.  Entity-Relationship Approach — ER '92 , 1992 .

[10]  Francesco Ricca,et al.  A Visual Interface for Drawing ASP Programs , 2010, CILC.

[11]  Enrico Pontelli,et al.  Justifications for Logic Programs Under Answer Set Semantics , 2006, ICLP.

[12]  Tiziana Catarci,et al.  Visual Query Systems for Databases: A Survey , 1997, J. Vis. Lang. Comput..

[13]  Rafael Caballero,et al.  A Theoretical Framework for the Declarative Debugging of Datalog Programs , 2008, SDKB.

[14]  Stefan Woltran,et al.  Debugging ASP Programs by Means of ASP , 2007, LPNMR.

[15]  Marina De Vos,et al.  Debugging Logic Programs under the Answer Set Semantics , 2005, Answer Set Programming.

[16]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[17]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[18]  Miroslaw Truszczynski,et al.  Towards Debugging of Answer-Set Programs in the Language PSpb , 2007, IC-AI.

[19]  Johan Wittocx,et al.  Debugging for Model Expansion , 2009, ICLP.

[20]  T. Syrjänen.  Debugging Inconsistent Answer Set Programs , 2006 .

[21]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[22]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .