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 computer science, logic, and computing.

ORCID

Publications per year

1994–2019

30

Publications

30

Data complexity of reasoning in very expressive description logics

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

, , +13

Reducing SHIQ - description logic to disjunctive datalog programs

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

, , +15

Reasoning in Description Logics by a Reduction to Disjunctive Datalog

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

, , +9

On evaluating decision procedures for modal logic

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

, , +13

A Survey of Decidable First-Order Fragments and Description Logics

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

, , +9

1–5 of 30