World's Best Scientists 2026 revealed!
Hans Tompits

Hans Tompits

D-Index & Metrics

Computer Science

D-Index
33
Citations
5574
World Ranking
12549
National Ranking
110

Overview

Hans Tompits is affiliated with TU Wien in Austria and has contributed extensively to research at the intersection of computer science and engineering. Their work spans multiple fields, including Artificial Intelligence, Computational Theory and Mathematics, Automotive Engineering, Signal Processing, and Computer Vision and Pattern Recognition. The research output reflects a strong focus on logic, reasoning, and knowledge representation alongside programming and type systems.

Their research topics include:

  • Logic, Reasoning, and Knowledge
  • Logic, Programming, and Type Systems
  • Advanced Algebra and Logic
  • Music and Audio Processing
  • Music Technology and Sound Studies
  • Multi-Agent Systems and Negotiation
  • Transportation and Mobility Innovations

Hans Tompits has published numerous papers featuring collaborations with several frequent co-authors. These include Tobias Kain, Julian-Steffen Müller, Maximilian Wesche, Hendrik Decke, and Felix Schön. There are recurrent publications in venues such as the Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference, Electronic Proceedings in Theoretical Computer Science, ACM Transactions on Computational Logic, Leibniz-Zentrum für Informatik (Schloss Dagstuhl), and Axioms.

Recent notable publications are:

  • Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics, 2020, Electronic Proceedings in Theoretical Computer Science
  • FDIRO: A General Approach for a Fail-Operational System Design, 2020, Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference
  • Beyond Uniform Equivalence between Answer-set Programs, 2020, ACM Transactions on Computational Logic
  • Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles, 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic, 2020, Axioms

Hans Tompits' research contributions reflect a detailed engagement with formal logic systems and their applications within computational contexts. Their work on autonomous vehicles and fail-operational systems illustrates cross-disciplinary integration between computer science and engineering principles.

Best Publications

  • Combining answer set programming with description logics for the Semantic Web

    Thomas Eiter;Giovambattista Ianni;Thomas Lukasiewicz;Roman Schindlauer

  • Combining answer set programming with description logics for the semantic web

    Thomas Eiter;Thomas Lukasiewicz;Roman Schindlauer;Hans Tompits

  • A uniform integration of higher-order reasoning and external evaluations in answer-set programming

    Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;Hans Tompits

  • Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

    Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;Hans Tompits

  • Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas

    Uwe Egly;Thomas Eiter;Hans Tompits;Stefan Woltran

  • A framework for compiling preferences in logic programs

    James P. Delgrande;Torsten Schaub;Hans Tompits

  • A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

    James Patrick Delgrande;Torsten Schaub;Hans Tompits;Kewen Wang

  • On properties of update sequences based on causal rejection

    Thomas Eiter;Michael Fink;Giuliana Sabbatini;Hans Tompits

  • Reasoning with Rules and Ontologies

    Thomas Eiter;Giovambattista Ianni;Axel Polleres;Roman Schindlauer

  • Simplifying Logic Programs Under Uniform and Strong Equivalence

    Thomas Eiter;Michael Fink;Hans Tompits;Stefan Woltran

  • Well-Founded Semantics for Description Logic Programs in the Semantic Web

    Thomas Eiter;Thomas Lukasiewicz;Thomas Lukasiewicz;Roman Schindlauer;Hans Tompits

  • A meta-programming technique for debugging answer-set programs

    Martin Gebser;Jörg Pührer;Torsten Schaub;Hans Tompits

  • Encodings for Equilibrium Logic and Logic Programs with Nested Expressions

    David Pearce;Hans Tompits;Stefan Woltran

  • Modularity aspects of disjunctive stable models

    Tomi Janhunen;Emilia Oikarinen;Hans Tompits;Stefan Woltran

  • On solution correspondences in answer-set programming

    Thomas Eiter;Hans Tompits;Stefan Woltran

  • Debugging ASP programs by means of ASP

    Martin Brain;Martin Gebser;Jorg Puhrer;Torsten Schaub

  • Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

    Jos De Bruijn;Thomas Eiter;Axel Polleres;Hans Tompits

  • Considerations on Updates of Logic Programs

    Thomas Eiter;Michael Fink;Giuliana Sabbatini;Hans Tompits

  • Catching the ouroboros: On debugging non-ground answer-set programs

    Johannes Oetsch;JÖrg PÜhrer;Hans Tompits

  • Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination

    Jos De Bruijn;Thomas Eiter;Axel Polleres;Hans Tompits

Frequent Co-Authors

Torsten Schaub
Torsten Schaub University of Potsdam
Martin Gebser
Martin Gebser University of Klagenfurt
Axel Polleres
Axel Polleres Vienna University of Economics and Business
Armin Biere
Armin Biere University of Freiburg
Thomas Lukasiewicz
Thomas Lukasiewicz University of Oxford
Ilkka Niemelä
Ilkka Niemelä Aalto University
Wolfgang Faber
Wolfgang Faber University of Klagenfurt

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to flexible and affordable online degrees. Many students are now choosing distance learning for its convenience and cost-effectiveness.

For those who want to advance quickly, there are accelerated associates degree online options that allow you to complete your studies in as little as six months. These fast-track programs are ideal if you're eager to gain foundational knowledge and start your career sooner.

Graduate students may be interested in pursuing the cheapest ed.d online program to fast-track their credentials, or look for universities offering the cheapest doctoral programs for maximum cost savings. Both choices provide an affordable pathway to the highest levels of academic achievement.

Beyond computer science, if you're thinking of expanding your skill set, several business schools online offer flexible options for degree completion. Pairing business skills with tech expertise can make you highly competitive in today's job market.

Best Scientists Citing Hans Tompits

Trending Scientists

Recently Published Articles