dblp.uni-trier.dewww.uni-trier.de

Ullrich Hustadt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
45EELan Zhang, Ullrich Hustadt, Clare Dixon: A Refined Resolution Calculus for CTL. CADE 2009: 245-260
44EEMichel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276
2008
43EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
2007
42EERenate A. Schmidt, Ullrich Hustadt: The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8(4): (2007)
41EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
2006
40EEUllrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
2005
39EEUllrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
38EEUllrich Hustadt, Boris Motik: Description Logics and Disjunctive Datalog – The Story so Far. Description Logics 2005
37EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
36EEBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
35EEM. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev: First-Order Temporal Verification in Practice. J. Autom. Reasoning 34(3): 295-321 (2005)
2004
34 Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
33EEUllrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov: TeMP: A Temporal Monodic Prover. IJCAR 2004: 326-330
32 Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
31EEUllrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
30EERenate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica 78(3): 381-415 (2004)
2003
29EEUllrich Hustadt, Boris Konev: TRP++2.0: A Temporal Resolution Prover. CADE 2003: 274-278
28EERenate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
27EEValentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
26EERenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
25EEBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82
24EERenate A. Schmidt, Ullrich Hustadt: Mechanised Reasoning and Model Generation for Extended Modal Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 38-67
23EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
2002
22EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
21 Ullrich Hustadt, Renate A. Schmidt: Scientific Benchmarking with Temporal Logic Decision Procedures. KR 2002: 533-546
20 Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
19 Ullrich Hustadt, Renate A. Schmidt: Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reasoning 28(2): 205-232 (2002)
2001
18EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
17EEUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Reasoning about agents in the KARO framework. TIME 2001: 206-213
16 Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet: Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849
15 Ullrich Hustadt: Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. Journal of Logic, Language and Information 10(3): 406-410 (2001)
2000
14EERenate A. Schmidt, Ullrich Hustadt: A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448
13EEUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Verification within the KARO Agent Theory. FAABS 2000: 33-47
12 Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000: 73-87
11 Ullrich Hustadt, Renate A. Schmidt: MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000: 67-71
10EEUllrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
1999
9EEUllrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
8EEUllrich Hustadt, Renate A. Schmidt, Christoph Weidenbach: MSPASS: Subsumption Testing with SPASS. Description Logics 1999
7 Ullrich Hustadt, Renate A. Schmidt: On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999: 110-117
6 Ullrich Hustadt, Renate A. Schmidt: An empirical analysis of modal theorem provers. Journal of Applied Non-Classical Logics 9(4): (1999)
1998
5 Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt: A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246
4EEUllrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
3EEUllrich Hustadt, Renate A. Schmidt: Simplification and Backjumping in Modal Tableau. TABLEAUX 1998: 187-201
1997
2 Ullrich Hustadt, Renate A. Schmidt: On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997: 202-209
1994
1EEUllrich Hustadt: Do we need the closed world assumption in knowledge representation? KRDB 1994

Coauthor Index

1Brandon Bennett [20]
2Anatoli Degtyarev [25] [36]
3Clare Dixon [12] [13] [17] [20] [25] [35] [36] [45]
4Christian G. Fermüller [16]
5Michael Fisher [12] [13] [17] [20] [25] [35] [36]
6Enrico Franconi [20]
7M. Carmen Fernández Gago [35]
8Harald Ganzinger [5]
9Lilia Georgieva [18] [22] [23]
10Valentin Goranko [27]
11Wiebe van der Hoek [13] [17]
12Ian Horrocks [20]
13Christoph M. Kirsch (Christoph Meyer) [5]
14Boris Konev [25] [29] [33] [35] [36] [39]
15Alexander Leitsch [16]
16Michel Ludwig [44]
17John-Jules Ch. Meyer [13] [17]
18Boris Motik [31] [32] [34] [37] [38] [41] [43]
19Hans de Nivelle [10]
20Ewa Orlowska [26]
21Alexandre Riazanov [33]
22Maarten de Rijke [20]
23Ulrike Sattler [31] [32] [34] [37] [41] [43]
24Renate A. Schmidt [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [17] [18] [19] [21] [22] [23] [24] [26] [27] [28] [30] [39] [42]
25Tanel Tammet [16]
26Dmitry Tishkovsky [30] [40]
27Dimiter Vakarelov [27]
28Andrei Voronkov [33]
29Christoph Weidenbach [8]
30Frank Wolter [40]
31Michael Zakharyaschev [40]
32Lan Zhang [45]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)