Marvin R. G. Schiller

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





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

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

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

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

Granularity Analysis for Mathematical Proofs.
topiCS, 2013

Towards Explicative Inference for OWL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

A Comparison between Cognitive and AI Models of Blackjack Strategy Learning.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

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

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

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

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

Deep Inference for Automated Proof Tutoring?
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

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