M. Bauer: Justification of Plan Recognition Results ECAI 96, pages 647-651.

D. Dengler: Customized Plans Transmitted by Flexible Refinement ECAI 96, pages 609-613.

D. Dengler: Plan Execution in a Temporal Logic Environment Papers from AAAI Fall Symposium 96, Technical Report FS-96-01, pages 41-47.

M. Bauer: Approximations for Decision Making in the Dempster-Shafer Theory of Evidence UAI 96.

M. Bauer: Machine Learning for User Modeling and Plan Recognition Working Notes of the ICML 96 Workshop "ML meets HCI".

M. Bauer: Acquisition of User Preferences for Plan Recognition UM 96, pages 105-112.

M. Bauer: A Dempster-Shafer Approach to Modeling User Preferences for Plan Recognition User Modeling and User-Adapted Interaction, 5(3-4), pages 317-348, 1995.

H. Feibel: IGLOO - A Graphic Supported Proof Development System. Working Notes, 3. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" 94, pages 55-64.

M. Bauer: Integrating Probabilistic Reasoning into Plan Recognition. ECAI 94, pages 620-624.

M. Bauer: Quantitative Modeling of User Preferences for Plan Recognition. UM-94 , pages 73-78.

D. Dengler: An Adaptive Deductive Planning System. ECAI-94 , pages 610-614.

J. Köhler: Correct Modification of Complex Plans. ECAI-94, pages 605-609.

J. Köhler: Avoiding Pitfalls in Case-based Planning. AIPS-94, pages 104-109.

J. Köhler: An Application of Terminological Logics to Case-based Reasoning. KR-94, pages 351-362.

M. Bauer, S. Biundo, D. Dengler, J. Köhler, G. Merziger: PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI-93, pages 460-466.

W. Stephan, S. Biundo: A New Logical Framework for Deductive Planning. IJCAI-93, pages 32-38.

M. Bauer, G. Paul: Logic-based Plan Recognition for Intelligent Help Systems. EWSP-93, pages 60-73.

S. Biundo: Present-Day Deductive Planning. Invited Talk, EWSP-93, pages 1-5.

J. Köhler: Flexible Plan Reuse in a Formal Framework. EWSP-93, pages 171-184.

B. Nebel, J. Köhler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. IJCAI-93, pages 1436-1441.

G. Paul: Approaches to Abductive Reasoning: An Overview. AI Review 7(1993), pages 109-152.

M. Bauer: Implementation of Temporal Modalities in MVL. AAAI-92, Workshop on Implementing Temporal Reasoning.

M. Bauer: An Interval-based Temporal Logic in a Multivalued Setting CADE-92, pages 355-369.

S. Biundo, D. Dengler, J. Köhler: Deductive Planning and Plan Reuse in a Command Language Environment. ECAI-92, pages 628-632.

contact: biundo@dfki.uni-sb.de last change: 01/14/97