Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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
The SeaLion has landed: An IDE for answer-set programming—preliminary report
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
2013 (English)In: Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / [ed] H. Tompits, S. Abreu, J. Oetsch, J. Pührer, D. Seipel, M. Umeda & A. Wolf, Springer, 2013, p. 305-324Conference paper, Published paper (Refereed)
Abstract [en]

We report about the current state and designated features of the tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. To this end, new support techniques have to be developed that suit the requirements of the answer-set semantics and meet the constraints of practical applicability. In this respect, SeaLion benefits from the research results of a project on methods and methodologies for answer-set program development in whose context SeaLion is realised. Currently, the tool provides source-code editors for the languages of Gringo and DLV that offer syntax highlighting, syntax checking, refactoring functionality, and a visual program outline. Further implemented features are a documentation generator, support for external solvers, and visualisation as well as visual editing of answer sets. SeaLion comes as a plugin of the popular Eclipse platform and provides itself interfaces for future extensions of the IDE.

Place, publisher, year, edition, pages
Springer, 2013. p. 305-324
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 7773
Keywords [en]
Computer circuits, Computer programming, Integrodifferential equations, Knowledge management, Knowledge representation, Program debugging, Reconfigurable hardware, Semantics, Syntactics, Visual languages, Web services, Answer set programming, Answer set semantics, Integrated development environment, Program development, Refactorings, Research results, Source codes, User friendly, Logic programming
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63568DOI: 10.1007/978-3-642-41524-1_19Scopus ID: 2-s2.0-84987925341ISBN: 9783642415234 (print)OAI: oai:DiVA.org:hj-63568DiVA, id: diva2:1838439
Conference
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011
Available from: 2024-02-16 Created: 2024-02-16 Last updated: 2024-02-16Bibliographically 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: 13 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