Concepedia

Ullrich Hustadt

UH

Statistics

Publications

30

Citations

1.4K

H-Index

20

Active since

1994

Affiliations

University of Liverpool(Current)

University of Manchester

Max Planck Society

Max Planck Institute for Informatics

FZI Research Center for Information Technology

Ullrich Hustadt is an author at University of Liverpool specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

1994–2019

30

Publications

30

Data complexity of reasoning in very expressive description logics

Ullrich Hustadt, Boris Motik, Ulrike Sattler · 2005 · 212 citations

Reducing SHIQ - description logic to disjunctive datalog programs

Ullrich Hustadt, Boris Motik, Ulrike Sattler · 2004 · 211 citations

Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Ullrich Hustadt, Boris Motik, Ulrike Sattler · Journal of Automated Reasoning · 2007 · 177 citations

, , +13

On evaluating decision procedures for modal logic

Ullrich Hustadt, Renate A. Schmidt · Max Planck Digital Library · 1997 · 66 citations · Full text

A Survey of Decidable First-Order Fragments and Description Logics

Ullrich Hustadt, Renate A. Schmidt, Lilia Georgieva · 2004 · 59 citations

1–5 of 30