( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Presenting Proofs with Adapted Granularity

, и . KI 2009: Advances in Artificial Intelligence, 5803, стр. 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.

Marvin Schiller

Marvin Dehmlow

Marvin Döbler

Marvin Altner

Marvin Freier

 

Другие публикации лиц с тем же именем

Supplier Optimization at Bosch with Knowledge Graphs and Answer Set Programming., , , , , и . ESWC (Satellite Events), том 13998 из Lecture Notes in Computer Science, стр. 200-204. Springer, (2023)Resource-Adaptive Cognitive Processes, , и . глава Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs, стр. 263 -- 283. Springer-Verlag Berlin Heidelberg, (2010)Granularity-Adaptive Proof Presentation, и . Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, стр. 599--601. Amsterdam, IOS Press, (2009)Proof Step analysis for proof tutoring -- a learning approach to granularity, , и . 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, , , , , и . Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, (2006)Presenting Proofs with Adapted Granularity, и . KI 2009: Advances in Artificial Intelligence, 5803, стр. 289-279. Berlin Heidelberg, Springer Verlag, (2009)Proof Granularity as an Empirical Problem?, и . Proc. Computer Science in Education (CSEDU), INSTICC Press, (2009)Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations., , и . Description Logics, том 2211 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)A Comparison between Cognitive and AI Models of Blackjack Strategy Learning., и . KI, том 7526 из Lecture Notes in Computer Science, стр. 143-155. Springer, (2012)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , и . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)