Tompits, Hans

11 publications

IJCAI 2017 Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood? Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

JAIR 2009 Modularity Aspects of Disjunctive Stable Models Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

AAAI 2008 A Meta-Programming Technique for Debugging Answer-Set Programs Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

IJCAI 2007 Complexity Results for Checking Equivalence of Stratified Logic Programs Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

IJCAI 2007 Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits

AAAI 2007 Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection Johannes Oetsch, Hans Tompits, Stefan Woltran

IJCAI 2005 A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

IJCAI 2005 On Solution Correspondences in Answer-Set Programming Thomas Eiter, Hans Tompits, Stefan Woltran

AAAI 2005 Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

IJCAI 2001 A Framework for Declarative Update Specifications in Logic Programs Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits

AAAI 2000 Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran