9 citations · 26 across the 13 of their papers we have counts for
3 papers · 1 filter
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…