Zobrazeno 1 - 10 of 12 pro vyhledávání: '"Marvin Schiller"'
1
Akademický článek
Towards an Intelligent Tutor for Mathematical Proofs
Autor: Serge Autexier, Dominik Dietrich, Marvin Schiller
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 1-28 (2012)
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textb
Externí odkaz: https://doaj.org/article/29f74baa98c24c85893cba799734d21d
Zobrazit plný text záznamu
2
Presenting Proofs with Adapted Granularity
Autor: Christoph Benzmüller, Marvin Schiller
Publikováno v: KI 2009: Advances in Artificial Intelligence ISBN: 9783642046162
KI
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem provers, in contrast, present proofs usually at a fixed level of detail (als
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a1d065e54352dd1e718a1f865dbdd268
https://doi.org/10.1007/978-3-642-04617-9_37
Zobrazit plný text záznamu
3
On the Logic of Being a Democrat
Autor: Marvin Schiller
Publikováno v: Philosophy. 44:46-56
The central purpose of this paper is to sketch the logic of being a democrat. That is, what is involved in being a democrat will be defined and delineated. I shall proceed by first examining Richard Wollheim's alleged paradox of democratic theory. Wo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e6e164aa3b7d351ca0c886095582fe77
https://doi.org/10.1017/s0031819100024050
Zobrazit plný text záznamu
5
Political Authority, Self-Defense, And Pre-Emptive War
Autor: Marvin Schiller
Publikováno v: Canadian Journal of Philosophy. 1:409-426
The central purpose of this paper is to examine the case for political authority, i.e., the argument for having political authority rather than for having none. Thus, the case for political authority is the case against anarchism. My construction of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::606f9da05c31c6b1229a5764c8ce9787
https://doi.org/10.1080/00455091.1972.10716029
Zobrazit plný text záznamu
8
Proof granularity as an empirical Problem
Autor: Christoph Benzmüller, Marvin Schiller
Publikováno v: Scopus-Elsevier
CSEDU (1)
Even in introductory textbooks on mathematical proof, intermediate proof steps are generally skipped when this seems appropriate. This gives rise to different granularities of proofs, depending on the intended audience and the context in which the pr
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff64d8575ea0582d24c2232141db979b
http://www.scopus.com/inward/record.url?eid=2-s2.0-67650553624&partnerID=MN8TOARS
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje