Hans Tompits

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 24

Top Venues

Publications

Martin Gius, Hans Tompits
Sequent-type rejection systems for finite-valued non-deterministic logics. J. Appl. Non Class. Logics 33 (3-4) (2023)
Felix Schön, Hans Tompits
PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL. AI*IA (2023)
Tobias Kain, Hans Tompits
ReConf: An Automatic Context-Based Software Reconfiguration Tool for Autonomous Vehicles Using Answer-Set Programming. AI*IA (2023)
Felix Schön, Hans Tompits
PAUL: An Algorithmic Composer for Classical Piano Music Supporting Multiple Complexity Levels. EPIA (2022)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22 (1) (2021)
Tobias Kain, Hans Tompits, Timo Frederik Horeis, Johannes Heinrich, Julian-Steffen Müller, Fabian Plinke, Hendrik Decke, Marcel Aguirre Mehlhorn
C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles. DATE (2021)
Sopo Pkhakadze, Hans Tompits
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic. Axioms 9 (3) (2020)
Tobias Geibinger, Hans Tompits
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics. ICLP Technical Communications (2020)
Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller, Hans Tompits, Maximilian Wesche, Hendrik Decke
Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles. ASD@DATE (2020)
Tobias Geibinger, Hans Tompits
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. JELIA (2019)
Sopo Pkhakadze, Hans Tompits
A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur. LPNMR (2019)
Tobias Kain, Hans Tompits
\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. JELIA (2019)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. Log. Methods Comput. Sci. 14 (4) (2018)
Sanja Pavlovic, Hans Tompits
A Tableau Calculus for a Multi-modal Logic of Dishonesty. AI*IA (2018)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise debugging of answer-set programs. Theory Pract. Log. Program. 18 (1) (2018)
Gerald Berger, Lev D. Beklemishev, Hans Tompits
A many-sorted variant of Japaridze's polymodal provability logic. Log. J. IGPL 26 (5) (2018)
Alexander Greßler, Johannes Oetsch, Hans Tompits
\mathsf Harvey : A System for Random Testing in ASP. LPNMR (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. LPAR (2017)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Answer-Set Programs. CoRR (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. CoRR (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI (2017)
Min Fang, Hans Tompits
An Approach for Representing Answer Sets in Natural Language. DECLARE (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. CoRR (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Super-Blocked Clauses. IJCAR (2016)
Benjamin Kiesl, Peter Schüller, Hans Tompits
On Structural Analysis of Non-Ground Answer-Set Programs. ICLP (Technical Communications) (2015)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. CoRR (2014)
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23 (1-2) (2013)
Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13 (4-5) (2013)
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
A Model-Theoretic Approach to Belief Change in Answer Set Programming. ACM Trans. Comput. Log. 14 (2) (2013)
Gerald Berger, Hans Tompits
. KDPD (2013)
Johannes Oetsch, Jörg Pührer, Hans Tompits
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. ICLP (Technical Communications) (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Description-Logic Programs. Correct Reasoning (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS (2012)
Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
Guided Merging of Sequence Diagrams. SLE (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating Answer-Set Programs in LANA? CoRR (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12 (4-5) (2012)
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
On the Small-Scope Hypothesis for Testing Answer-Set Programs. KR (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming CoRR (2011)
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput. Log. 12 (3) (2011)
Johannes Oetsch, Hans Tompits
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. LPNMR (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. INAP/WLP (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs CoRR (2011)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. INAP/WLP (2011)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report CoRR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepping through an Answer-Set Program. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs CoRR (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On debugging non-ground answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Methods and Methodologies for Developing Answer-Set Programs - Project Description. ICLP (Technical Communications) (2010)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The system Kato: Detecting cases of plagiarism for answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
On Testing Answer-Set Programs. ECAI (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs CoRR (2010)
David Pearce, Hans Tompits, Stefan Woltran
. Theory Pract. Log. Program. 9 (5) (2009)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. J. Artif. Intell. Res. 35 (2009)
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
Merging Logic Programs under Answer Set Semantics. ICLP (2009)
David Pearce, Hans Tompits, Stefan Woltran
Characterising equilibrium logic and nested logic programs: Reductions and complexity CoRR (2009)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. LPNMR (2009)
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
A general approach to belief change in answer set programming CoRR (2009)
Jörg Pührer, Hans Tompits
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. LPNMR (2009)
Jörg Pührer, Hans Tompits, Stefan Woltran
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. ICLP (2008)
Wolfgang Faber, Hans Tompits, Stefan Woltran
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. KR (2008)
Johannes Oetsch, Hans Tompits
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. ICLP (2008)
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
Belief Revision of Logic Programs under Answer Set Semantics. KR (2008)
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination CoRR (2008)
Jos de Bruijn, Thomas Eiter, Hans Tompits
Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. KR (2008)
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI (2008)
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS (2008)
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits
Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172 (12-13) (2008)
Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. LPNMR (2007)
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Complexity Results for Checking Equivalence of Stratified Logic Programs. IJCAI (2007)
James P. Delgrande, Torsten Schaub, Hans Tompits
A General Framework for Expressing Preferences in Causal Reasoning and Planning. J. Log. Comput. 17 (5) (2007)
David Pearce, Hans Tompits, Stefan Woltran
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. CENT (2007)
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP (2007)
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI (2007)
Johannes Oetsch, Hans Tompits, Stefan Woltran
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. AAAI (2007)
Thomas Eiter, Michael Fink, Hans Tompits
A knowledge-based approach for selecting information sources. Theory Pract. Log. Program. 7 (3) (2007)
James P. Delgrande, Torsten Schaub, Hans Tompits
A Preference-Based Framework for Updating Logic Programs. LPNMR (2007)
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT (2007)
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
Debugging ASP Programs by Means of ASP. LPNMR (2007)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. INAP/WLP (2007)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. LPNMR (2007)
Thomas Eiter, Michael Fink, Hans Tompits
A Knowledge-Based Approach for Selecting Information Sources CoRR (2006)
Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits
Reasoning with Rules and Ontologies. Reasoning Web (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. KR (2006)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. JELIA (2006)
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. KSEM (2006)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. WLP (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang
Forgetting in Managing Rules and Ontologies. Web Intelligence (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Web Intelligence (2006)
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Replacements in Non-Ground Answer-Set Programming. WLP (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC (2006)
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI (2005)
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. AAAI (2005)
Hans Tompits, Stefan Woltran
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. ICLP (2005)
Thomas Eiter, Hans Tompits, Stefan Woltran
On Solution Correspondences in Answer-Set Programming. IJCAI (2005)
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
Reasoning about evolving nonmonotonic knowledge bases. ACM Trans. Comput. Log. 6 (2) (2005)
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance (2005)

Hans Tompits.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans Tompits