| Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004 | 368 | 2004 |
| Data complexity of reasoning in very expressive description logics U Hustadt, B Motik, U Sattler IJCAI 5, 466-471, 2005 | 280 | 2005 |
| 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 | 208 | 2007 |
| Resolution decision procedures CG Fermüller, A Leitsch, U Hustadt, T Tammet Handbook of automated reasoning, 1791-1849, 2001 | 152 | 2001 |
| On evaluating decision procedures for modal logic U Hustadt, RA Schmidt Max-Planck-Institut für Informatik, 1997 | 122 | 1997 |
| Resolution-based methods for modal logics H De Nivelle, RA Schmidt, U Hustadt Logic Journal of the IGPL 8 (3), 265-292, 2000 | 109 | 2000 |
| Issues of decidability for description logics in the framework of resolution U Hustadt, RA Schmidt Automated Deduction in Classical and Non-Classical Logics: Selected Papers …, 2002 | 101 | 2002 |
| MSPASS: Modal reasoning by translation and first-order resolution U Hustadt, RA Schmidt Automated Reasoning with Analytic Tableaux and Related Methods …, 2000 | 93 | 2000 |
| TRP++ 2.0: A temporal resolution prover U Hustadt, B Konev Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003 | 88 | 2003 |
| 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 | 83 | 2004 |
| Do we need the closed world assumption in knowledge representation? U Hustadt KRDB 1, 1994 | 81 | 1994 |
| 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 | 75 | 2004 |
| 4 Computational modal logic I Horrocks, U Hustadt, U Sattler, R Schmidt Studies in Logic and Practical Reasoning 3, 181-245, 2007 | 71 | 2007 |
| Reasoning in description logics with a concrete domain in the framework of resolution U Hustadt, B Motik, U Sattler ECAI 16, 353, 2004 | 70 | 2004 |
| Using resolution for testing modal satisfiability and building models U Hustadt, RA Schmidt Journal of Automated Reasoning 28, 205-232, 2002 | 69 | 2002 |
| An empirical analysis of modal theorem provers U Hustadt, RA Schmidt Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999 | 67 | 1999 |
| TeMP: A temporal monodic prover U Hustadt, B Konev, A Riazanov, A Voronkov IJCAR 4, 326-330, 2004 | 58 | 2004 |
| A decomposition rule for decision procedures by resolution-based calculi U Hustadt, B Motik, U Sattler Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 53 | 2005 |
| 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 | 53 | 1999 |
| Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005 | 50 | 2005 |
