Susanne Biundo

109 papers A* 26A 11B 8Misc 11Journal 17Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems. J. Artif. Intell. Res. Conny Olz, Alexander Lodemann, Benedikt Jutz, Mario Schmautz, Maximilian Borowiec, Susanne Biundo, Pascal Bercher
2021	J	`jnl`	Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2021	A*	`ed.`	Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021 ICAPS Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhuo
2021	J	`jnl`	Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford
2021	A*	`conf`	Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI Conny Olz, Susanne Biundo, Pascal Bercher
2021	J	`jnl`	The PANDA Framework for Hierarchical Planning. Künstliche Intell. Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2020	B	`conf`	"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
2020	A*	`conf`	HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
2020	Misc	`conf`	HTN Plan Repair via Model Transformation. KI Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020	J	`jnl`	HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020	A*	`conf`	New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo
2020	A*	`conf`	On Succinct Groundings of HTN Planning Problems. AAAI Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
2019	J	`jnl`	Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
2019	A*	`conf`	Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI Gregor Behnke, Daniel Höller, Susanne Biundo
2019	A*	`conf`	Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI Gregor Behnke, Daniel Höller, Susanne Biundo
2019	J	`jnl`	HDDL - A Language to Describe Hierarchical Planning Problems. CoRR Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019	J	`jnl`	Hierarchical Planning in the IPC. CoRR Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019	A*	`conf`	On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	A*	`conf`	A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	—	`conf`	A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018	—	`conf`	Evaluating Knowledge-Based Assistance for DIY. MuC (Workshopband) Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018	A*	`conf`	Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2018	—	`conf`	Plan and Goal Recognition as HTN Planning. AAAI Workshops Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	B	`conf`	Plan and Goal Recognition as HTN Planning. ICTAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2018	B	`conf`	Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI Gregor Behnke, Daniel Höller, Susanne Biundo
2018	J	`jnl`	X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artif. Gregor Behnke, Susanne Biundo
2018	A*	`conf`	totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`conf`	A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017	—	`ch.`	Addressing Uncertainty in Hierarchical User-Centered Planning. Companion Technology Felix Richter, Susanne Biundo
2017	—	`ch.`	Advanced User Assistance for Setting Up a Home Theater. Companion Technology Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo
2017	A*	`conf`	An Admissible HTN Planning Heuristic. IJCAI Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`ch.`	An Introduction to Companion-Technology. Companion Technology Susanne Biundo, Andreas Wendemuth
2017	—	`book`	Companion Technology - A Paradigm Shift in Human-Technology Interaction Companion Technology Susanne Biundo, Andreas Wendemuth
2017	—	`ch.`	Companion-Systems: A Reference Architecture. Companion Technology Thilo Hörnle, Michael Tornow, Frank Honold, Reinhard Schwegler, Ralph Heinemann, Susanne Biundo, Andreas Wendemuth
2017	—	`conf`	Help me make a dinner! Challenges when assisting humans in action planning. ICCT Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo
2017	—	`ch.`	Multi-level Knowledge Processing in Cognitive Technical Systems. Companion Technology Thomas Geier, Susanne Biundo
2017	—	`conf`	Sloth - The interactive workout planner. ICCT Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017	A*	`conf`	This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`ch.`	To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo
2017	—	`ch.`	User-Centered Planning. Companion Technology Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016	A*	`conf`	Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2016	A*	`conf`	Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
2016	A*	`conf`	Change the Plan - How Hard Can That Be? ICAPS Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
2016	J	`jnl`	Companion-Technology for Cognitive Technical Systems. Künstliche Intell. Susanne Biundo, Andreas Wendemuth
2016	J	`jnl`	Companion-Technology: An Overview. Künstliche Intell. Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher
2016	A	`conf`	More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016	—	`conf`	On Stacking Probabilistic Temporal Models with Bidirectional Information Flow. Probabilistic Graphical Models Michael Glodek, Georg Layher, Heiko Neumann, Susanne Biundo, Günther Palm
2016	J	`jnl`	Special Issue on Companion Technologies. Künstliche Intell. Susanne Biundo, Daniel Höller, Pascal Bercher
2015	A*	`conf`	A Planning-Based Assistance System for Setting Up a Home Theater. AAAI Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
2015	—	`conf`	A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
2015	—	`conf`	Believing in POMDPs. ISCT Felix Richter, Thomas Geier, Susanne Biundo
2015	A*	`conf`	Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
2015	J	`jnl`	Fusion paradigms in cognitive technical systems for human-computer interaction. Neurocomputing Michael Glodek, Frank Honold, Thomas Geier, Gerald Krell, Florian Nothdurft, Stephan Reuter, Felix Schüssel, Thilo Hörnle, Klaus Dietmayer, Wolfgang Minker, Susanne Biundo, Michael Weber, Günther Palm, Friedhelm Schwenker
2015	—	`conf`	Integrating Ontologies and Planning for Cognitive Systems. Description Logics Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
2015	A	`conf`	Locally Conditioned Belief Propagation. UAI Thomas Geier, Felix Richter, Susanne Biundo
2015	A*	`conf`	On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS Gregor Behnke, Daniel Höller, Susanne Biundo
2015	—	`conf`	The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
2015	—	`conf`	User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2014	A	`conf`	Conditioned Belief Propagation Revisited. ECAI Thomas Geier, Felix Richter, Susanne Biundo
2014	B	`conf`	Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS Pascal Bercher, Shawn Keen, Susanne Biundo
2014	A	`conf`	Language Classification of Hierarchical Planning Problems. ECAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2014	A*	`conf`	Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. ICAPS Pascal Bercher, Susanne Biundo, Thomas Geier, Thilo Hoernle, Florian Nothdurft, Felix Richter, Bernd Schattenberg
2013	B	`conf`	On Delete Relaxation in Partial-Order Causal-Link Planning. ICTAI Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
2013	B	`conf`	Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. ICTAI Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm
2013	Misc	`conf`	Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI Pascal Bercher, Thomas Geier, Susanne Biundo
2012	Misc	`conf`	A Heuristic for Hybrid Planning with Preferences. FLAIRS Pascal Bercher, Susanne Biundo
2012	A	`conf`	Exploiting Expert Knowledge in Factored POMDPs. ECAI Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo
2012	—	`conf`	Goal-Based Person Tracking Using a First-Order Probabilistic Model. BMA Thomas Geier, Stephan Reuter, Klaus Dietmayer, Susanne Biundo
2012	A*	`conf`	Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
2012	A*	`conf`	Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS Bastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo
2012	B	`conf`	Track-Person Association Using a First-Order Probabilistic Model. ICTAI Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer
2011	—	`conf`	A Companion Technology for Cognitive Technical Systems. COST 2102 Training School Andreas Wendemuth, Susanne Biundo
2011	J	`jnl`	Advanced user assistance based on AI planning. Cogn. Syst. Res. Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg
2011	B	`conf`	Approximate Online Inference for Dynamic Markov Logic Networks. ICTAI Thomas Geier, Susanne Biundo
2011	Misc	`conf`	HTN-Style Planning in Relational POMDPs Using First-Order FSCs. KI Felix Müller, Susanne Biundo
2011	—	`conf`	Hybrid Multi-agent Planning. MATES Mohamed Elkawkagy, Susanne Biundo
2011	J	`jnl`	Planning in the Real World. Inform. Spektrum Susanne Biundo, Julien Bidot, Bernd Schattenberg
2011	—	`conf`	Workshop: Companion-Systeme und Mensch-Companion-Interaktion. GI-Jahrestagung Susanne Biundo, Dietmar F. Rösner, Harald C. Traue, Andreas Wendemuth
2010	A	`conf`	Landmarks in Hierarchical Planning. ECAI Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo
2010	—	`conf`	Verbal Plan Explanations for Hybrid Planning. MKWI Julien Bidot, Susanne Biundo, Tobias Heinroth, Wolfgang Minker, Florian Nothdurft, Bernd Schattenberg
2010	J	`jnl`	Von kognitiven technischen Systemen zu Künstliche Intell. Susanne Biundo, Andreas Wendemuth
2009	Misc	`conf`	A Framework for Interactive Hybrid Planning. KI Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo
2008	Misc	`conf`	Plan Repair in Hybrid Planning. KI Julien Bidot, Bernd Schattenberg, Susanne Biundo
2007	Misc	`conf`	On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI Bernd Schattenberg, Julien Bidot, Susanne Biundo
2007	J	`jnl`	Realizing Hybrid Planning Systems as Modern Software Environments. Künstliche Intell. Bernd Schattenberg, Steffen Balzer, Susanne Biundo
2006	Misc	`conf`	A Unifying Framework for Hybrid Planning and Scheduling. KI Bernd Schattenberg, Susanne Biundo
2006	A*	`conf`	Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS Bernd Schattenberg, Steffen Balzer, Susanne Biundo
2006	—	`book`	Was ist Informatik? - unser Positionspapier. Susanne Biundo, Volker Claus, Heinrich C. Mayr
2005	Misc	`conf`	Hybrid Planning Using Flexible Strategies. KI Bernd Schattenberg, Andreas Weigl, Susanne Biundo
2005	A*	`ed.`	Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA ICAPS Susanne Biundo, Karen L. Myers, Kanna Rajan
2004	Misc	`ed.`	KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings KI Susanne Biundo, Thom W. Frühwirth, Günther Palm
2002	—	`conf`	On the Identification and Use of Hierarchical Resources in Planning and Scheduling. AIPS Bernd Schattenberg, Susanne Biundo
2000	—	`ed.`	Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings ECP Susanne Biundo, Maria Fox
1997	—	`conf`	System Assistance in Structured Domain Model Development. IJCAI Susanne Biundo, Werner Stephan
1996	—	`conf`	Deduction-Based Refinement Planning. AIPS Werner Stephan, Susanne Biundo
1996	A	`conf`	Modeling Planning Domains Systematically. ECAI Susanne Biundo, Werner Stephan
1995	Misc	`conf`	Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA Werner Stephan, Susanne Biundo
1994	—	`conf`	The System PH. PuK Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
1993	—	`conf`	A New Logical Framework for deductive Planning. PuK Werner Stephan, Susanne Biundo
1993	A*	`conf`	A New Logical framework for Deductive Planning. IJCAI Werner Stephan, Susanne Biundo
1993	A*	`conf`	PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
1993	—	`conf`	PHI - A Logica-Based Tool for Intelligent Help Systems. PuK Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul
1992	—	`book`	Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo
1992	—	`—`	Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo
1992	A	`conf`	Deductive Planning and Plan Reuse in a Command Language Environment. ECAI Susanne Biundo, Dietmar Dengler, Jana Koehler
1991	—	`conf`	Integrated Plan Generation and Recognition - A Logic-Based Approach. Wissensbasierte Systeme Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger
1988	A	`conf`	Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI Susanne Biundo
1986	A	`conf`	A Synthesis System Mechanizing Proofs by Induction. ECAI Susanne Biundo
1986	A	`conf`	The Karlsruhe Induction Theorem Proving System. CADE Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther