The use of CAI to enhance human interaction in the learning of deductive proof construction. - Marvin J. Croy (Comput. Humanit., 1988)

Ethical Issues Concerning Expert Systems' Application in Education. - Marvin J. Croy (AI Soc., 1989)

Extracting Student Models for Intelligent Tutoring Systems. - John C. Stamper; Tiffany Barnes; Marvin J. Croy (AAAI, 2007)

A pilot study on logic proof tutoring using hints generated from historical student data. - Tiffany Barnes; John C. Stamper; Lorrie Lehmann; Marvin J. Croy (EDM, 2008)

Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems. - John C. Stamper; Tiffany Barnes; Marvin J. Croy (EDM, 2010)

Automatic Generation of Proof Problems in Deductive Logic. - Behrooz Mostafavi; Tiffany Barnes; Marvin J. Croy (EDM, 2011)

Enhancing the Automatic Generation of Hints with Expert Seeding. - John C. Stamper; Tiffany Barnes; Marvin J. Croy (Int. J. Artif. Intell. Educ., 2011)

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor. - John C. Stamper; Michael Eagle; Tiffany Barnes; Marvin J. Croy (Int. J. Artif. Intell. Educ., 2013)