Institut für Künstliche Intelligenz
- 1:
Lehre. - 2:
Forschung. - 3:
Projekte. - 4:
Mitarbeiter.- 4.1:
Prof. Dr. Susanne Biundo-Stephan. - 4.2:
Juniorprof. Dr. Birte Glimm. - 4.3:
Sylvia Ebel. - 4.4:
Ingrid Neumann. - 4.5:
Pascal Bercher. - 4.6:
Thomas Geier. - 4.7:
Thilo Hörnle. - 4.8:
Dr. Yevgeny Kazakov. - 4.9:
Dr. Pavel Klinov. - 4.10:
Dr. Thorsten Liebig. - 4.11:
Dr. Denis Ponomaryov. - 4.12:
Felix Müller. - 4.13:
Olaf Noppens. - 4.14:
Felix Richter. - 4.15:
Dr. Bernd Schattenberg. - 4.16:
Dr. Marvin Schiller. - 4.17:
Andreas Steigmiller. - 4.18:
Trung Kien Tran. - 4.19:
Klaus Ulmschneider. 4.20: - 4.21:
Ehemalige Professoren. - 4.22:
Alumni.
- 4.1:
- 5:
Publikationen. - 6:
Software. - 7:
Stellenangebote.
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
marvin.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
Lehre
Im Sommersemester 2013 wirke ich an folgenden Lehrveranstaltungen mit:
Seminar Kognitive Modellierung (als Seminarleiter, zusammen mit Dr. Florian Schmitz, Juniorprof. Birte Glimm, Prof. Oliver Wilhelm) -
Vorlesung Algorithmen in der Wissensrepräsentation (als Übungsleiter)
Ehemalige Lehrtätigkeiten:
- Übungsleiter für
Einführung in die Künstliche Intelligenz (WS 2012/2013), Uni Ulm - Assistent für
Stammvorlesung Künstliche Intelligenz (WS 2006/2007), Uni des Saarlandes
Publikationen
Referenzen
2013 | |
|
Granularity Analysis for Mathematical Proofs
Topics in Cognitive Science,
(In press.)
2013
ISSN: 1756-8765
DOI: 10.1111/tops.12012
|
|
2012 | |
|
|
Towards Intelligent Tutors for Mathematical Proofs
In und , Editor,
Proceedings of the First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, Poland, July 2011
Seite 1-28.
2012
|
|
A Comparison between Cognitive and AI Models of Blackjack Strategy Learning
In und , 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 | |
|
|
A Manifesto for Cognitive Models of Problem Gambling
In , und , Editor,
European Perspectives on Cognitive Sciences - Proceedings of the European Conference on Cognitive Science
Herausgeber: New Bulgarian University Press,
2011
|
2010 | |
|
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
|
|
|
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
|
|
|
|
Granularity Analysis for Tutoring Mathematical Proofs
Saarland University,
2010
|
2009 | |
|
|
Resource-bounded Modelling and Analysis of Human-level Interactive Proofs
In und , Editor,
Resource Adaptive Cognitive Processes
aus Cognitive Technologies Series
Seite 291-311.
Herausgeber: Springer,
2009
|
|
Granularity-Adaptive Proof Presentation
In , , und , 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
|
|
|
Presenting Proofs with Adapted Granularity.
In , und , 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
|
|
