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

Renate A. Schmidt 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
55EERenate A. Schmidt: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings Springer 2009
54EESergio 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
53EERenate A. Schmidt, Dmitry Tishkovsky: Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324
52EERenate 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
49EERenate A. Schmidt, Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209
48EERenate A. Schmidt: Improved Second-Order Quantifier Elimination in Modal Logic. JELIA 2008: 375-388
47EERenate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)
46EERenate 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
45EEChristoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
44EERenate A. Schmidt, Dmitry Tishkovsky: Deciding ALBO with Tableau. Description Logics 2007
43EERenate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451
42EERenate 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
40EERenate A. Schmidt: Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic 2006: 1-26
39EEPeter Baumgartner, Renate A. Schmidt: Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139
38EERudolf 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
36EEUllrich Hustadt, Boris Konev, Renate A. Schmidt: Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218
2004
35EERenate A. Schmidt, Dmitry Tishkovsky: Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004)
34EERenate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt: Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Studia Logica 78(3): 381-415 (2004)
2003
33EERenate A. Schmidt, Ullrich Hustadt: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426
32EEValentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
31EERenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
30EERenate 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
29EELilia 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
27EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
26EERenate 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
23EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99
22EEUllrich 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
21EERenate A. Schmidt, Ullrich Hustadt: A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448
20EEUllrich 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
17EEUllrich Hustadt, Hans de Nivelle, Renate A. Schmidt: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3): (2000)
1999
16EEUllrich Hustadt, Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999: 172-186
15EEUllrich 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
10EEUllrich Hustadt, Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205
9EERenate 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
7EEUllrich 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

1Peter Baumgartner [39]
2Rudolf Berghammer [38]
3Chris Brink [1] [4]
4Katarina Britz [4]
5Clare Dixon [19] [20] [22]
6Thomas Eiter [54]
7Michael Fisher [19] [20] [22]
8Enrico Franconi [54]
9Harald Ganzinger [11]
10Lilia Georgieva [23] [27] [29]
11Valentin Goranko [32]
12Claudio Gutierrez (Claudio Gutiérrez) [54]
13Siegfried Handschuh [54]
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 [54]
27Piotr Rudnicki [50]
28Rostislav Rusev [45]
29Stephan Schulz [50] [51] [52]
30Georg Struth [47]
31Geoff Sutcliffe [50] [52]
32Sergio Tessaris [54]
33Dmitry Tishkovsky [26] [28] [34] [35] [43] [44] [46] [49] [53]
34Dalibor Topic [45]
35Dimiter Vakarelov [32]
36Heinrich Wansing [37]
37Christoph Weidenbach [15] [45]

Colors in the list of coauthors

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