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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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.
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

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

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...