Publikationen von Susanne Biundo

2004

• Andreas Meier; Erica Melis
  Meta Reasoning in Multiple-Strategy Proof Planning.
  In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). September 20-24, Ulm, Germany, Pages 84-98, Lecture Notes in Computer Science (LNCS), Vol. 3238, No. 2004-03, ISBN 3-540-23166-8, Springer, Berlin, 9/2004.

1997

• Susanne Biundo; Werner Stephan
  System Assistance in Structured Domain Model Development.
  In: Proceedings 15th International Joint Conference on Artificial Intelligence. August 23-29, Nagoya, Japan, Pages 1240-1245, Vol. 2, Morgan Kaufmann, 1997.

1996

• Susanne Biundo; Werner Stephan
  Modelling Planning Domains Systematically.
  In: Wolfgang Wahlster (Hrsg.). Proceedings European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96), Pages 599-603, John Wiley & Sons, 1996.
• Werner Stephan; Susanne Biundo
  Deduction-Based Refinement Planning.
  In: Brian Drabble (Hrsg.). Proceedings The Third International Conference on Artificial Intelligence Planning Systems. AIPS-96, May 20-31, Edinburgh, United Kingdom, Pages 213-220, AAAI-Press, 1996.

1995

• Susanne Biundo; Wolfgang Tank (Hrsg.)
  Beiträge zum Workshop "Planen und Konfigurieren", Februar 1995 .
  DFKI, DFKI Documents (D), Vol. 95-01, 1995.
• Werner Stephan; Susanne Biundo
  Deduction-based Refinement Planning.
  DFKI, DFKI Research Reports (RR), Vol. 95-13, 1995.

1992

• Susanne Biundo; Franz Schmalhofer (Hrsg.)
  Proceedings of the DFKI Workshop on Planning.
  DFKI, DFKI Documents (D), Vol. 92-07, 1992.
• Susanne Biundo; Dietmar Dengler; Jana Köhler
  Deductive Planning and Plan Reuse in a Command Language Environment.
  DFKI, DFKI Research Reports (RR), Vol. 92-11, 1992.
• Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Köhler; Gabriele Paul
  PHI - A Logic-Based Tool for Intelligent Help Systems.
  DFKI, DFKI Research Reports (RR), Vol. 92-52, 1992.
• Werner Stephan; Susanne Biundo
  A New Logical Framework for Deductive Planning.
  DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

1991

• Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Köhler; G. Merziger
  Integrated Plan Generation and Recognition - A Logic-Based Approach.
  DFKI, DFKI Research Reports (RR), Vol. 91-26, 1991.

1990

• Susanne Biundo
  Plan Generation Using a Method of Deductive Program Synthesis.
  DFKI, DFKI Research Reports (RR), Vol. 90-09, 1990.

1986

• Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther
  The Karlsruhe Induction Theorem Proving System.
  In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer Verlag, London, 1986.