Author of the publication

Deep Inference for Automated Proof Tutoring?

, , , and . KI, volume 4667 of Lecture Notes in Computer Science, page 435-439. Springer, (2007)

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.

 

Other publications of authors with the same name

"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)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , and . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All., , , , , , and . IJCAI, page 1442-1449. AAAI Press, (2015)Granularity Analysis for Mathematical Proofs.. Top. Cogn. Sci., 5 (2): 251-269 (2013)Testing the Adequacy of Automated Explanations of EL Subsumptions., , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Towards Explicative Inference for OWL., and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 930-941. CEUR-WS.org, (2013)Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects., , , , , , , , , and . AI Commun., 32 (1): 31-57 (2019)A Multimodal Dialogue Framework for Cloud-Based Companion Systems., , , , , , and . IWSDS, volume 579 of Lecture Notes in Electrical Engineering, page 405-410. Springer, (2018)