VIDEAS: A development tool for answer-set programs based on model-driven engineering technology Show others and affiliations
2011 (English) In: Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / [ed] J. P. Delgrande & W. Faber, Springer, 2011, p. 382-387Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages Springer, 2011. p. 382-387
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 6645
Keywords [en]
answer-set programming, ER diagrams, model-driven engineering, Development tools, Object oriented, Partial specifications, Programming errors, Software development process, Software systems, Tool support, Answer set programming, Efficient solvers, Logic programming, Object oriented programming, Computer circuits, Computer programming, Knowledge representation, Software design, Software engineering
National Category
Computer Sciences
Identifiers URN: urn:nbn:se:hj:diva-63578 DOI: 10.1007/978-3-642-20895-9_45 Scopus ID: 2-s2.0-79955755021 ISBN: 9783642208942 (print) OAI: oai:DiVA.org:hj-63578 DiVA, id: diva2:1838373
Conference 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011
2024-02-162024-02-162024-02-16 Bibliographically approved