Marvin Schiller
Marvin Schiller
Robert Bosch GmbH
Bestätigte E-Mail-Adresse bei alumni.uni-ulm.de - Startseite
TitelZitiert vonJahr
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
262006
Diawoz-ii–a tool for wizard-of-oz experiments in mathematics
C Benzmüller, H Horacek, I Kruijff-Korbayová, H Lesourd, M Schiller, ...
Annual Conference on Artificial Intelligence, 159-173, 2006
232006
Coherence across components in cognitive systems—one ontology to rule them all
G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ...
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
182015
A manifesto for cognitive models of problem gambling
F Gobet, M Schiller
European Perspectives on Cognitive Sciences–Proceedings of the European …, 2011
132011
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
102008
Problem gambling: Cognition, prevention and treatment
F Gobet, M Schiller
Springer, 2014
82014
A comparison between cognitive and AI models of blackjack strategy learning
MRG Schiller, FR Gobet
Annual Conference on Artificial Intelligence, 143-155, 2012
82012
Deep Inference for Automated Proof Tutoring?
C Benzmüller, D Dietrich, M Schiller, S Autexier
Annual Conference on Artificial Intelligence, 435-439, 2007
82007
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
72019
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
72018
Towards an intelligent tutor for mathematical proofs
S Autexier, D Dietrich, M Schiller
arXiv preprint arXiv:1202.4828, 2012
72012
Granularity Analysis for Tutoring Mathematical Proofs
MRG Schiller
72011
Resource-bounded modelling and analysis of human-level interactive proofs
C Benzmüller, M Schiller, J Siekmann
Resource-adaptive cognitive processes, 291-311, 2010
72010
Integrating Ontologies and Planning for Cognitive Systems.
G Behnke, P Bercher, S Biundo, B Glimm, DK Ponomaryov, MRG Schiller
Description Logics, 2015
62015
Towards Explicative Inference for OWL.
MRG Schiller, B Glimm
Description Logics, 930-941, 2013
62013
Judging granularity for automated mathematics teaching
M Schiller, C Benzmüller, A Van de Veire
LPAR 2006 Short Papers Proceedings, Phnom Pehn, Cambodia, URL http://www …, 2006
62006
Mechanizing proof step evaluation for mathematics tutoring-the case of granularity
M Schiller
Unpublished master’s thesis, 2005
62005
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
52017
Testing the Adequacy of Automated Explanations of EL Subsumptions.
MRG Schiller, F Schiller, B Glimm
Description Logics 1879, 2017
52017
Finding user-friendly linearizations of partially ordered plans
D Höller, P Bercher, F Richter, M Schiller, T Geier, S Biundo
28th PuK Workshop” Planen, Scheduling und Konfigurieren, Entwerfen”(PuK 2014), 2014
52014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20