Follow
Marvin Schiller
Marvin Schiller
Robert Bosch GmbH
Verified email at alumni.uni-ulm.de - Homepage
Title
Cited by
Cited by
Year
Coherence Across Components in Cognitive Systems-One Ontology to Rule Them All.
G Behnke, DK Ponomaryov, MRG Schiller, P Bercher, F Nothdurft, ...
IJCAI, 1442-1449, 2015
292015
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material
C Benzmüller, H Horacek, H Lesourd, I Kruijff-Korbayová, M Schiller, ...
Proceedings of the Fifth International Conference on Language Resources and …, 2006
292006
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
G Behnke, M Schiller, M Kraus, P Bercher, M Schmautz, M Dorna, ...
AI Communications 32 (1), 31-57, 2019
252019
Diawoz-ii–a tool for wizard-of-oz experiments in mathematics
C Benzmüller, H Horacek, I Kruijff-Korbayová, H Lesourd, M Schiller, ...
KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference …, 2007
232007
" Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues
M Kraus, M Schiller, G Behnke, P Bercher, M Dorna, M Dambier, B Glimm, ...
Proceedings of the 2020 International Conference on Multimodal Interaction …, 2020
192020
New developments for Robert–Assisting novice users even better in DIY projects
G Behnke, P Bercher, M Kraus, M Schiller, K Mickeleit, T Häge, M Dorna, ...
Proceedings of the International Conference on Automated Planning and …, 2020
192020
Testing the Adequacy of Automated Explanations of EL Subsumptions.
MRG Schiller, F Schiller, B Glimm
Description Logics 1879, 2017
172017
Integrating ontologies and planning for cognitive systems
G Behnke, P Bercher, S Biundo, B Glimm, D Ponomaryov, M Schiller
Proceedings of the 28th International Workshop on Description Logics (DL …, 2015
172015
Towards Explicative Inference for OWL.
MRG Schiller, B Glimm
Description Logics, 930-941, 2013
172013
A manifesto for cognitive models of problem gambling
F Gobet, M Schiller
European Perspectives on Cognitive Sciences–Proceedings of the European …, 2011
162011
Instructing Novice Users on How to Use Tools in DIY Projects.
G Behnke, MRG Schiller, M Kraus, P Bercher, M Schmautz, M Dorna, ...
IJCAI, 5805-5807, 2018
142018
A paradigm for coupling procedural and conceptual knowledge in companion systems
M Schiller, G Behnke, M Schmautz, P Bercher, M Kraus, M Dorna, ...
2017 International Conference on Companion Technology (ICCT), 1-6, 2017
132017
A comparison between cognitive and AI models of blackjack strategy learning
MRG Schiller, FR Gobet
Annual Conference on Artificial Intelligence, 143-155, 2012
132012
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement—Bringing a Planning-Based Interactive DIY Assistant to Life
P Bercher, G Behnke, M Kraus, M Schiller, D Manstetten, M Dambier, ...
KI-Künstliche Intelligenz 35 (3), 367-375, 2021
122021
A multimodal dialogue framework for cloud-based companion systems
M Kraus, M Schiller, G Behnke, P Bercher, S Biundo, B Glimm, W Minker
9th International Workshop on Spoken Dialogue System Technology, 405-410, 2019
122019
Proof step analysis for proof tutoring–a learning approach to granularity
M Schiller, D Dietrich, C Benzmüller
Teaching Mathematics and Computer Science 6 (2), 325-343, 2008
122008
Problem gambling: Cognition, prevention and treatment
F Gobet, M Schiller
Springer, 2014
112014
Towards an intelligent tutor for mathematical proofs
S Autexier, D Dietrich, M Schiller
arXiv preprint arXiv:1202.4828, 2012
112012
Deep Inference for Automated Proof Tutoring?
C Benzmüller, D Dietrich, M Schiller, S Autexier
Annual Conference on Artificial Intelligence, 435-439, 2007
102007
Granularity analysis for tutoring mathematical proofs
M Schiller
72011
The system can't perform the operation now. Try again later.
Articles 1–20