The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susanne Biundo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernd Schattenberg, Susanne Biundo
    On the Identification and Use of Hierarchical Resources in Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
    AIPS, 2002, pp:263-273 [Conf]
  2. Werner Stephan, Susanne Biundo
    Deduction-Based Refinement Planning. [Citation Graph (0, 0)][DBLP]
    AIPS, 1996, pp:213-220 [Conf]
  3. Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther
    The Karlsruhe Induction Theorem Proving System. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:672-674 [Conf]
  4. Susanne Biundo
    A Synthesis System Mechanizing Proofs by Induction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1986, pp:287-296 [Conf]
  5. Susanne Biundo
    Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:553-558 [Conf]
  6. Susanne Biundo, Dietmar Dengler, Jana Koehler
    Deductive Planning and Plan Reuse in a Command Language Environment. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:628-632 [Conf]
  7. Susanne Biundo, Werner Stephan
    Modeling Planning Domains Systematically. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:599-603 [Conf]
  8. Werner Stephan, Susanne Biundo
    Multilevel Refinement Planning in an Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:483-487 [Conf]
  9. Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
    PHI - A Logic-Based Tool for Intelligent Help Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:460-466 [Conf]
  10. Susanne Biundo, Werner Stephan
    System Assistance in Structured Domain Model Development. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1240-1245 [Conf]
  11. Werner Stephan, Susanne Biundo
    A New Logical framework for Deductive Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:32-38 [Conf]
  12. Bernd Schattenberg, Andreas Weigl, Susanne Biundo
    Hybrid Planning Using Flexible Strategies. [Citation Graph (0, 0)][DBLP]
    KI, 2005, pp:249-263 [Conf]
  13. Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
    PHI - A Logica-Based Tool for Intelligent Help Systems. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:39-50 [Conf]
  14. Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
    The System PH. [Citation Graph (0, 0)][DBLP]
    PuK, 1994, pp:155- [Conf]
  15. Werner Stephan, Susanne Biundo
    A New Logical Framework for deductive Planning. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:27-38 [Conf]
  16. Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger
    Integrated Plan Generation and Recognition - A Logic-Based Approach. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:266-277 [Conf]
  17. Bernd Schattenberg, Steffen Balzer, Susanne Biundo
    Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:422-425 [Conf]
  18. Bernd Schattenberg, Julien Bidot, Susanne Biundo
    On the Construction and Evaluation of Flexible Plan-Refinement Strategies. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:367-381 [Conf]
  19. Bernd Schattenberg, Susanne Biundo
    A Unifying Framework for Hybrid Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:361-373 [Conf]

  20. Landmarks in Hierarchical Planning. [Citation Graph (, )][DBLP]


  21. Plan Repair in Hybrid Planning. [Citation Graph (, )][DBLP]


  22. A Framework for Interactive Hybrid Planning. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002