Marvin R. G. Schiller

Orcid: 0000-0003-4036-3730

Affiliations:
  • Robert Bosch GmbH, Stuttgart, Germany
  • University of Ulm, Institute for Artificial Intelligence (former)
  • Brunel University, Centre for the Study of Expertise (former)
  • German Research Centre for Artificial Intelligence (DFKI), Saarbrücken, Germany (former)
  • Saarland University, Saarbrücken, Germany (PhD 2010)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Designing an Interaction Concept for Assisted Cooking in Smart Kitchens: Focus on Human Agency, Proactivity, and Multimodality.
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.
Künstliche Intell., 2021

2020
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
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.
AI Commun., 2019

2018
Evaluating Knowledge-Based Assistance for DIY.
Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.
Proceedings of the 9th International Workshop on Spoken Dialogue System Technology, 2018

Instructing Novice Users on How to Use Tools in DIY Projects.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.
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.
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

Testing the Adequacy of Automated Explanations of EL Subsumptions.
Proceedings of the 30th International Workshop on Description Logics, 2017

A paradigm for coupling procedural and conceptual knowledge in companion systems.
Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.
Proceedings of the International Conference on Companion Technology, 2017

2015
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Integrating Ontologies and Planning for Cognitive Systems.
Proceedings of the 28th International Workshop on Description Logics, 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.
Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

2013
Granularity Analysis for Mathematical Proofs.
Top. Cogn. Sci., 2013

Towards Explicative Inference for OWL.
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.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

2011
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Granularity Analysis for Tutoring Mathematical Proofs.
PhD thesis, 2011

Towards an Intelligent Tutor for Mathematical Proofs
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010
Adaptive Assertion-Level Proofs.
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

2009
Presenting Proofs with Adapted Granularity.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Proof Granularity as an Empirical Problem?
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.
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?
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.
Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006


  Loading...