Hans Tompits

Associate Professor, Institute of Logic and Computation, Technische Universität Wien

Joined

July 2019

Names

Hans Tompits

Emails

****@kr.tuwien.ac.at (Confirmed)

Personal Links

Homepage

DBLP

ORCID

Career & Education History

Associate Professor

Institute of Logic and Computation, Technische Universität Wien (tuwien.ac.at)

2003 – Present

Assistant Professor

Institute of Information Systems, Technische Universität Wien (tuwien.ac.at)

1995 – 2003

Advisors, Relations & Conflicts

No relations added

Expertise

Logics in Artificial Intelligence

1995 – Present

Knowledge representation

1995 – Present

Publications

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
A Meta-Programming Technique for Debugging Answer-Set Programs
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits
- 2008 (modified: 16 Jul 2019)
- AAAI 2008
- Readers: Everyone
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection
Johannes Oetsch, Hans Tompits, Stefan Woltran
- 2007 (modified: 16 Jul 2019)
- AAAI 2007
- Readers: Everyone
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
- 2007 (modified: 16 Jul 2019)
- IJCAI 2007
- Readers: Everyone
Complexity Results for Checking Equivalence of Stratified Logic Programs
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
- 2007 (modified: 04 Sept 2019)
- IJCAI 2007
- Readers: Everyone
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
- 2005 (modified: 04 Sept 2019)
- AAAI 2005
- Readers: Everyone
On Solution Correspondences in Answer-Set Programming
Thomas Eiter, Hans Tompits, Stefan Woltran
- 2005 (modified: 16 Jul 2019)
- IJCAI 2005
- Readers: Everyone
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
- 2005 (modified: 16 Jul 2019)
- IJCAI 2005
- Readers: Everyone
A Framework for Declarative Update Specifications in Logic Programs
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
- 2001 (modified: 04 Sept 2019)
- IJCAI 2001
- Readers: Everyone
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
- 2000 (modified: 16 Jul 2019)
- AAAI/IAAI 2000
- Readers: Everyone

Hans Tompits

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors