DFKI Publications by Bauer, Mathias

RR-91-26

with S. Biundo , D. Dengler , M. Hecking , J. Koehler , G. Merziger
Integrated Plan Generation and Recognition - A Logic-Based Approach -

RR-92-10

An Interval-based Temporal Logic in a Multivalued Setting

RR-92-52

with Susanne Biundo , Dietmar Dengler , Jana Koehler , Gabriele Paul
PHI - A Logic-Based Tool for Intelligent Help Systems

RR-93-43

with G. Paul
Logic-based Plan Recognition for Intelligent Help Systems

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.