Ullrich Hustadt
- Artificial Intelligence top 2%
- Logic, Reasoning, and Knowledge 32
- Semantic Web and Ontologies 22
- Logic, programming, and type systems 21
- Natural Language Processing Techniques 6
- Multi-Agent Systems and Negotiation 5
-
- Formal Methods in Verification 14
-
- Advanced Database Systems and Queries 5
- Software top 10%
- Information Systems top 5%
-
- Aging, Elder Care, and Social Issues 3
- Co-authors
- Boris MotikUlrike SattlerRenate A. SchmidtClare DixonMichael FisherBoris KonevMaarten de RijkeBrandon Bennett
- Cited by
- Artificial IntelligenceComputational Theory and MathematicsComputer Networks and Communications
- Journals
- Artificial Intelligence Review (1 paper)Lecture notes in computer science (1 paper)Information and Computation (2 papers)
- Partner nations
- United KingdomGermanyBrazil
In The Last Decade
Ullrich Hustadt
45 papers receiving 573 citations
Peers
Comparison fields: 5 of 43
- Artificial Intelligence 645
- Computational Theory and Mathematics 168
- Computer Networks and Communications 215
- Software 28
- Information Systems 152
Countries citing papers authored by Ullrich Hustadt
This map shows the geographic impact of Ullrich Hustadt'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 Ullrich Hustadt with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ullrich Hustadt more than expected).
Fields of papers citing papers by Ullrich Hustadt
This network shows the impact of papers produced by Ullrich Hustadt. 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 Ullrich Hustadt. The network helps show where Ullrich Hustadt may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Ullrich Hustadt, 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 | 2007 | 16 | |
| 2 | Description Logics and Disjunctive Datalog - The Story so Far. | 2005 | 8 |
| 3 | Data complexity of reasoning in very expressive description logics | 2005 | 104 |
| 4 | Reasoning in description logics with a concrete domain in the framework of resolution | 2004 | 16 |
| 5 | Reducing SHIQ - description logic to disjunctive datalog programs | 2004 | 108 |
| 6 | Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs | 2004 | 11 |
| 7 | Scientific benchmarking with temporal logic decision procedures | 2002 | 13 |
| 8 | A New Clausal Class Decidable by Hyperresolution | 2002 | 1 |
| 9 | TRP ++ : A temporal resolution prover | 2002 | 1 |
| 10 | Computational Space Efficiency and Minimal Model Generation for Guarded Formulae | 2001 | 1 |
| 11 | A Resolution-Based Decision Procedure for Extensions of K4 | 2001 | 9 |
| 12 | On the Relation of Resolution and Tableaux Proof Systems for Description Logics | 1999 | 3 |
| 13 | MSPASS: Subsumption Testing with SPASS. | 1999 | 8 |
| 14 | On Evaluating Decision Procedures for Modal Logics | 1997 | 31 |
| 15 | On evaluating decision procedures for modal logic | 1997 | 35 |
| 16 | Symbolic Arithmetical Reasoning with Qualified Number Restrictions | 1995 | 0 |
| 17 | Do we need the closed world assumption in knowledge representation | 1994 | 19 |
| 18 | Description Logics for Natural Language Processing | 1994 | 1 |
| 19 | A Multi-Modal Logic for Stereotyping | 1994 | 4 |
| 20 | Modalities in Knowledge Representation | 1993 | 2 |
About Ullrich Hustadt
Ullrich Hustadt is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software, having authored 51 papers that have together received 685 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (32 papers), Semantic Web and Ontologies (22 papers), Logic, programming, and type systems (21 papers), Formal Methods in Verification (14 papers), Natural Language Processing Techniques (6 papers), Multi-Agent Systems and Negotiation (5 papers), Advanced Database Systems and Queries (5 papers) and Aging, Elder Care, and Social Issues (3 papers). The work is most often cited by research in Artificial Intelligence (645 citations), Computational Theory and Mathematics (168 citations) and Computer Networks and Communications (215 citations). Ullrich Hustadt has collaborated with scholars based in United Kingdom, Germany and Brazil. Frequent co-authors include Boris Motik, Ulrike Sattler, Renate A. Schmidt, Clare Dixon, Michael Fisher, Boris Konev, Maarten de Rijke, Brandon Bennett, Ian Horrocks and Enrico Franconi. Their work appears in journals such as Artificial Intelligence Review, Lecture notes in computer science and Information and Computation.
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.