Dr. Marvin Schiller

Seit Oktober 2012 arbeite ich an der Universität Ulm als wissenschaftlicher Mitarbeiter. Meine Hauptinteressen gelten der Wissensrepräsentation und der kognitiven Modellierung.

Vormals habe ich an der Brunel University (London, UK) gearbeitet und wurde u.a. von der British Academy gefördert. Eine genauere Beschreibung dieser Arbeiten befindet sich hier. Davor habe ich an der Universität des Saarlandes gearbeitet und promoviert (bei Dr. habil. Benzmüller und Prof. Siekmann).

Kontakt

  • Opens window for sending emailmarvin.schiller(at)uni-ulm.de
  • Telefon:   +49 (0)731/50-24115
  • Telefax:   +49 (0)731/50-24188
  • Postanschrift

  • Dr. Marvin Schiller
  • Universität Ulm
  • Institut für Künstliche Intelligenz
  • D-89069 Ulm
  • Büro

  • James-Franck-Ring
  • Gebäude O27, 4. Niveau
  • Raum 424
  • Sprechstunde

    Dienstags 14-15 Uhr oder nach Vereinbarung

Nach oben

Nach oben

Lehre

Im Sommersemester 2013 wirke ich an folgenden Lehrveranstaltungen mit:

Ehemalige Lehrtätigkeiten:

Publikationen

Präferenzen: 
Referenzen pro Seite: Zeige Schlüsselwörter Zeige Zusammenfassung
Referenzen

2013

default
Marvin R. G. Schiller
Granularity Analysis for Mathematical Proofs
Topics in Cognitive Science, (In press.)
2013
ISSN: 1756-8765

2012

default
Serge Autexier, Dominik Dietrich und Marvin Schiller
Towards Intelligent Tutors for Mathematical Proofs
In P. Quaresma und R.-J. Back, Editor, Proceedings of the First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, Poland, July 2011
Seite 1-28.
2012
default
Marvin Schiller und Fernand Gobet
A Comparison between Cognitive and AI Models of Blackjack Strategy Learning
In Birte Glimm und Antonio Krüger, Editor, KI 2012: Advances in Artificial Intelligence Band 7526 aus Lecture Notes in Computer Science , Seite 143--155.
Herausgeber: Springer Berlin / Heidelberg,
2012
Brunel University, London, UK
ISBN: 978-3-642-33346-0

2011

default
Fernand Gobet und Marvin Schiller
A Manifesto for Cognitive Models of Problem Gambling
In B. Kokinov, A. Karmiloff-Smith und N. J. Nersessian, Editor, European Perspectives on Cognitive Sciences - Proceedings of the European Conference on Cognitive Science
Herausgeber: New Bulgarian University Press,
2011

2010

pdf
Christoph Benzmüller und Marvin Schiller
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
2010
pdf
Marvin Schiller und Christoph Benzmüller
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
2010
default
Marvin Schiller
Granularity Analysis for Tutoring Mathematical Proofs
Saarland University,
2010

2009

default
Christoph Benzmüller, Marvin Schiller und Jörg Siekmann
Resource-bounded Modelling and Analysis of Human-level Interactive Proofs
In Matthew Crocker und Jörg Siekmann, Editor, Resource Adaptive Cognitive Processes aus Cognitive Technologies Series
Seite 291-311.
Herausgeber: Springer,
2009
default
Marvin Schiller und Christoph Benzmüller
Granularity-Adaptive Proof Presentation
In Vania Dimitrova, Riichiro Mizoguchi, Benedict du Boulay und Arthur C. Graesser, Editor, 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 Band 200 aus Frontiers in Artificial Intelligence and Applications , Seite 599-601.
2009
default
Marvin Schiller und Christoph Benzmüller
Presenting Proofs with Adapted Granularity.
In Bärbel Mertsching, Marcus Hund und Muhammad Zaheer Aziz, Editor, KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI Band 5803 aus Lecture Notes in Computer Science , Seite 289-297.
Herausgeber: Springer,
2009
ISBN: 978-3-642-04616-2
Seite:  
Zurück | 1, 2 | Weiter
Export als:
BibTeX, XML