Making hybrid plans more clear to human users-a formal approach for generating sound explanations B Seegebarth, F Müller, B Schattenberg, S Biundo Proceedings of the International Conference on Automated Planning and …, 2012 | 115 | 2012 |
Plan, repair, execute, explain—how planning helps to assemble your home theater P Bercher, S Biundo, T Geier, T Hoernle, F Nothdurft, F Richter, ... Proceedings of the International Conference on Automated Planning and …, 2014 | 86 | 2014 |
Advanced user assistance based on AI planning S Biundo, P Bercher, T Geier, F Müller, B Schattenberg Cognitive Systems Research 12 (3-4), 219-236, 2011 | 69 | 2011 |
Probabilistic human-computer trust handling F Nothdurft, F Richter, W Minker Proceedings of the 15th annual meeting of the special interest group on …, 2014 | 57 | 2014 |
Parallelizing tableaux-based description logic reasoning T Liebig, F Müller OTM Confederated International Conferences" On the Move to Meaningful …, 2007 | 52 | 2007 |
Companion-technology: towards user-and situation-adaptive functionality of technical systems F Honold, P Bercher, F Richter, F Nothdurft, T Geier, R Barth, T Hörnle, ... 2014 International Conference on Intelligent Environments, 378-381, 2014 | 37 | 2014 |
SOLO: search online, learn offline for combinatorial optimization problems J Oren, C Ross, M Lefarov, F Richter, A Taitler, Z Feldman, D Di Castro, ... Proceedings of the international symposium on combinatorial search 12 (1 …, 2021 | 28 | 2021 |
A planning-based assistance system for setting up a home theater P Bercher, F Richter, T Hörnle, T Geier, D Höller, G Behnke, F Nothdurft, ... Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 27 | 2015 |
Exploiting expert knowledge in factored POMDPs F Müller, C Späth, T Geier, S Biundo ECAI 2012, 606-611, 2012 | 16 | 2012 |
HTN-style planning in relational POMDPs using first-order FSCs F Müller, S Biundo Annual Conference on Artificial Intelligence, 216-227, 2011 | 11 | 2011 |
On delete relaxation in partial-order causal-link planning P Bercher, T Geier, F Richter, S Biundo 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 9 | 2013 |
A companion-system architecture for realizing individualized and situation-adaptive user assistance P Bercher, F Richter, F Honold, F Nielsen, F Schüssel, T Geier, T Hoernle, ... Universität Ulm, 2018 | 7 | 2018 |
Advanced user assistance for setting up a home theater P Bercher, F Richter, T Hörnle, T Geier, D Höller, G Behnke, F Nielsen, ... Companion Technology: A Paradigm Shift in Human-Technology Interaction, 485-491, 2017 | 6 | 2017 |
Finding user-friendly linearizations of partially ordered plans D Höller, P Bercher, F Richter, M Schiller, T Geier, S Biundo 28th PuK Workshop” Planen, Scheduling und Konfigurieren, Entwerfen, 2014 | 6 | 2014 |
Formale aspekte der erklärung hybrider pläne B Seegebarth, S Biundo-Stephan, B Schattenberg, F Müller Master thesis, Ulm University, 2011. Diese Abschlussarbeit wurde mit dem …, 2011 | 5 | 2011 |
Addressing Uncertainty in Hierarchical User-Centered Planning F Richter, S Biundo Companion Technology: A Paradigm Shift in Human-Technology Interaction, 101-121, 2017 | 4 | 2017 |
Introducing hierarchy to non-hierarchical planning models-a case study for behavioral adversary models L Pragst, F Richter, P Bercher, B Schattenberg, S Biundo Proceedings of PuK, 2014 | 4 | 2014 |
Evaluating knowledge-based assistance for DIY M Schiller, G Behnke, P Bercher, M Kraus, M Dorna, F Richter, S Biundo, ... Mensch und Computer 2018-Workshopband, 10.18420/muc2018-ws19-0551, 2018 | 3 | 2018 |
Hierarchical planning under uncertainty F Richter Universität Ulm, 2018 | 2 | 2018 |
Conditioned Belief Propagation revisited (extended version) T Geier, F Richter, S Biundo Universität Ulm, 2014 | 2 | 2014 |