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

Publications Master Template, generated: 10:48, 17 October 2019

Search the publication database

  . Return

Your search returned the following 30 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, 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
  3. 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
  4. 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
  5. 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}.
  6. 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
  7. Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    . Note: Submitted for publication.
  8. 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
  9. 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]
  10. Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet
    Resolution Decision Procedures
    In: Handbook of Automated Reasoning, 2001, 1793-1849
  11. 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'
  12. Ullrich Hustadt and Renate A. Schmidt
    An Empirical Analysis of Modal Theorem Provers
    Journal of Applied Non-Classical Logics 9 (4): 479-522, 1999
  13. 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
  14. 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
  15. Ullrich Hustadt
    Resolution-Based Decision Procedures for Subclasses of First-Order Logic
    Doctoral dissertation, Universität des Saarlandes, 1999
  16. 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
  17. 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
  18. 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
  19. 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
  20. Ullrich Hustadt
    Introducing Epistemic Operators into a Description Logic
    In: Knowledge and Belief in Philosophie and Artificial Intelligence, 1995, 65-85
  21. 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
  22. Ullrich Hustadt
    A Multi-Modal Logic for Stereotyping
    In: Proceedings of the 4th International Conference on User Modeling UM94, Hyannis, MA, August 15-19, 1994, 1994, 87-92. Note: Order copies from: Bradley A. Goodman, The MITRE Corporation, Artificial Intelligence Center, 202 Burlingtom Road, Bedford, MA 01730-1420, USA
  23. Ullrich Hustadt
    Common and Mutual Belief for Agent Modeling
    In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), Saarbrücken, Germany, September 20-21, 1994, 1994. Note: To appear in `Knowledge and Belief in Philosophy and Artificial Intelligence', Akademie-Verlag, Berlin, 1995
  24. Ullrich Hustadt
    Common and Mutual Belief for Agent Modeling
    In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 123-124
  25. 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
  26. Ullrich Hustadt
    Do we need the closed-world assumption in knowledge representation?
    In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 293-294
  27. Ullrich Hustadt
    Do we need the closed-world assumption in knowledge representation?
    In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), Saarbrücken, Germany, September 20-21, 1994, 1994, 24-26
  28. Ullrich Hustadt
    Abductive Disjunctive Logic Programming
    In: ICLP '93 Postconference Workshop on Abductive Reasoning, Budapest, Hungary, 1993
  29. Ullrich Hustadt
    Automated Support for the Development of Non-classical Logics
    In: Workshop: Modellierung epistemischer Propositionen, KI '93, 1993. Note: To appear as Research Report of DFKI
  30. Ullrich Hustadt and Andreas Nonnengart
    Modalities in Knowledge Representation
    In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), Melbourne, Australia, Summer, 1993, 249-254