Ullrich Hustadt

	2009
45		Lan Zhang, Ullrich Hustadt, Clare Dixon: A Refined Resolution Calculus for CTL. CADE 2009: 245-260
44		Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276
	2008
43		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
	2007
42		Renate A. Schmidt, Ullrich Hustadt: The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8(4): (2007)
41		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
	2006
40		Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
	2005
39		Ullrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
38		Ullrich Hustadt, Boris Motik: Description Logics and Disjunctive Datalog – The Story so Far. Description Logics 2005
37		Ullrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
36		Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
35		M. 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
33		Ullrich 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
31		Ullrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
30		Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica 78(3): 381-415 (2004)
	2003
29		Ullrich Hustadt, Boris Konev: TRP++2.0: A Temporal Resolution Prover. CADE 2003: 274-278
28		Renate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
27		Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
26		Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
25		Boris 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
24		Renate 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
23		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
	2002
22		Lilia 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
18		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
17		Ullrich 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
14		Renate A. Schmidt, Ullrich Hustadt: A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448
13		Ullrich 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
10		Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
	1999
9		Ullrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
8		Ullrich 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
4		Ullrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
3		Ullrich 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
1		Ullrich Hustadt: Do we need the closed world assumption in knowledge representation? KRDB 1994

Coauthor Index

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

Colors in the list of coauthors