( en | de | ru )

 

Disambiguation of "Schiller, Marvin"

Author of the publication

copydeleteadd this publication to your clipboard
Presenting Proofs with Adapted Granularity

, and . KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (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

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)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)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)Presenting Proofs with Adapted Granularity, and . KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (2009)Proof Granularity as an Empirical Problem?, and . Proc. Computer Science in Education (CSEDU), INSTICC Press, (2009)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)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , and . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)