Your search returned the following 30 documents:

30. 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
    
29. 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
    
28. 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
    
27. 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
    
26. 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}.
    
25. 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
    
24. Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
    Renate A. Schmidt, Dmitry Tishkovsky, and Ullrich Hustadt
    . Note: Submitted for publication.
    
23. 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
    
22. 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]
    
21. Resolution Decision Procedures
    Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet
    In: Handbook of Automated Reasoning, 2001, 1793-1849
    
20. 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'
    
19. An Empirical Analysis of Modal Theorem Provers
    Ullrich Hustadt and Renate A. Schmidt
    Journal of Applied Non-Classical Logics 9 (4): 479-522, 1999
    
18. 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
    
17. 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
    
16. Resolution-Based Decision Procedures for Subclasses of First-Order Logic
    Ullrich Hustadt
    Doctoral dissertation, Universität des Saarlandes, 1999
    
15. 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
    
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. 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
    
12. 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
    
11. Introducing Epistemic Operators into a Description Logic
    Ullrich Hustadt
    In: Knowledge and Belief in Philosophie and Artificial Intelligence, 1995, 65-85
    
10. 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
    
9. A Multi-Modal Logic for Stereotyping
   Ullrich Hustadt
   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
   
8. Common and Mutual Belief for Agent Modeling
   Ullrich Hustadt
   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
   
7. Common and Mutual Belief for Agent Modeling
   Ullrich Hustadt
   In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 123-124
   
6. 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
   
5. Do we need the closed-world assumption in knowledge representation?
   Ullrich Hustadt
   In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 293-294
   
4. Do we need the closed-world assumption in knowledge representation?
   Ullrich Hustadt
   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
   
3. Abductive Disjunctive Logic Programming
   Ullrich Hustadt
   In: ICLP '93 Postconference Workshop on Abductive Reasoning, Budapest, Hungary, 1993
   
2. Automated Support for the Development of Non-classical Logics
   Ullrich Hustadt
   In: Workshop: Modellierung epistemischer Propositionen, KI '93, 1993. Note: To appear as Research Report of DFKI
   
1. Modalities in Knowledge Representation
   Ullrich Hustadt and Andreas Nonnengart
   In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), Melbourne, Australia, Summer, 1993, 249-254