Volgen
Ullrich Hustadt
Ullrich Hustadt
Reader, Department of Computer Science, University of Liverpool
Geverifieerd e-mailadres voor liverpool.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
U Hustadt, B Motik, U Sattler
KR 4, 152-162, 2004
3672004
Data complexity of reasoning in very expressive description logics
U Hustadt, B Motik, U Sattler
IJCAI 5, 466-471, 2005
2802005
Reasoning in description logics by a reduction to disjunctive datalog
U Hustadt, B Motik, U Sattler
Journal of automated reasoning 39 (3), 351-384, 2007
2072007
Resolution decision procedures
CG Fermüller, A Leitsch, U Hustadt, T Tammet
Handbook of automated reasoning, 1791-1849, 2001
1572001
On evaluating decision procedures for modal logic
U Hustadt, RA Schmidt
Max-Planck-Institut für Informatik, 1997
1241997
TRP++ 2.0: A temporal resolution prover
U Hustadt, B Konev
International Conference on Automated Deduction, 274-278, 2003
1172003
Resolution-based methods for modal logics
H De Nivelle, RA Schmidt, U Hustadt
Logic Journal of the IGPL 8 (3), 265-292, 2000
1102000
Issues of decidability for description logics in the framework of resolution
U Hustadt, RA Schmidt
International Workshop on First-Order Theorem Proving, 191-205, 1998
1041998
MSPASS: Modal reasoning by translation and first-order resolution
U Hustadt, RA Schmidt
Automated Reasoning with Analytic Tableaux and Related Methods …, 2000
992000
A survey of decidable first-order fragments and description logics
U Hustadt, RA Schmidt, L Georgieva
Journal of Relational Methods in Computer Science 1 (251-276), 3, 2004
912004
Do we need the closed-world assumption in knowledge representation?
U Hustadt
1st Workshop on Knowledge Representation Meets Databases, 24-26, 1994
811994
Reasoning for description logics around SHIQ in a resolution framework
U Hustadt, B Motik, U Sattler
Technical Report 3-8-04/04, FZI, Karlsruhe, Germany, 2004
772004
Using resolution for testing modal satisfiability and building models
U Hustadt, RA Schmidt
Journal of Automated Reasoning 28, 205-232, 2002
712002
4 Computational modal logic
I Horrocks, U Hustadt, U Sattler, R Schmidt
Studies in Logic and Practical Reasoning 3, 181-245, 2007
702007
Reasoning in description logics with a concrete domain in the framework of resolution
U Hustadt, B Motik, U Sattler
ECAI 16, 353, 2004
702004
An empirical analysis of modal theorem provers
U Hustadt, RA Schmidt
Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999
691999
TeMP: A Temporal Monodic Prover
U Hustadt, B Konev, A Riazanov, A Voronkov
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork …, 2004
612004
A decomposition rule for decision procedures by resolution-based calculi
U Hustadt, B Motik, U Sattler
International Conference on Logic for Programming Artificial Intelligence …, 2005
532005
On the relation of resolution and tableaux proof systems for description logics
U Hustadt, RA Schmidt
Automated Reasoning Workshop: Bridging the Gap between Theory and Practice, 1999
531999
A principle for incorporating axioms into the first-order translation of modal formulae
RA Schmidt, U Hustadt
International Conference on Automated Deduction, 412-426, 2003
502003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20