Publikationen von Daniel Hausmann

2010

  • Daniel Hausmann; Lutz Schröder
    Optimizing Conditional Logic Reasoning within CoLoSS.
    In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for Modalities, November 12-14, Kopenhagen, Denmark, Pages 157-171, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 262, Elsevier, Amsterdam, 5/2010.
  • Lutz Schröder; Dirk Pattinson; Daniel Hausmann
    Optimal Tableaux for Conditional Logics with Cautious Monotonicity.
    In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010.

2009

  • Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter
    The Importance of Being Formal.
    In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009.
  • Daniel Hausmann; Lutz Schröder
    Optimizing Conditional Logic Reasoning within CoLoSS.
    In: Thomas Bolander; Torben Braüner (Hrsg.). Proceedings of the 6th Workshop on Methods for Modalities. Methods for Modalities (M4M-6), November 12-14, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Amsterdam, 2009.

2008

2006

2005

  • Daniel Hausmann; Till Mossakowski; Lutz Schröder
    Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus.
    In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 232-246, Lecture Notes in Computer Science (LNCS), Vol. 3629, ISBN 3-540-28620-9, Springer, Berlin, 2005.