Publications (19)
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
David Pearce, Vladimir Sarsakov, Torsten Schaub +2
A Many-Sorted Variant of Japaridze's Polymodal Provability Logic
Gerald Berger, Lev D. Beklemishev, Hans Tompits
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Hans Tompits
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Martin Schwengerer +1
Characterising equilibrium logic and nested logic programs: Reductions and complexity
David Pearce, Hans Tompits, Stefan Woltran
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer +1
A general approach to belief change in answer set programming
James Delgrande, Torsten Schaub, Hans Tompits +1
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl +2
Modularity Aspects of Disjunctive Stable Models
Tomi Janhunen, Emilia Oikarinen, Hans Tompits +1
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
Johannes Oetsch, Jörg Pührer, Hans Tompits
A Knowledge-Based Approach for Selecting Information Sources
Thomas Eiter, Michael Fink, Hans Tompits
Annotating Answer-Set Programs in LANA?
Marina De Vos, DoÄa Gizem Kıza, Johannes Oetsch +2
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres +1
Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems
Philippe Besnard, Torsten Schaub, Hans Tompits +1
A Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Hans Tompits
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
Uwe Egly, Thomas Eiter, Hans Tompits +1
Logic Programs with Compiled Preferences
James P. Delgrande, Torsten Schaub, Hans Tompits