( en | de | ru )

 

Disambiguation of "Schiller, Marvin"

Author of the publication

copydeleteadd this publication to your clipboard
Granularity-Adaptive Proof Presentation

, and . Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marvin Schiller

Marvin Döbler

Marvin Dehmlow

Marvin Altner

Marvin Freier

 

Other publications of authors with the same name

Granularity-Adaptive Proof Presentation, and . Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)Supplier Optimization at Bosch with Knowledge Graphs and Answer Set Programming., , , , , and . ESWC (Satellite Events), volume 13998 of Lecture Notes in Computer Science, page 200-204. Springer, (2023)Resource-Adaptive Cognitive Processes, , and . chapter Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs, page 263 -- 283. Springer-Verlag Berlin Heidelberg, (2010)Proof Step analysis for proof tutoring -- a learning approach to granularity, , and . Teaching Mathematics and Computer Science., 6 (2): 325 -- 343 (2008)A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material, , , , , and . Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, (2006)Proof Granularity as an Empirical Problem?, and . Proc. Computer Science in Education (CSEDU), INSTICC Press, (2009)Presenting Proofs with Adapted Granularity, and . KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (2009)"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues., , , , , , , , and . ICMI, page 585-594. ACM, (2020)A Comparison between Cognitive and AI Models of Blackjack Strategy Learning., and . KI, volume 7526 of Lecture Notes in Computer Science, page 143-155. Springer, (2012)Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations., , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)