Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 20:09, 21 October 2019

Search the publication database

  . Return

Your search returned the following 36 documents:

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