# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
| | 1998 | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | [de Swart, Harrie] | | 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 | |
| | 1997 | Hustadt, Ullrich
Schmidt, Renate A. | Pollack, Martha E. | | 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 | [Wansing, H.] | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book | |
| | 1995 | Hustadt, Ullrich | [Laux, Arnim]
[Wansing, Heinrich] | | 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 | [Borgida, A.]
[Lenzerini, M.]
[Nardi, D.]
[Nebel, B.] | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | [Baader, Franz]
[Lenzerini, Maurizio]
[Nutt, Werner]
[Patel-Schneider, Peter F.] | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | 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 | Baader, Franz
Buchheit, Martin
Jeusfeld, Manfred A.
Nutt, Werner | | 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 | |
| | 1994 | Hustadt, Ullrich | Kunze, Jürgen
Stoyan, Herbert | | Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | Kunze, Jürgen
Stoyan, Herbert | | Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294 | Proceedings Article | |
| | 1994 | Hustadt, Ullrich | Laux, Arnim
Wansing, Heinrich | | 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 | |
| | 1993 | Hustadt, Ullrich | Bürckert, Hans-Jürgen
Nutt, Werner | | Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93, | Proceedings Article | |
| | 1993 | Hustadt, Ullrich | Codognet, P.
Dung, P. M.
Kakas, A. C.
Mancarella, P. | | Abductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ? | Proceedings Article | |
| | 1993 | Hustadt, Ullrich
Nonnengart, Andreas | [Rowles, C.]
[Liu, H.]
[Foo, N.] | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article | |
1 |
| Hutter, Dieter (ed.) |
| |
1 |
| Ianni, Giovambattista (ed.) |
| |
1 |
| Ida, Tetsuo (ed.) |
| |
1 |
| |
1 |
| Ito, T. (ed.) |
| |
1 |
| |
2 |
| Iturrioz, Luisa (ed.) |
| |
4 |
| |
4 |
| Jacquemard, Florent |
| |
23 |
| |
1 |
| Jaffar, Joxan (ed.) |
| |
1 |
| |
1 |
| Jancar, Petr (ed.) |
| |
1 |
| |
1 |
| Jarrar, Mustafa (ed.) |
| |
1 |
| |