DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. - Christoph Benzmüller; Helmut Horacek; Ivana Kruijff-Korbayová; Henri Lesourd; Marvin R. G. Schiller; Magdalena Wolska (KI, 2006)

A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. - Christoph Benzmüller; Helmut Horacek; Henri Lesourd; Ivana Kruijff-Korbayová; Marvin R. G. Schiller; Magdalena Wolska (LREC, 2006)

Deep Inference for Automated Proof Tutoring? - Christoph Benzmüller; Dominik Dietrich; Marvin R. G. Schiller; Serge Autexier (KI, 2007)

Granularity-Adaptive Proof Presentation. - Marvin R. G. Schiller; Christoph Benzmüller (AIED, 2009)

Proof Granularity as an Empirical Problem? - Marvin R. G. Schiller; Christoph Benzmüller (CSEDU (1), 2009)

Presenting Proofs with Adapted Granularity. - Marvin R. G. Schiller; Christoph Benzmüller (KI, 2009)

Adaptive Assertion-Level Proofs. - Christoph Benzmüller; Marvin R. G. Schiller (EMSQMS@IJCAR, 2010)

Towards an Intelligent Tutor for Mathematical Proofs - Serge Autexier; Dominik Dietrich; Marvin R. G. Schiller (ThEdu, 2011)

Granularity Analysis for Tutoring Mathematical Proofs. - Marvin R. G. Schiller (IOS Press, 2011)

Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. - Christoph Benzmüller; Marvin R. G. Schiller; Jörg H. Siekmann (Resource-Adaptive Cognitive Processes, 2011)

A Comparison between Cognitive and AI Models of Blackjack Strategy Learning. - Marvin R. G. Schiller; Fernand R. Gobet (KI, 2012)

Towards Explicative Inference for OWL. - Marvin R. G. Schiller; Birte Glimm (Description Logics, 2013)

Granularity Analysis for Mathematical Proofs. - Marvin R. G. Schiller (Top. Cogn. Sci., 2013)

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. - Gregor Behnke; Marvin R. G. Schiller; Denis K. Ponomaryov; Florian Nothdurft; Pascal Bercher; Wolfgang Minker; Birte Glimm; Susanne Biundo (ISCT, 2015)

Integrating Ontologies and Planning for Cognitive Systems. - Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis K. Ponomaryov; Marvin R. G. Schiller (Description Logics, 2015)

Coherence 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 (IJCAI, 2015)

Sloth - The interactive workout planner. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Pascal Bercher; Matthias Kraus 001; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

A paradigm for coupling procedural and conceptual knowledge in companion systems. - Marvin R. G. Schiller; Gregor Behnke; Mario Schmautz; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

Testing the Adequacy of Automated Explanations of EL Subsumptions. - Marvin R. G. Schiller; Florian Schiller; Birte Glimm (Description Logics, 2017)

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Denis K. Ponomaryov; Pascal Bercher; Birte Glimm; Wolfgang Minker; Susanne Biundo (Companion Technology, 2017)

Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. - Tanja Perleth; Marvin R. G. Schiller; Birte Glimm (Description Logics, 2018)

Instructing Novice Users on How to Use Tools in DIY Projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (IJCAI, 2018)

A Multimodal Dialogue Framework for Cloud-Based Companion Systems. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Wolfgang Minker (IWSDS, 2018)

Evaluating Knowledge-Based Assistance for DIY. - Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Felix Richter 001; Susanne Biundo; Birte Glimm; Wolfgang Minker (MuC (Workshopband), 2018)

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Michael Dambier; Wolfgang Minker; Birte Glimm; Susanne Biundo (AI Commun., 2019)

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. - Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Marvin R. G. Schiller; Kristof Mickeleit; Timo Häge; Michael Dorna; Michael Dambier; Dietrich Manstetten; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICAPS, 2020)

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Michael Dorna; Michael Dambier; Birte Glimm; Susanne Biundo; Wolfgang Minker (ICMI, 2020)

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. - Pascal Bercher; Gregor Behnke; Matthias Kraus 001; Marvin R. G. Schiller; Dietrich Manstetten; Michael Dambier; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (Künstliche Intell., 2021)

Designing an Interaction Concept for Assisted Cooking in Smart Kitchens: Focus on Human Agency, Proactivity, and Multimodality. - Johanna Weber; Margarita Esau-Held; Marvin R. G. Schiller; Eike Martin Thaden; Dietrich Manstetten; Gunnar Stevens (Conference on Designing Interactive Systems, 2023)