Renate A. Schmidt Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings Springer 2009
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: A new methodology for developing deduction methods. Ann. Math. Artif. Intell. 55(1-2): 155-187 (2009)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Geoff Sutcliffe, Stephan Schulz: Empirically successful computerized reasoning. J. Applied Logic 7(1): 1 (2009)
2008
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiotr 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Improved Second-Order Quantifier Elimination in Modal Logic. JELIA 2008: 375-388
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Deciding ALBO with Tableau. Description Logics 2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Ullrich Hustadt: The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8(4): (2007)
2006
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic 2006: 1-26
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
2004
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica 78(3): 381-415 (2004)
2003
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
2002
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Dmitry Tishkovsky: Multi-agent Logics of Dynamic Belief and Knowledge. JELIA 2002: 38-49
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: Scientific Benchmarking with Temporal Logic Decision Procedures. KR 2002: 533-546
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reasoning 28(2): 205-232 (2002)
2001
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt, Ullrich Hustadt: A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000: 73-87
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000: 67-71
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
1999
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt, Christoph Weidenbach: MSPASS: Subsumption Testing with SPASS. Description Logics 1999
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999: 110-117
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Decidability by Resolution for Propositional Modal Logics. J. Autom. Reasoning 22(4): 379-396 (1999)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: An empirical analysis of modal theorem provers. Journal of Applied Non-Classical Logics 9(4): (1999)
1998
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt: A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: E-Unification for Subsystems of S4. RTA 1998: 106-120
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Decidability by unrefined resolution for propositional modal logics. RelMiCS 1998: 192-196
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: Simplification and Backjumping in Modal Tableau. TABLEAUX 1998: 187-201
1997
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Renate A. Schmidt: On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997: 202-209
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Brink, Katarina Britz, Renate A. Schmidt: Peirce Algebras. Formal Asp. Comput. 6(3): 339-358 (1994)
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Renate A. Schmidt: Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3(4): 341-343 (1993)
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenate A. Schmidt: Terminological Representation, Natural Language & Relation Algebra. GWAI 1992: 357-371
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Brink, Ingrid Rewitzky, Renate A. Schmidt: Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)

Coauthor Index

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

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)