Susanne Biundo-Stephan

Künstliche Intell., 2021

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling.

[BibT_eX]

[DOI]

AI Mag., 2021

Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.

[BibT_eX]

[DOI]

Conny Olz

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

HTN Planning as Heuristic Progression Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

HTN Plan Repair via Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.

[BibT_eX]

[DOI]

Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

On Succinct Groundings of HTN Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

HDDL - A Language to Describe Hierarchical Planning Problems.

[BibT_eX]

[DOI]

CoRR, 2019

Hierarchical Planning in the IPC.

[BibT_eX]

[DOI]

CoRR, 2019

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects.

[BibT_eX]

[DOI]

AI Commun., 2019

On Guiding Search in HTN Planning with Classical Planning Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Finding Optimal Solutions in HTN Planning - A SAT-based Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.

[BibT_eX]

[DOI]

Inteligencia Artif., 2018

Evaluating Knowledge-Based Assistance for DIY.

[BibT_eX]

[DOI]

Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Spoken Dialogue System Technology, 2018

Instructing Novice Users on How to Use Tools in DIY Projects.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

A Generic Method to Guide HTN Progression Search with Classical Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Plan and Goal Recognition as HTN Planning.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

totSAT - Totally-Ordered Hierarchical Planning Through SAT.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Addressing Uncertainty in Hierarchical User-Centered Planning.

[BibT_eX]

[DOI]

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

Companion-Systems: A Reference Architecture.

[BibT_eX]

[DOI]

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

Multi-level Knowledge Processing in Cognitive Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

An Introduction to Companion-Technology.

[BibT_eX]

[DOI]

Andreas Wendemuth

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

Advanced User Assistance for Setting Up a Home Theater.

[BibT_eX]

[DOI]

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

User-Centered Planning.

[BibT_eX]

[DOI]

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.

[BibT_eX]

[DOI]

Florian Nielsen

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

An Admissible HTN Planning Heuristic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A paradigm for coupling procedural and conceptual knowledge in companion systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.

[BibT_eX]

[DOI]

Florian Nielsen

Proceedings of the International Conference on Companion Technology, 2017

Help me make a dinner! Challenges when assisting humans in action planning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Companion Technology, 2017

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Companion-Technology for Cognitive Technical Systems.

[BibT_eX]

[DOI]

Andreas Wendemuth

Künstliche Intell., 2016

Companion-Technology: An Overview.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

Special Issue on Companion Technologies.

[BibT_eX]

[DOI]

Künstliche Intell., 2016

On Stacking Probabilistic Temporal Models with Bidirectional Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Change the Plan - How Hard Can That Be?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Fusion paradigms in cognitive technical systems for human-computer interaction.

[BibT_eX]

[DOI]

Neurocomputing, 2015

Locally Conditioned Belief Propagation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

The Interplay of User-Centered Dialog Systems and AI Planning.

[BibT_eX]

[DOI]

Proceedings of the SIGDIAL 2015 Conference, 2015

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.

[BibT_eX]

[DOI]

Denis K. Ponomaryov

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Integrating Ontologies and Planning for Cognitive Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Believing in POMDPs.

[BibT_eX]

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

User-Centered Planning - A Discussion on Planning in the Presence of Human Users.

[BibT_eX]

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.

[BibT_eX]

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

A Planning-Based Assistance System for Setting Up a Home Theater.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Hybrid Planning Heuristics Based on Task Decomposition Graphs.

[BibT_eX]

[DOI]

Shawn Keen

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems.

[BibT_eX]

[DOI]

Susanne Biundo-Stephan

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

Language Classification of Hierarchical Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Conditioned Belief Propagation Revisited.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning.

[BibT_eX]

[DOI]

Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

On Delete Relaxation in Partial-Order Causal-Link Planning.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Interpreting Observed Action (Dagstuhl Seminar 12491).

[BibT_eX]

[DOI]

Susanne Biundo-Stephan

Hans Werner Guesgen

Joachim Hertzberg

Stephen Marsland

Dagstuhl Reports, 2012

Goal-Based Person Tracking Using a First-Order Probabilistic Model.

[BibT_eX]

[DOI]

Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop, 2012

Track-Person Association Using a First-Order Probabilistic Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

A Heuristic for Hybrid Planning with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Exploiting Expert Knowledge in Factored POMDPs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Improving Hierarchical Planning Performance by the Use of Landmarks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Planning in the Real World.

[BibT_eX]

[DOI]

Julien Bidot

Inform. Spektrum, 2011

Advanced user assistance based on AI planning.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2011

Hybrid Multi-agent Planning.

[BibT_eX]

[DOI]

Mohamed Elkawkagy

Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

HTN-Style Planning in Relational POMDPs Using First-Order FSCs.

[BibT_eX]

[DOI]

Felix Müller

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Approximate Online Inference for Dynamic Markov Logic Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Workshop: Companion-Systeme und Mensch-Companion-Interaktion.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Von kognitiven technischen Systemen zu <i>Companion</i>-Systemen.

[BibT_eX]

[DOI]

Andreas Wendemuth

Künstliche Intell., 2010

Verbal Plan Explanations for Hybrid Planning.

[BibT_eX]

[DOI]

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Landmarks in Hierarchical Planning.

[BibT_eX]

[DOI]

Mohamed Elkawkagy

Proceedings of the ECAI 2010, 2010

2009

A Framework for Interactive Hybrid Planning.

[BibT_eX]

[DOI]

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008

Plan Repair in Hybrid Planning.

[BibT_eX]

[DOI]

Julien Bidot

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Realizing Hybrid Planning Systems as Modern Software Environments.

[BibT_eX]

[DOI]

Steffen Balzer

Künstliche Intell., 2007

On the Construction and Evaluation of Flexible Plan-Refinement Strategies.

[BibT_eX]

[DOI]

Julien Bidot

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

2006

A Unifying Framework for Hybrid Planning and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems.

[BibT_eX]

[DOI]

Steffen Balzer

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Was ist Informatik? - unser Positionspapier.

[BibT_eX]

[DOI]

Volker Claus

Heinrich C. Mayr

Gesellschaft für Informatik e.V., 2006

2005

Hybrid Planning Using Flexible Strategies.

[BibT_eX]

[DOI]

Andreas Weigl

Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

2002

On the Identification and Use of Hierarchical Resources in Planning and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

1997

System Assistance in Structured Domain Model Development.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Modeling Planning Domains Systematically.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Deduction-Based Refinement Planning.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1995

Multilevel Refinement Planning in an Interval-Based Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1995

1994

The System PH.

[BibT_eX]

Proceedings of the PuK-94, 1994

1993

PHI - A Logica-Based Tool for Intelligent Help Systems.

[BibT_eX]

Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

A New Logical framework for Deductive Planning.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

PHI - A Logic-Based Tool for Intelligent Help Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Automatische Synthese rekursiver Programme als Beweisverfahren

[BibT_eX]

[DOI]

PhD thesis, 1992

Deductive Planning and Plan Reuse in a Command Language Environment.

[BibT_eX]

Dietmar Dengler

Jana Koehler

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Automatische Synthese rekursiver Programme als Beweisverfahren

[BibT_eX]

[DOI]

Informatik-Fachberichte 302, Springer, ISBN: 3-540-55300-2, 1992

1991

Integrated Plan Generation and Recognition - A Logic-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991

1988

Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1986

A Synthesis System Mechanizing Proofs by Induction.

[BibT_eX]