The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Renate A. Schmidt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Renate A. Schmidt
    Decidability by unrefined resolution for propositional modal logics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:192-196 [Conf]
  3. 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]
  4. Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
    Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:238-251 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Ullrich Hustadt, Boris Konev, Renate A. Schmidt
    Deciding Monodic Fragments by Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:204-218 [Conf]
  12. Ullrich Hustadt, Renate A. Schmidt
    Maslov's Class K Revisited. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:172-186 [Conf]
  13. Renate A. Schmidt, Ullrich Hustadt
    A Resolution Decision Procedure for Fluted Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:433-448 [Conf]
  14. 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]
  15. Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
    MSPASS: Subsumption Testing with SPASS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Ullrich Hustadt, Renate A. Schmidt
    On Evaluating Decision Procedures for Modal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:202-209 [Conf]
  20. 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]
  21. Renate A. Schmidt, Dmitry Tishkovsky
    Multi-agent Logics of Dynamic Belief and Knowledge. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:38-49 [Conf]
  22. Renate A. Schmidt
    Terminological Representation, Natural Language & Relation Algebra. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:357-371 [Conf]
  23. Ullrich Hustadt, Renate A. Schmidt
    Scientific Benchmarking with Temporal Logic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:533-546 [Conf]
  24. 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]
  25. Renate A. Schmidt
    E-Unification for Subsystems of S4. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:106-120 [Conf]
  26. 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]
  27. Ullrich Hustadt, Renate A. Schmidt
    Simplification and Backjumping in Modal Tableau. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:187-201 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]

  43. A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. [Citation Graph (, )][DBLP]


  44. Deciding ALBO with Tableau. [Citation Graph (, )][DBLP]


  45. Improved Second-Order Quantifier Elimination in Modal Logic. [Citation Graph (, )][DBLP]


  46. Automated Synthesis of Tableau Calculi. [Citation Graph (, )][DBLP]


  47. Special issue on practical aspects of automated reasoning. [Citation Graph (, )][DBLP]


  48. A new methodology for developing deduction methods. [Citation Graph (, )][DBLP]


  49. A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP]


  50. Simulation and Synthesis of Deduction Calculi. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002