Renate A. Schmidt

	2009
56		Renate A. Schmidt: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings Springer 2009
55		Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures Springer 2009
54		Renate A. Schmidt, Dmitry Tishkovsky: Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324
53		Renate A. Schmidt: A new methodology for developing deduction methods. Ann. Math. Artif. Intell. 55(1-2): 155-187 (2009)
52		Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
	2008
51		Boris Konev, Renate A. Schmidt, Stephan Schulz: Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 CEUR-WS.org 2008
50		Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz: Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 CEUR-WS.org 2008
49		Renate A. Schmidt, Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209
48		Renate A. Schmidt: Improved Second-Order Quantifier Elimination in Modal Logic. JELIA 2008: 375-388
47		Renate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)
46		Renate A. Schmidt, Dmitry Tishkovsky: On combinations of propositional dynamic logic and doxastic modal logics. Journal of Logic, Language and Information 17(1): 109-129 (2008)
	2007
45		Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
44		Renate A. Schmidt, Dmitry Tishkovsky: Deciding ALBO with Tableau. Description Logics 2007
43		Renate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451
42		Renate A. Schmidt, Ullrich Hustadt: The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8(4): (2007)
	2006
41		Renate A. Schmidt: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings Springer 2006
40		Renate A. Schmidt: Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic 2006: 1-26
39		Peter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
38		Rudolf Berghammer, Renate A. Schmidt: Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 31-49
	2005
37		Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing: Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004 King's College Publications 2005
36		Ullrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
	2004
35		Renate A. Schmidt, Dmitry Tishkovsky: Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004)
34		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
33		Renate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
32		Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
31		Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
30		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
29		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
	2002
28		Renate A. Schmidt, Dmitry Tishkovsky: Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392
27		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
26		Renate A. Schmidt, Dmitry Tishkovsky: Multi-agent Logics of Dynamic Belief and Knowledge. JELIA 2002: 38-49
25		Ullrich Hustadt, Renate A. Schmidt: Scientific Benchmarking with Temporal Logic Decision Procedures. KR 2002: 533-546
24		Ullrich Hustadt, Renate A. Schmidt: Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reasoning 28(2): 205-232 (2002)
	2001
23		Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
22		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
	2000
21		Renate A. Schmidt, Ullrich Hustadt: A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448
20		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
19		Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000: 73-87
18		Ullrich Hustadt, Renate A. Schmidt: MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000: 67-71
17		Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
	1999
16		Ullrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
15		Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach: MSPASS: Subsumption Testing with SPASS. Description Logics 1999
14		Ullrich Hustadt, Renate A. Schmidt: On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999: 110-117
13		Renate A. Schmidt: Decidability by Resolution for Propositional Modal Logics. J. Autom. Reasoning 22(4): 379-396 (1999)
12		Ullrich Hustadt, Renate A. Schmidt: An empirical analysis of modal theorem provers. Journal of Applied Non-Classical Logics 9(4): (1999)
	1998
11		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
10		Ullrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
9		Renate A. Schmidt: E-Unification for Subsystems of S4. RTA 1998: 106-120
8		Renate A. Schmidt: Decidability by unrefined resolution for propositional modal logics. RelMiCS 1998: 192-196
7		Ullrich Hustadt, Renate A. Schmidt: Simplification and Backjumping in Modal Tableau. TABLEAUX 1998: 187-201
	1997
6		Ullrich Hustadt, Renate A. Schmidt: On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997: 202-209
5		Hans Jürgen Ohlbach, Renate A. Schmidt: Functional Translation and Second-Order Frame Properties of Modal Logics. J. Log. Comput. 7(5): 581-603 (1997)
	1994
4		Chris Brink, Katarina Britz, Renate A. Schmidt: Peirce Algebras. Formal Asp. Comput. 6(3): 339-358 (1994)
	1993
3		Hans Jürgen Ohlbach, Renate A. Schmidt: Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3(4): 341-343 (1993)
	1992
2		Renate A. Schmidt: Terminological Representation, Natural Language & Relation Algebra. GWAI 1992: 357-371
	1991
1		Chris Brink, Ingrid Rewitzky, Renate A. Schmidt: Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)

Coauthor Index

1	Peter Baumgartner	[39]
2	Rudolf Berghammer	[38]
3	Chris Brink	[1] [4]
4	Katarina Britz	[4]
5	Clare Dixon	[19] [20] [22]
6	Thomas Eiter	[55]
7	Michael Fisher	[19] [20] [22]
8	Enrico Franconi	[55]
9	Harald Ganzinger	[11]
10	Lilia Georgieva	[23] [27] [29]
11	Valentin Goranko	[32]
12	Claudio Gutierrez (Claudio Gutiérrez)	[55]
13	Siegfried Handschuh	[55]
14	Thomas Hillenbrand	[45]
15	Wiebe van der Hoek	[20] [22]
16	Ullrich Hustadt	[6] [7] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [29] [30] [31] [32] [33] [34] [36] [42]
17	Christoph M. Kirsch (Christoph Meyer)	[11]
18	Boris Konev	[36] [50] [51]
19	John-Jules Ch. Meyer	[20] [22]
20	Hans de Nivelle	[17]
21	Hans Jürgen Ohlbach	[3] [5]
22	Ewa Orlowska	[31]
23	Ian Pratt-Hartmann (Ian E. Pratt)	[37]
24	Ingrid Rewitzky	[1]
25	Mark Reynolds	[37]
26	Marie-Christine Rousset	[55]
27	Piotr Rudnicki	[50]
28	Rostislav Rusev	[45]
29	Stephan Schulz	[50] [51] [52]
30	Georg Struth	[47]
31	Geoff Sutcliffe	[50] [52]
32	Sergio Tessaris	[55]
33	Dmitry Tishkovsky	[26] [28] [34] [35] [43] [44] [46] [49] [54]
34	Dalibor Topic	[45]
35	Dimiter Vakarelov	[32]
36	Heinrich Wansing	[37]
37	Christoph Weidenbach	[15] [45]