VIDEAS: a development tool for answer-set programs based on model-driven engineering technology

Authors:
Johannes Oetsch;Jörg Pührer;Martina Seidl;Hans Tompits;Patrick Zwickl
Affiliations:
Technische Universität Wien, Institut für Informationssysteme, Vienna, AustriaVienna, Austria;Technische Universität Wien, Institut für Informationssysteme, Vienna, AustriaVienna, Austria;Johannes Kepler Universität Linz, Institut für Formale Modelle und Verifikation, Linz, Austria and Technische Universität Wien, Institut für Softwaretechnik, Vienna, Austria;Technische Universität Wien, Institut für Informationssysteme, Vienna, AustriaVienna, Austria;FTW Forschungszentrum Telekommunikation Wien GmbH, Vienna, Austria
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 10
Cited 1

The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
An EER Prototyping Environment and its Implemetation in a Datalog Language

ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Guest Editor's Introduction: Model-Driven Engineering

Computer
A Theoretical Framework for the Declarative Debugging of Datalog Programs

Semantics in Data and Knowledge Bases
Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming
Debugging for Model Expansion

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A meta-programming technique for debugging answer-set programs

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Debugging ASP programs by means of ASP

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Catching the ouroboros: On debugging non-ground answer-set programs

Theory and Practice of Logic Programming

Conflict, consistency and truth-dependencies in graph representations of answer set logic programs

GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.