Search the dblp DataBase

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]