MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1998Hustadt, 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
1997Hustadt, 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
1996Ohlbach, 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
1995Hustadt, UllrichIntroducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85		Part of a Book
1995Ohlbach, 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
1994Hustadt, UllrichA Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92		Proceedings Article
1994Hustadt, UllrichCommon and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124		Proceedings Article
1994Hustadt, UllrichCommon and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94),		Proceedings Article
1994Fehrer, 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
1994Hustadt, UllrichDo we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294		Proceedings Article
1994Hustadt, UllrichDo 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
1993Hustadt, UllrichAbductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?		Proceedings Article
1993Hustadt, UllrichAutomated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93,		Proceedings Article
1993Hustadt, 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
Show details for Hutter, Dieter (ed.)Hutter, Dieter (ed.)
1
Show details for Ianni, Giovambattista (ed.)Ianni, Giovambattista (ed.)
1
Show details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
1
Show details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1
Show details for Ito, T. (ed.)Ito, T. (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
4
Show details for Jacobs, SwenJacobs, Swen
4
Show details for Jacquemard, FlorentJacquemard, Florent
23
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1
Show details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1
Show details for Jancar, Petr (ed.)Jancar, Petr (ed.)
1
Show details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1
Show details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
1
Show details for Jaulin, LucJaulin, Luc

Next Page