Skip to content

Susanne Biundo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

49

Venues

14

Active years

1986–2021

Best venue rank

A*

Where they publish

Papers

49 indexed papers, newest first.

YearVenueTitleAuthors
2021AAAIRevealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.Conny Olz, Susanne Biundo, Pascal Bercher
2020AAAIOn Succinct Groundings of HTN Planning Problems.Gregor Behnke, Daniel Hller, Alexander Schmid, Pascal Bercher, Susanne Biundo
2020AAAIHDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
2020ICMI"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
2020KIHTN Plan Repair via Model Transformation.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2019AAAIBringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.Gregor Behnke, Daniel Hller, Susanne Biundo
2019IJCAIFinding Optimal Solutions in HTN Planning - A SAT-based Approach.Gregor Behnke, Daniel Hller, Susanne Biundo
2019IJCAIOn Guiding Search in HTN Planning with Classical Planning Heuristics.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018AAAItotSAT - Totally-Ordered Hierarchical Planning Through SAT.Gregor Behnke, Daniel Hller, Susanne Biundo
2018AAAIPlan and Goal Recognition as HTN Planning.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018IJCAIInstructing Novice Users on How to Use Tools in DIY Projects.Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2018ICTAITracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.Gregor Behnke, Daniel Hller, Susanne Biundo
2018ICTAIPlan and Goal Recognition as HTN Planning.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2017IJCAIAn Admissible HTN Planning Heuristic.Pascal Bercher, Gregor Behnke, Daniel Hller, Susanne Biundo
2016ECAIMore than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.Pascal Bercher, Daniel Hller, Gregor Behnke, Susanne Biundo
2015AAAIA Planning-Based Assistance System for Setting Up a Home Theater.Pascal Bercher, Felix Richter, Thilo Hrnle, Thomas Geier, Daniel Hller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
2015IJCAICoherence Across Components in Cognitive Systems - One Ontology to Rule Them All.Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
2015UAILocally Conditioned Belief Propagation.Thomas Geier, Felix Richter, Susanne Biundo
2015SIGdialThe Interplay of User-Centered Dialog Systems and AI Planning.Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
2014ECAIConditioned Belief Propagation Revisited.Thomas Geier, Felix Richter, Susanne Biundo
2014ECAILanguage Classification of Hierarchical Planning Problems.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2014SoCSHybrid Planning Heuristics Based on Task Decomposition Graphs.Pascal Bercher, Shawn Keen, Susanne Biundo
2013ICTAIOn Delete Relaxation in Partial-Order Causal-Link Planning.Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
2013ICTAIRecognizing User Preferences Based on Layered Activity Recognition and First-Order Logic.Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Gnther Palm
2013KIUsing State-Based Planning Heuristics for Partial-Order Causal-Link Planning.Pascal Bercher, Thomas Geier, Susanne Biundo
2012AAAIImproving Hierarchical Planning Performance by the Use of Landmarks.Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
2012ECAIExploiting Expert Knowledge in Factored POMDPs.Felix Mller, Christian Spth, Thomas Geier, Susanne Biundo
2012FlAIRSA Heuristic for Hybrid Planning with Preferences.Pascal Bercher, Susanne Biundo
2012ICTAITrack-Person Association Using a First-Order Probabilistic Model.Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer
2012UAIGoal-Based Person Tracking Using a First-Order Probabilistic Model.Thomas Geier, Stephan Reuter, Klaus Dietmayer, Susanne Biundo
2011GIWorkshop: Companion-Systeme und Mensch-Companion-Interaktion.Susanne Biundo, Dietmar F. Rsner, Harald C. Traue, Andreas Wendemuth
2011ICTAIApproximate Online Inference for Dynamic Markov Logic Networks.Thomas Geier, Susanne Biundo
2011KIHTN-Style Planning in Relational POMDPs Using First-Order FSCs.Felix Mller, Susanne Biundo
2010ECAILandmarks in Hierarchical Planning.Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo
2009KIA Framework for Interactive Hybrid Planning.Bernd Schattenberg, Julien Bidot, Sascha Geler, Susanne Biundo
2008KIPlan Repair in Hybrid Planning.Julien Bidot, Bernd Schattenberg, Susanne Biundo
2007KIOn the Construction and Evaluation of Flexible Plan-Refinement Strategies.Bernd Schattenberg, Julien Bidot, Susanne Biundo
2006KIA Unifying Framework for Hybrid Planning and Scheduling.Bernd Schattenberg, Susanne Biundo
2005KIHybrid Planning Using Flexible Strategies.Bernd Schattenberg, Andreas Weigl, Susanne Biundo
1997IJCAISystem Assistance in Structured Domain Model Development.Susanne Biundo, Werner Stephan
1996ECAIModeling Planning Domains Systematically.Susanne Biundo, Werner Stephan
1995EPIAMultilevel Refinement Planning in an Interval-Based Temporal Logic.Werner Stephan, Susanne Biundo
1993IJCAIPHI - A Logic-Based Tool for Intelligent Help Systems.Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
1993IJCAIA New Logical framework for Deductive Planning.Werner Stephan, Susanne Biundo
1992ECAIDeductive Planning and Plan Reuse in a Command Language Environment.Susanne Biundo, Dietmar Dengler, Jana Koehler
1991WIIntegrated Plan Generation and Recognition - A Logic-Based Approach.Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger
1988ECAIAutomated Synthesis of Recursive Algorithms as a Theorem Proving Tool.Susanne Biundo
1986CADEThe Karlsruhe Induction Theorem Proving System.Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther
1986ECAIA Synthesis System Mechanizing Proofs by Induction.Susanne Biundo