Hans Tompits
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge 56
- Multi-Agent Systems and Negotiation 31
- Logic, programming, and type systems 31
- Semantic Web and Ontologies 20
- Bayesian Modeling and Causal Inference 4
- Software top 10%
-
- Advanced Algebra and Logic 8
- Formal Methods in Verification 8
-
- Advanced Database Systems and Queries 4
- Information Systems top 5%
Hans Tompits
64 papers receiving 918 citations
Peers
Comparison fields: 5 of 50
- Artificial Intelligence 941
- Software 35
- Computational Theory and Mathematics 136
- Computer Networks and Communications 158
- Information Systems 108
Countries citing papers authored by Hans Tompits
This map shows the geographic impact of Hans Tompits's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hans Tompits with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hans Tompits more than expected).
Fields of papers citing papers by Hans Tompits
This network shows the impact of papers produced by Hans Tompits. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hans Tompits. The network helps show where Hans Tompits may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Hans Tompits, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2020 | 2 | |
| 2 | 2012 | 10 | |
| 3 | On the small-scope hypothesis for testing answer-set programs | 2012 | 5 |
| 4 | 2011 | 13 | |
| 5 | Embedding approaches to combining rules and ontologies into autoepistemic logic | 2008 | 13 |
| 6 | Belief revision of logic programs under answer set semantics | 2008 | 25 |
| 7 | Notions of strong equivalence for logic programs with ordered disjunction | 2008 | 7 |
| 8 | Facts do not cease to exist because they are ignored: relativised uniform equivalence with answer-set projection | 2007 | 9 |
| 9 | Complexity results for checking equivalence of stratified logic programs | 2007 | 8 |
| 10 | A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. | 2006 | 1 |
| 11 | dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. | 2006 | 10 |
| 12 | On solution correspondences in answer-set programming | 2005 | 36 |
| 13 | Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case | 2005 | 19 |
| 14 | Combining answer set programming with description logics for the semantic web | 2004 | 113 |
| 15 | On eliminating disjunctions in stable logic programming | 2004 | 10 |
| 16 | Expressing default abduction problems as quantified Boolean formulas | 2003 | 1 |
| 17 | A polynomial translation of logic programs with nested expressions into disjunctive logic programs | 2002 | 2 |
| 18 | Paraconsistent reasoning via quantified boolean formulas | 2002 | 1 |
| 19 | A generic approach for knowledge-based information-site selection | 2002 | 6 |
| 20 | Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas | 2000 | 52 |
About Hans Tompits
Hans Tompits is a scholar working on Artificial Intelligence, Software, Computational Theory and Mathematics, Computer Networks and Communications and Philosophy, having authored 66 papers that have together received 1.0k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (56 papers), Multi-Agent Systems and Negotiation (31 papers), Logic, programming, and type systems (31 papers), Semantic Web and Ontologies (20 papers), Advanced Algebra and Logic (8 papers), Formal Methods in Verification (8 papers), Bayesian Modeling and Causal Inference (4 papers) and Advanced Database Systems and Queries (4 papers). The work is most often cited by research in Artificial Intelligence (941 citations), Software (35 citations), Computational Theory and Mathematics (136 citations), Computer Networks and Communications (158 citations) and Information Systems (108 citations). Hans Tompits has collaborated with scholars based in Austria, Germany and Canada. Frequent co-authors include Thomas Eiter, Roman Schindlauer, Stefan Woltran, Giovambattista Ianni, Torsten Schaub, Thomas Lukasiewicz, James P. Delgrande, Michael Fink, Jörg Pührer and Uwe Egly. Their work appears in journals such as Theory and Practice of Logic Programming, ACM Transactions on Computational Logic, Studia Logica, Open Systems & Information Dynamics and Toxicologic Pathology.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.