# | | Year | Author(s) [non member] | | Title | Type | |
| | 2003 | Schmidt, Renate A.
[Hustadt, Ullrich] | | A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426 | Proceedings Article | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | A New Clausal Class Decidable by Hyperresolution | Report | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | Proceedings Article | |
| | 2002 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich] | | Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic | Unpublished/Draft | |
| | 2002 | [Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.] | | On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | Part of a Book | |
| | 2001 | [Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel] | | Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book | |
| | 2000 | de Nivelle, Hans
Hustadt, Ullrich
[Schmidt, Renate A.] | | Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292 | Journal Article | |
| | 1999 | Hustadt, Ullrich
Schmidt, Renate A. | | An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522 | Journal Article | |
| | 1999 | Hustadt, Ullrich
Schmidt, Renate A. | | Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Proceedings Article | |
| | 1999 | Hustadt, Ullrich
Schmidt, Renate A. | | 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), 110-115 | Proceedings Article | |
| | 1999 | Hustadt, Ullrich | | Resolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1998 | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | | Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | Proceedings Article | |
| | 1998 | Hustadt, Ullrich
Schmidt, Renate A. | | Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201 | Proceedings Article | |
| | 1997 | Hustadt, Ullrich
Schmidt, Renate A. | | On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207 | Proceedings Article | |
| | 1996 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book | |
| | 1995 | Hustadt, Ullrich | | Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85 | Part of a Book | |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | A Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), | Proceedings Article | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | | 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), 24-26 | Proceedings Article | |
| | 1993 | Hustadt, Ullrich | | Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Proceedings Article | |
| | 1993 | Hustadt, Ullrich | | Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93, | Proceedings Article | |
| | 1993 | Hustadt, Ullrich
Nonnengart, Andreas | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article | |
1 |
| |
1 |
| Ianni, Giovambattista (ed.) |
| |
1 |
| |