Marvin Schiller works for the Institute for Artificial Intelligence at the
University of Ulm. His research
interests are knowledge representation, cognitive modelling,
automated and human reasoning, and intelligent tutoring systems.
Previously, Marvin worked for the Centre for the Study of Expertise at
Brunel University , where he investigated cognitive models for problem gambling under the
direction of Prof. Gobet .
Marvin obtained his PhD in 2010 for his thesis
"Granularity Analysis for Tutoring Mathematical Proofs"
at Saarland University,
Saarbrücken, Germany, where he has been a member of
the Centre for E-Learning CeLTech .
Together with Prof. Gobet, Marvin was an organiser for the
recent 2011 London Workshop on Problem
Gambling and the CHREST Tutorial.
Office hours: with appointment, just phone me. If I am in, just come into my
Office: Building O27, room 421
Institute for Artificial Intelligence
D-89069 Ulm, Germany
Social Networks: connect with me on facebook or academia.edu.
In June and July 2008 I was a visitor at Carnegie Mellon University in
Pittsburgh, at the department of Prof. Sieg. I have a blog with recent pictures from the U.S., it's called
January 18th, 2012
University of Hertfordshire, UK. Talk: "Developing Cognitive Models
for Problem Gambling: On Memory, Reinforcement, and Emotions"
March 5th, 2012
|| University of Birmingham. Talk: "Cognitive Models of Gambling and Problem Gambling Behaviour: Current Developments"
May 29th, 2012
|| University of Ulm, Germany. Talk: "Developing Cognitive Models of Gambling and Problem Gambling Behaviour"
Sep. 24-27th, 2012
|| 35th German Conference on Artificial Intelligence, Saarbrücken, Germany. Talk/Paper: "A Comparison between Cognitive and AI Models of Blackjack Strategy Learning"
Please note: Some of the papers are not available on my website. However, you can email me and I will send you a copy
- Schiller, M., Dietrich, D. and Benzmüller, C. Proof Step analysis for proof tutoring -- a learning approach to granularity. In Teaching Mathematics and Computer Science, 6 (2): 325 - 343, 2008.
- Benzmüller, C., Schiller, M. and Siekmann, J. Resource-bounded Modelling and Analysis of Human-level Interactive Proofs. In Resource Adaptive Cognitive Processes, pages 291-311, Springer, 2009. PDF
- Schiller, M. and Gobet, F. A Comparison between Cognitive and AI Models of Blackjack Strategy Learning. In KI 2012: Advances in Artificial Intelligence, pages 143-155, Springer Berlin / Heidelberg, 2012. more..
- Gobet, F. and Schiller, M. A Manifesto for Cognitive Models of Problem Gambling. In European Perspectives on Cognitive Sciences - Proceedings of the European Conference on Cognitive Science, New Bulgarian University, 2011. PDF
- Schiller, M. and Benzmüller, C. Proof Granularity as an Empirical Problem?. In Proc. Computer Science in Education (CSEDU), pages 350-354, 2009. PDF BIBTEX
- Schiller, M. and Benzmüller, C. Presenting Proofs with Adapted Granularity. In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, pages 289-297, Springer, 2009. more..
- Schiller, M. and Benzmüller, C. Granularity-Adaptive Proof Presentation. In Artificial Intelligence in Education: Building Learning
Systems that Care: From Knowledge Representation to Affective
Modelling, Proceedings of the 14th International Conference
on Artificial Intelligence in Education, AIED 2009, July
6-10, 2009, Brighton, UK, pages 599-601, 2009. more..
- Benzmüller, C., Dietrich, D., Schiller, M. and Autexier, S. Deep Inference for Automated Proof Tutoring?. In KI, pages 435-439, Springer, 2007. more..
- Benzmüller, C., Horacek, H., Lesourd, H., Kruijff-Korbajova, I., Schiller, M. and Wolska, M. A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), ELDA, 2006.
- Benzmüller, C., Horacek, H., Kruijff-Korbayova, I., Lesourd, H., Schiller, M. and Wolska, M. DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. In KI, pages 159-173, Springer, 2006. more..
- Schiller, M., Benzmüller, C. and Veire, A. V. de. Judging Granularity for Automated Mathematics Teaching. In LPAR 2006 Short Papers Proceedings, 2006. more.. PDF
- Schiller, M. and Benzmüller, C. Granularity Judgments in Proof Tutoring. In Poster papers at KI 2006: Advances in Artificial Intelligence: 29th Annual
German Conference on AI, 2006. PDF
- Autexier, S., Dietrich, D. and Schiller, M. Towards Intelligent Tutors for Mathematical Proofs. In P. Quaresma and R.-J. Back (Eds): Proceedings of the First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, Poland, July 2011,EPTCS, 79 PDF
- Benzmüller, C. and Schiller, M. Adaptive Assertion Level Proofs. The Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (EMS+QMS-2010, affiliated with IJCAR 2010 and CAV 2010), Edinburgh, UK, July 20, 2010 PDF
- Schiller, M. and Benzmüller, C. Human-Oriented Proof Techniques are Relevant for Proof Tutoring. Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010), Paris, France, July 10, 2010 PDF
- Schiller, M., Dietrich, D. and Benzmüller, C. Towards Computer-Assisted Proof Tutoring. SCOOP Workshop: 1st Workshop on Scientific Communities of Practice, Jacobs University Bremen, Germany PDF
- Schiller, M. Mechanizing Proof Step Evaluation for Mathematics Tutoring - The Case of Granularity. PDF
- Schiller, M. Granularity Analysis for Tutoring Mathematical Proofs. Ph.D. Thesis, Saarland University, 2010.
- Schiller, M. and Benzmüller, C. Granularity-Adaptive Proof Presentation. PDF BIBTEX
I am a proud member of...
In the event of this CV being not fully up to date, send me an email and I
will send you the latest.