Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Methods and methodologies for developing answer-set programs project description
Institut Fur Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut Fur Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Institut Fur Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
2010 (English)In: Technical Communications of the 26th International Conference on Logic Programming, 2010, p. 154-161Conference paper, Published paper (Refereed)
Abstract [en]

Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of the main challenges for a wider acceptance of ASP is the need of tools, methods, and methodologies that support the actual programming process. In this paper, we review the main goals of a project, funded by the Austrian Science Fund (FWF), which aims to address this aspect in a systematic manner. The project is planned for a duration of three years and started in September 2009. Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging. In particular, in working on these areas, special emphasis shall be given to the ability of the developed techniques to respect the declarative nature of ASP. To support a sufficient level of usability, solutions are planned to be compatible not only for the core language of ASP but also for important extensions thereof that are commonly used and realised in various answer-set solvers. Ultimately, the methods resulting from the project shall form the basis of an integrated development environment (IDE) for ASP that is envisaged to combine straightforward as well as advanced techniques, realising a convenient tool for developing answer-set programs.

Place, publisher, year, edition, pages
2010. p. 154-161
Series
 Leibniz International Proceedings in Informatics, LIPIcs ; 7
Keywords [en]
Answer-set programming, Declarative problem solving, Diverse applications, Focus of researches, Integrated development environment, Program testing, Programming process, Systematic program, Logic programming, Tools, Web services, Program debugging
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63580DOI: 10.4230/LIPIcs.ICLP.2010.154Scopus ID: 2-s2.0-84880206852ISBN: 9783939897170 (print)OAI: oai:DiVA.org:hj-63580DiVA, id: diva2:1838197
Conference
26th International Conference on Logic Programming, ICLP 2010, 16-19 July 2010, Edinburgh, UK
Available from: 2024-02-15 Created: 2024-02-15 Last updated: 2024-02-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf