Marvin R. G. Schiller

According to our database, Marvin R. G. Schiller authored at least 29 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Proceedings of the 2023 ACM Designing Interactive Systems Conference, 2023

2021

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, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

Künstliche Intell., 2021

2020

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

Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker

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

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

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

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

2019

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

Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo

AI Commun., 2019

2018

Evaluating Knowledge-Based Assistance for DIY.

Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker

Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.

Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker

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

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

Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

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

Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.

Tanja Perleth, Marvin R. G. Schiller, Birte Glimm

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

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

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

Testing the Adequacy of Automated Explanations of EL Subsumptions.

Marvin R. G. Schiller, Florian Schiller, Birte Glimm

Proceedings of the 30th International Workshop on Description Logics, 2017

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

Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.

Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the International Conference on Companion Technology, 2017

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

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

Integrating Ontologies and Planning for Cognitive Systems.

Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller

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

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

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

2013

Granularity Analysis for Mathematical Proofs.

Marvin R. G. Schiller

Top. Cogn. Sci., 2013

Towards Explicative Inference for OWL.

Marvin R. G. Schiller, Birte Glimm

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

A Comparison between Cognitive and AI Models of Blackjack Strategy Learning.

Marvin R. G. Schiller, Fernand R. Gobet

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

2011

Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.

Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Granularity Analysis for Tutoring Mathematical Proofs.

Marvin R. G. Schiller

PhD thesis, 2011

Towards an Intelligent Tutor for Mathematical Proofs

Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010

Adaptive Assertion-Level Proofs.

Christoph Benzmüller, Marvin R. G. Schiller

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

2009

Presenting Proofs with Adapted Granularity.

Marvin R. G. Schiller, Christoph Benzmüller

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

Proof Granularity as an Empirical Problem?

Marvin R. G. Schiller, Christoph Benzmüller

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

Granularity-Adaptive Proof Presentation.

Marvin R. G. Schiller, Christoph Benzmüller

Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

2007

Deep Inference for Automated Proof Tutoring?

Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier

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

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

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

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

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