Search the dblp DataBase
Renate A. Schmidt :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Valentin Goranko , Ullrich Hustadt , Renate A. Schmidt , Dimiter Vakarelov SCAN Is Complete for All Sahlqvist Formulae. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:149-162 [Conf ] Renate A. Schmidt Decidability by unrefined resolution for propositional modal logics. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:192-196 [Conf ] Renate A. Schmidt , Ullrich Hustadt Mechanised Reasoning and Model Generation for Extended Modal Logics. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:38-67 [Conf ] Renate A. Schmidt , Ewa Orlowska , Ullrich Hustadt Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:238-251 [Conf ] Rudolf Berghammer , Renate A. Schmidt Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:31-49 [Conf ] Renate A. Schmidt Developing Modal Tableaux and Resolution Methods via First-Order Resolution. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:1-26 [Conf ] Renate A. Schmidt , Dmitry Tishkovsky Combining Dynamic Logic with Doxastic Modal Logics. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:371-392 [Conf ] Harald Ganzinger , Ullrich Hustadt , Christoph Meyer , Renate A. Schmidt A Resolution-Based Decision Procedure for Extensions of K4. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 1998, pp:225-246 [Conf ] Peter Baumgartner , Renate A. Schmidt Blocking and Other Enhancements for Bottom-Up Model Generation Methods. [Citation Graph (0, 0)][DBLP ] IJCAR, 2006, pp:125-139 [Conf ] Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt A New Clausal Class Decidable by Hyperresolution. [Citation Graph (0, 0)][DBLP ] CADE, 2002, pp:260-274 [Conf ] Ullrich Hustadt , Boris Konev , Renate A. Schmidt Deciding Monodic Fragments by Temporal Resolution. [Citation Graph (0, 0)][DBLP ] CADE, 2005, pp:204-218 [Conf ] Ullrich Hustadt , Renate A. Schmidt Maslov's Class K Revisited. [Citation Graph (0, 0)][DBLP ] CADE, 1999, pp:172-186 [Conf ] Renate A. Schmidt , Ullrich Hustadt A Resolution Decision Procedure for Fluted Logic. [Citation Graph (0, 0)][DBLP ] CADE, 2000, pp:433-448 [Conf ] Renate A. Schmidt , Ullrich Hustadt A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. [Citation Graph (0, 0)][DBLP ] CADE, 2003, pp:412-426 [Conf ] Ullrich Hustadt , Renate A. Schmidt , Christoph Weidenbach MSPASS: Subsumption Testing with SPASS. [Citation Graph (0, 0)][DBLP ] Description Logics, 1999, pp:- [Conf ] Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP ] FAABS, 2000, pp:33-47 [Conf ] Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher Normal Forms and Proofs in Combined Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP ] FroCos, 2000, pp:73-87 [Conf ] Ullrich Hustadt , Renate A. Schmidt Issues of Decidability for Description Logics in the Framework of Resolution. [Citation Graph (0, 0)][DBLP ] FTP (LNCS Selection), 1998, pp:191-205 [Conf ] Ullrich Hustadt , Renate A. Schmidt On Evaluating Decision Procedures for Modal Logic. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:202-209 [Conf ] Ullrich Hustadt , Renate A. Schmidt On the Relation of Resolution and Tableaux Proof Systems for Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:110-117 [Conf ] Renate A. Schmidt , Dmitry Tishkovsky Multi-agent Logics of Dynamic Belief and Knowledge. [Citation Graph (0, 0)][DBLP ] JELIA, 2002, pp:38-49 [Conf ] Renate A. Schmidt Terminological Representation, Natural Language & Relation Algebra. [Citation Graph (0, 0)][DBLP ] GWAI, 1992, pp:357-371 [Conf ] Ullrich Hustadt , Renate A. Schmidt Scientific Benchmarking with Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP ] KR, 2002, pp:533-546 [Conf ] Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:85-99 [Conf ] Renate A. Schmidt E -Unification for Subsystems of S4 . [Citation Graph (0, 0)][DBLP ] RTA, 1998, pp:106-120 [Conf ] Ullrich Hustadt , Renate A. Schmidt MSPASS: Modal Reasoning by Translation and First-Order Resolution. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2000, pp:67-71 [Conf ] Ullrich Hustadt , Renate A. Schmidt Simplification and Backjumping in Modal Tableau. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1998, pp:187-201 [Conf ] Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:206-213 [Conf ] Renate A. Schmidt , Dmitry Tishkovsky Multi-Agent Dynamic Logics with Informational Test. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:5-36 [Journal ] Chris Brink , Ingrid Rewitzky , Renate A. Schmidt Autodescriptivity: Beware! [Citation Graph (0, 0)][DBLP ] Comput. J., 1991, v:34, n:4, pp:379-381 [Journal ] Chris Brink , Katarina Britz , Renate A. Schmidt Peirce Algebras. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:3, pp:339-358 [Journal ] Ullrich Hustadt , Hans de Nivelle , Renate A. Schmidt Resolution-Based Methods for Modal Logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:3, pp:- [Journal ] Ullrich Hustadt , Renate A. Schmidt An empirical analysis of modal theorem provers. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:4, pp:- [Journal ] Ullrich Hustadt , Renate A. Schmidt Using Resolution for Testing Modal Satisfiability and Building Models. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:28, n:2, pp:205-232 [Journal ] Renate A. Schmidt Decidability by Resolution for Propositional Modal Logics. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1999, v:22, n:4, pp:379-396 [Journal ] Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt Hyperresolution for guarded formulae. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2003, v:36, n:1-2, pp:163-192 [Journal ] Hans Jürgen Ohlbach , Renate A. Schmidt Functional Translation and Second-Order Frame Properties of Modal Logics. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1997, v:7, n:5, pp:581-603 [Journal ] Hans Jürgen Ohlbach , Renate A. Schmidt Editorial: The Possibility of Generating True Conjectures. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1993, v:3, n:4, pp:341-343 [Journal ] Renate A. Schmidt , Dmitry Tishkovsky , Ullrich Hustadt Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2004, v:78, n:3, pp:381-415 [Journal ] Christoph Weidenbach , Renate A. Schmidt , Thomas Hillenbrand , Rostislav Rusev , Dalibor Topic System Description: SpassVersion 3.0. [Citation Graph (0, 0)][DBLP ] CADE, 2007, pp:514-520 [Conf ] Renate A. Schmidt , Dmitry Tishkovsky Using Tableau to Decide Expressive Description Logics with Role Negation. [Citation Graph (0, 0)][DBLP ] ISWC/ASWC, 2007, pp:438-451 [Conf ] Renate A. Schmidt , Ullrich Hustadt The axiomatic translation principle for modal logic. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal ] A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. [Citation Graph (, )][DBLP ] Deciding ALBO with Tableau. [Citation Graph (, )][DBLP ] Improved Second-Order Quantifier Elimination in Modal Logic. [Citation Graph (, )][DBLP ] Automated Synthesis of Tableau Calculi. [Citation Graph (, )][DBLP ] Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP ] A new methodology for developing deduction methods. [Citation Graph (, )][DBLP ] A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP ] Simulation and Synthesis of Deduction Calculi. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.304secs