Autor der Publikation

Granularity-Adaptive Proof Presentation

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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