Marvin J. Croy

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Predicate Logic

Experimental Evaluation

Synthetic And Real Datasets

Top Venues

Int. J. Artif. Intell. Educ.

Publications

John C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy
Experimental Evaluation of Automatic Hint Generation for a Logic Tutor. Int. J. Artif. Intell. Educ. 22 (1-2) (2013)
John C. Stamper, Tiffany Barnes, Marvin J. Croy
Enhancing the Automatic Generation of Hints with Expert Seeding. Int. J. Artif. Intell. Educ. 21 (1-2) (2011)
Behrooz Mostafavi, Tiffany Barnes, Marvin J. Croy
Automatic Generation of Proof Problems in Deductive Logic. EDM (2011)
John C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy
Experimental Evaluation of Automatic Hint Generation for a Logic Tutor. AIED (2011)
John C. Stamper, Tiffany Barnes, Marvin J. Croy
Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems. EDM (2010)
John C. Stamper, Tiffany Barnes, Marvin J. Croy
Enhancing the Automatic Generation of Hints with Expert Seeding. Intelligent Tutoring Systems (2) (2010)
Tiffany Barnes, John C. Stamper, Lorrie Lehmann, Marvin J. Croy
A pilot study on logic proof tutoring using hints generated from historical student data. EDM (2008)
John C. Stamper, Tiffany Barnes, Marvin J. Croy
Extracting Student Models for Intelligent Tutoring Systems. AAAI (2007)
Marvin J. Croy
Ethical Issues Concerning Expert Systems' Application in Education. AI Soc. 3 (3) (1989)
Marvin J. Croy
The use of CAI to enhance human interaction in the learning of deductive proof construction. Comput. Humanit. 22 (4) (1988)