Towards an Intelligent Tutor for Mathematical Proofs
Autexier, Serge, Dietrich, Dominik, Schiller, Marvin
Published in Electronic proceedings in theoretical computer science (21.02.2012)
Published in Electronic proceedings in theoretical computer science (21.02.2012)
Get full text
Journal Article
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
Behnke, Gregor, Schiller, Marvin, Kraus, Matthias, Bercher, Pascal, Schmautz, Mario, Dorna, Michael, Dambier, Michael, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in Ai communications (01.01.2019)
Published in Ai communications (01.01.2019)
Get full text
Journal Article
New Developments for Robert – Assisting Novice Users Even Better in DIY Projects
Behnke, Gregor, Bercher, Pascal, Kraus, Matthias, Schiller, Marvin, Mickeleit, Kristof, Häge, Timo, Dorna, Michael, Dambier, Michael, Manstetten, Dietrich, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in Proceedings of the International Conference on Automated Planning and Scheduling (01.06.2020)
Published in Proceedings of the International Conference on Automated Planning and Scheduling (01.06.2020)
Get full text
Journal Article
A paradigm for coupling procedural and conceptual knowledge in companion systems
Schiller, Marvin, Behnke, Gregor, Schmautz, Mario, Bercher, Pascal, Kraus, Matthias, Dorna, Michael, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in 2017 International Conference on Companion Technology (ICCT) (01.09.2017)
Published in 2017 International Conference on Companion Technology (ICCT) (01.09.2017)
Get full text
Conference Proceeding
Sloth - The interactive workout planner
Behnke, Gregor, Nielsen, Florian, Schiller, Marvin, Bercher, Pascal, Kraus, Matthias, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in 2017 International Conference on Companion Technology (ICCT) (01.09.2017)
Published in 2017 International Conference on Companion Technology (ICCT) (01.09.2017)
Get full text
Conference Proceeding
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process
Behnke, Gregor, Nielsen, Florian, Schiller, Marvin, Ponomaryov, Denis, Bercher, Pascal, Glimm, Birte, Minker, Wolfgang, Biundo, Susanne
Published in Companion Technology (01.01.2017)
Published in Companion Technology (01.01.2017)
Get full text
Book Chapter
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement—Bringing a Planning-Based Interactive DIY Assistant to Life
Bercher, Pascal, Behnke, Gregor, Kraus, Matthias, Schiller, Marvin, Manstetten, Dietrich, Dambier, Michael, Dorna, Michael, Minker, Wolfgang, Glimm, Birte, Biundo, Susanne
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.11.2021)
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.11.2021)
Get full text
Magazine Article