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

Publications Master Template, generated: 16:22, 20 January 2020

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. 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]
  2. 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
  3. Ullrich Hustadt
    Introducing Epistemic Operators into a Description Logic
    In: Knowledge and Belief in Philosophie and Artificial Intelligence, 1995, 65-85