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 | 29 | 2015 |
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 | 29 | 2006 |
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 | 26 | 2019 |
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 | 23 | 2007 |
" 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 | 22 | 2020 |
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 | 20 | 2020 |
Testing the Adequacy of Automated Explanations of EL Subsumptions. MRG Schiller, F Schiller, B Glimm Description Logics 1879, 2017 | 17 | 2017 |
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 | 17 | 2015 |
Towards Explicative Inference for OWL. MRG Schiller, B Glimm Description Logics, 930-941, 2013 | 17 | 2013 |
A manifesto for cognitive models of problem gambling F Gobet, M Schiller European Perspectives on Cognitive Sciences–Proceedings of the European …, 2011 | 16 | 2011 |
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 | 14 | 2018 |
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 | 13 | 2021 |
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 | 13 | 2017 |
A comparison between cognitive and AI models of blackjack strategy learning MRG Schiller, FR Gobet Annual Conference on Artificial Intelligence, 143-155, 2012 | 13 | 2012 |
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 | 12 | 2019 |
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 | 12 | 2008 |
Problem gambling: Cognition, prevention and treatment F Gobet, M Schiller Springer, 2014 | 11 | 2014 |
Towards an intelligent tutor for mathematical proofs S Autexier, D Dietrich, M Schiller arXiv preprint arXiv:1202.4828, 2012 | 11 | 2012 |
Deep Inference for Automated Proof Tutoring? C Benzmüller, D Dietrich, M Schiller, S Autexier Annual Conference on Artificial Intelligence, 435-439, 2007 | 10 | 2007 |
Granularity Analysis for Tutoring Mathematical Proofs MRG Schiller | 7 | 2011 |