sign in · help · news · about ·

BibSonomy :: user :: marvinschiller ::

tag user group author concept BibTeX key search:all search:marvinschiller

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(19)

<< < 1 > >>

Automatic Hint Generation for Logic Proof Tutoring Using Historical Data
Tiffany Barnes, and John Stamper Educational Technology \& Society 13(1):3--12 (2010)
to datamining hinting mdp by marvinschiller and 1 other user on Dec 2, 2011, 3:30 PM
BibTeX (0)
The Relative Effectiveness of Human Tutoring, Intelligent Tutoring Systems, and Other Tutoring Systems
Kurt VanLehn Educational Psychologist 46(4):197–221 (2011)
to effectiveness its step-based tutoring by marvinschiller on Dec 2, 2011, 12:53 PM
BibTeX (0)
Differences in Cognitive Distortions Between Pathological and Non-Pathological Gamblers with Preferences for Chance or Skill Games
Helga Myrseth, Geir Scott Brunborg, and Magnus Eidem Journal of Gambling Studies 26(4):561--569 (2010)
to chance cognitive distortions gambling skill by marvinschiller on Dec 13, 2010, 5:09 PM
BibTeX (0)
Longitudinal links between impulsivity, gambling problems and depressive symptoms: a transactional model from adolescence to early adulthood
Freédeéric Dussault, Mara Brendgen, Frank Vitaro, Brigitte Wanner, and Richard E. Tremblay Journal of Child Psychology and Psychiatry (2010)
to depression gambling impulsivity longitudial by marvinschiller on Dec 13, 2010, 5:08 PM
BibTeX (0)
Towards a Natural Representation of Mathematics in Proof Assistants
Fulya Horozal Saarland University, Saarbrücken, Germany, (2007)
to assistant comparison formalized mathematics proof by marvinschiller on Feb 14, 2010, 5:27 PM
BibTeX (0)
Resource-Adaptive Cognitive Processes
Christoph Benzmüller, Marvin Schiller, and Jörg Siekmann chapter Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs, page 263 -- 283. Springer-Verlag Berlin Heidelberg, (2010)
to imported by marvinschiller on Dec 18, 2009, 3:10 PM
BibTeX (0)
Approaching Proof in a Community of Mathematical Practice
Kirsti Hemmi Department of Mathematics, Stockholm University, (2006)
to communities cop mathematics practice proof by marvinschiller on Dec 17, 2009, 1:49 PM
URL | BibTeX (0)
Automatic analysis of proof in a computer-based environment
Jana Trgalova, and Hamid Chaachoua Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, page 226 --231. (2009)
to assessment geometry imported by marvinschiller on Dec 15, 2009, 3:00 PM
BibTeX (0)
Granularity-Adaptive Proof Presentation
Marvin Schiller, and Christoph Benzmüller Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)
to adaptive granularity presentation proof reasoning by marvinschiller and 1 other user on Aug 25, 2009, 10:21 PM
BibTeX (0)
Presenting Proofs with Adapted Granularity
Marvin Schiller, and Christoph Benzmüller KI 2009: Advances in Artificial Intelligence, 5803, page 289-279. Berlin Heidelberg, Springer Verlag, (2009)
to granularity presentation proof by marvinschiller on Aug 25, 2009, 7:52 PM
BibTeX (0)
Proof Step analysis for proof tutoring -- a learning approach to granularity
Marvin Schiller, Dominik Dietrich, and Christoph Benzmüller Teaching Mathematics and Computer Science. 6(2):325 -- 343 (2008)
to imported by marvinschiller on Apr 15, 2009, 2:24 PM
BibTeX (0)
Addressing Formally-Flawed Mathematical Formulas in Tutorial Dialogs Error Analysis for Supporting Informed Reactions
Helmut Horacek, and Magdalena Wolska (2008)
to mathematics tutoring by marvinschiller on Mar 12, 2009, 1:25 PM
BibTeX (0)
Proof Granularity as an Empirical Problem?
Marvin Schiller, and Christoph Benzmüller Proc. Computer Science in Education CSEDU, INSTICC Press, (2009)
to imported by marvinschiller on Mar 8, 2009, 9:12 PM
BibTeX (0)
Granularity-Adaptive Proof Presentation
Marvin Schiller, and Christoph Benzmüller SWP-2009-01. SEKI Working-Paper, (2009)
to imported by marvinschiller and 1 other user on Mar 8, 2009, 9:10 PM
BibTeX (0)
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
Noboru Matsuda, and Kurt VanLehn Proceedings of The 12th International Conference on Artificial Intelligence in Education, page 443 -- 450. Amsterdam, IOS Press, (2005)
to ITS geometry imported proof tutoring by marvinschiller and 1 other user on Dec 29, 2008, 11:08 PM
BibTeX (0)
Deduction using the ProofWeb system
Cezary Kaliszyk, Femke van Raamsdonk, Freek Wiedijk, Hanno Wupper, Maxim Hendriks, and Roel de Vrijer ICIS--R08016. Radboud University Nijmegen, (September 2008)
to deduction imported proofweb tutoring by marvinschiller on Nov 17, 2008, 11:15 AM
BibTeX (0)
A comparative evaluation of socratic versus didactic tutoring
Carolyn Penstein Rosé, Johanna D. Moore, Kurt VanLehn, and David Albritton 23rd Annual Conference of the Cognitive Science Society, page 897 -- 902. Edinburgh, Scotland, Lawrence Erlbaum Associates Inc, USA, (August 2001)
to ITS imported tutoring by marvinschiller on Oct 13, 2008, 3:56 PM
BibTeX (0)
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material
Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbajova, Marvin Schiller, and Magdalena Wolska Proceedings of International Conference on Language Resources and Evaluation LREC 2006, Genoa, Italy, ELDA, (2006)
to WOZ imported by marvinschiller on Sep 24, 2008, 4:45 PM
BibTeX (0)
Using Dialogue to Learn Math in the LeActiveMath Project
Charles Callaway, Myroslava Dzikovska, Colin Matheson, Johanna Moore, and Claus Zinn Proceedings of the ECAI Workshop on Language-enhanced Educational Technology, page 1--8. Riva del Garda, Italy, (2006)
to imported by marvinschiller on Sep 24, 2008, 4:30 PM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper