| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Susanne Biundo, Julien Bidot, Bernd Schattenberg |
Planning in the Real World.  |
Informatik Spektrum  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg |
Advanced user assistance based on AI planning. |
Cognitive Systems Research |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elkawkagy, Susanne Biundo |
Hybrid Multi-agent Planning. |
MATES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Geier, Susanne Biundo |
Approximate Online Inference for Dynamic Markov Logic Networks. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Müller, Susanne Biundo |
HTN-Style Planning in Relational POMDPs Using First-Order FSCs. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo, Andreas Wendemuth |
Von kognitiven technischen Systemen zu Companion-Systemen. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo |
Landmarks in Hierarchical Planning. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo |
A Framework for Interactive Hybrid Planning. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bidot, Bernd Schattenberg, Susanne Biundo |
Plan Repair in Hybrid Planning. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Schattenberg, Steffen Balzer, Susanne Biundo |
Realizing Hybrid Planning Systems as Modern Software Environments. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Schattenberg, Julien Bidot, Susanne Biundo |
On the Construction and Evaluation of Flexible Plan-Refinement Strategies. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo, Volker Claus, Heinrich C. Mayr |
Was ist Informatik? - unser Positionspapier. |
|
2006 |
RDF |
|
| 1 | Bernd Schattenberg, Steffen Balzer, Susanne Biundo |
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. |
ICAPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernd Schattenberg, Susanne Biundo |
A Unifying Framework for Hybrid Planning and Scheduling. |
KI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo, Karen L. Myers, Kanna Rajan (eds.) |
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA |
ICAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernd Schattenberg, Andreas Weigl, Susanne Biundo |
Hybrid Planning Using Flexible Strategies. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo, Thom W. Frühwirth, Günther Palm (eds.) |
KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings |
KI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernd Schattenberg, Susanne Biundo |
On the Identification and Use of Hierarchical Resources in Planning and Scheduling. |
AIPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo, Maria Fox (eds.) |
Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings |
ECP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo, Werner Stephan |
System Assistance in Structured Domain Model Development. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo, Werner Stephan |
Modeling Planning Domains Systematically. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Werner Stephan, Susanne Biundo |
Deduction-Based Refinement Planning. |
AIPS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Werner Stephan, Susanne Biundo |
Multilevel Refinement Planning in an Interval-Based Temporal Logic. |
EPIA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul |
The System PH. |
PuK |
1994 |
DBLP BibTeX RDF |
|
| 1 | Werner Stephan, Susanne Biundo |
A New Logical framework for Deductive Planning. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul |
PHI - A Logic-Based Tool for Intelligent Help Systems. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Werner Stephan, Susanne Biundo |
A New Logical Framework for deductive Planning. |
PuK |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul |
PHI - A Logica-Based Tool for Intelligent Help Systems. |
PuK |
1993 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo |
Automatische Synthese rekursiver Programme als Beweisverfahren |
|
1992 |
RDF |
|
| 1 | Susanne Biundo, Dietmar Dengler, Jana Koehler |
Deductive Planning and Plan Reuse in a Command Language Environment. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger |
Integrated Plan Generation and Recognition - A Logic-Based Approach. |
Wissensbasierte Systeme |
1991 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo |
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther |
The Karlsruhe Induction Theorem Proving System. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Biundo |
A Synthesis System Mechanizing Proofs by Induction. |
ECAI |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")