Your search returned the following 36 documents:

36. Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    Studia Logica 78 (3): 381-415, 2004
    
35. Multi-Agent Dynamic Logics with Informational Test
    Renate A. Schmidt and Dmitry Tishkovsky
    Annals of Mathematics and Artificial Intelligence 42 (1): 5-36, 2004. Note: To appear
    
34. Two Proof Systems for Peirce Algebras
    Renate A. Schmidt, Ewa Orłowska, and Ullrich Hustadt
    In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, 2004, 238-251
    
33. SCAN is complete for all Sahlqvist formulae
    Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, and Dimiter Vakarelov
    In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, 2004, 149-162
    
32. A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
    Renate A. Schmidt and Ullrich Hustadt
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July, 2003, 412-426
    
31. Combining Dynamic Logic and Doxastic Modal Logics
    Renate A. Schmidt and Dmitry Tishkovsky
    In: Advances in Modal Logic, 2003, 371-391
    
30. Multi-Agent Logic of Dynamic Belief and Knowledge
    Renate A. Schmidt and Dmitry Tishkovsky
    . Note: Submitted for publication.
    
29. A New Clausal Class Decidable by Hyperresolution
    Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    University of Manchester, UK, CSPP-18, Preprint Series. Note: Long version of~\cite{GeorgievaHustadtSchmidt02b}.
    
28. A New Clausal Class Decidable by Hyperresolution
    Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, 2002, 260-274
    
27. Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    . Note: Submitted for publication.
    
26. Multi-Agent Logic of Dynamic Belief and Knowledge
    Renate A. Schmidt and Dmitry Tishkovsky
    In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Cosenza, Italy, 2002, 38-49
    
25. On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
    Lilia Georgieva, Ullrich Hustadt, and Renate A. Schmidt
    In: Proceedings of the International Workshop on Description Logics (DL'2002), Toulouse, France, April 2002, 2002, 25-36
    
24. A Resolution-Based Decision Procedure for Extensions of K4
    Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt
    In: Advances in Modal Logic, Volume 2, 2001, 225-246
    [PS: Download: _01AIML.ps.gz]
    
23. Relational Grammars for Knowledge Representation
    Renate A. Schmidt
    In: Variable-Free Semantics, Osnabrück, Germany, September 1996, 2000, 162-180
    
22. Resolution-Based Methods for Modal Logics
    Hans de Nivelle, Ullrich Hustadt, and Renate A. Schmidt
    Logic Journal of the IGPL 8 (3): 265-292, 2000. Note: %My name is misspelt as 'Nivellle'
    
21. An Empirical Analysis of Modal Theorem Provers
    Ullrich Hustadt and Renate A. Schmidt
    Journal of Applied Non-Classical Logics 9 (4): 479-522, 1999
    
20. Decidability by Resolution for Propositional Modal Logics
    Renate A. Schmidt
    Journal of Automated Reasoning 22 (4): 379-396, 1999
    
19. Maslov's Class K Revisited
    Ullrich Hustadt and Renate A. Schmidt
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July, 7 - 10, 1999, 172-186
    
18. On the relation of resolution and tableaux proof systems for description logics
    Ullrich Hustadt and Renate A. Schmidt
    In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden, July, 31 - August, 6, 1999, 110-115
    
17. E-Unification for Subsystems of S4
    Renate A. Schmidt
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 106-120
    
16. Optimised Functional Translation and Resolution
    Ullrich Hustadt, Renate A. Schmidt, and Christoph Weidenbach
    In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), Oisterwijk, The Netherlands, May, 5-8, 1998, 36-37
    
15. Resolution is a Decision Procedure for Many Propositional Modal Logics
    Renate A. Schmidt
    In: Advances in Modal Logic, Volume 1, 1998, 189-208
    
14. Simplification and backjumping in modal tableau
    Ullrich Hustadt and Renate A. Schmidt
    In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), Oisterwijk, The Netherlands, May, 5-8, 1998, 187-201
    
13. Functional Translation and Second-Order Frame Properties of Modal Logics
    Hans Jürgen Ohlbach and Renate A. Schmidt
    Journal of Logic and Computation 7 (5): 581-603, 1997. Note: Also available as Research Report MPI-I-95-2-002
    
12. On Evaluating Decision Procedures for Modal Logics
    Ullrich Hustadt and Renate A. Schmidt
    In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August, 23-29, 1997, 202-207
    
11. Optimised Modal Translation and Resolution
    Renate A. Schmidt
    Doctoral dissertation, Universität des Saarlandes, 1997
    
10. Translating Graded Modalities into Predicate Logic
    Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    In: Proof Theory of Modal Logic, 1996, 253-291. Note: Also available as Research Report MPI-I-95-2-008
    
9. Symbolic Arithmetical Reasoning with Qualified Number Restrictions
   Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
   In: Proceedings of International Workshop on Description Logics'95, Rome, Italy, June 2-3, 1995, 1995, 89-95
   
8. Description Logics for Natural Language Processing
   Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
   In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
   
7. Peirce Algebras
   Chris Brink, Katarina Britz, and Renate A. Schmidt
   Formal Aspects of Computing 6 (3): 339-358, 1994. Note: Also available as Research Report MPI-I-92-229, Max-Planck-Institut für Informatik, Saarbrücken, Germany (July 1992), and as Research Report RR 140, Department of Mathematics, University of Cape Town, Cape Town, South Africa (August 1992). An extended abstract appears in Nivat, M., Rattray, C., Rus, T. and Scollo, G. (eds), {\em Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology}. {\em Workshops in Computing} Series, Springer-Verlag, London, 165-168 (1994).
   
6. Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
   Renate A. Schmidt
   SIGALA Newsletter 2 (1): 27-27, 1994. Note: Abstract of a talk held at the Dagstuhl Seminar on Relational Methods in Computer Science, Dagstuhl, Germany (January 1994). Also in Brink, C. and Schmidt, G. (eds) (1994), Relational Methods in Computer Science, Dagstuhl-Seminar-Report 80 (9403), IBFI, Schlo{\ss} Dagstuhl, Wadern, Germany.
   
5. Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
   Renate A. Schmidt
   In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), Schloß Wadern, January 17-21, 1994, 1994, 21-22
   
4. Peirce Algebras: Extended Abstract
   Chris Brink, Katarina Britz, and Renate A. Schmidt
   In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), University of Twente, Enschede, Netherlands, June 21-25, 1993, 1994, 163-166
   
3. Terminological Logics and Conceptual Graphs: An Historical Perspective
   Renate A. Schmidt
   In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 135-136
   
2. Autodescriptivity: Beware!
   Chris Brink, I. M. Rewitzky, and Renate A. Schmidt
   The Computer Journal 34 (4): 380-381, 1991
   
1. Terminological Representation, Natural Language \& Relation Algebra
   Renate A. Schmidt
   In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, Bonn, Germany, 1993, 357-371. Note: Also available as Research Report MPI-I-92-246