Renate A. Schmidt

2009
52	EE	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	EE	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	EE	Renate A. Schmidt: Improved Second-Order Quantifier Elimination in Modal Logic. JELIA 2008: 375-388
47	EE	Renate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)
46	EE	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	EE	Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
44	EE	Renate A. Schmidt, Dmitry Tishkovsky: Deciding ALBO with Tableau. Description Logics 2007
43	EE	Renate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451
42	EE	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	EE	Renate A. Schmidt: Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic 2006: 1-26
39	EE	Peter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
38	EE	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	EE	Ullrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
2004
35	EE	Renate A. Schmidt, Dmitry Tishkovsky: Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004)
34	EE	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	EE	Renate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
32	EE	Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
31	EE	Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
30	EE	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	EE	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	EE	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
26	EE	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	EE	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
22	EE	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	EE	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	EE	Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
1999
16	EE	Ullrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
15	EE	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	EE	Ullrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
9	EE	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	EE	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	Michael Fisher	[19] [20] [22]
7	Harald Ganzinger	[11]
8	Lilia Georgieva	[23] [27] [29]
9	Valentin Goranko	[32]
10	Thomas Hillenbrand	[45]
11	Wiebe van der Hoek	[20] [22]
12	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]
13	Christoph M. Kirsch (Christoph Meyer)	[11]
14	Boris Konev	[36] [50] [51]
15	John-Jules Ch. Meyer	[20] [22]
16	Hans de Nivelle	[17]
17	Hans Jürgen Ohlbach	[3] [5]
18	Ewa Orlowska	[31]
19	Ian Pratt-Hartmann	[37]
20	Ingrid Rewitzky	[1]
21	Mark Reynolds	[37]
22	Piotr Rudnicki	[50]
23	Rostislav Rusev	[45]
24	Stephan Schulz	[50] [51] [52]
25	Georg Struth	[47]
26	Geoff Sutcliffe	[50] [52]
27	Dmitry Tishkovsky	[26] [28] [34] [35] [43] [44] [46] [49]
28	Dalibor Topic	[45]
29	Dimiter Vakarelov	[32]
30	Heinrich Wansing	[37]
31	Christoph Weidenbach	[15] [45]

Colors in the list of coauthors