9 citations · 26 across the 5 of their papers we have counts for
5 papers
Annotating Answer-Set Programs in LANA?
Marina De Vos, Doğa Gizem Kıza, Johannes Oetsch +2
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite re…
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
Johannes Oetsch, Jörg Pührer, Hans Tompits
Many applications require complexly structured data objects. Developing new or adapting existing algorithmic solutions for creating such objects can be a non-trivial and costly tas…
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer +1
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the progra…
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
Johannes Oetsch, Jörg Pührer, Hans Tompits
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 mai…
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Martin Schwengerer +1
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-…