Marvin J. Croy

According to our database, Marvin J. Croy authored at least 8 papers between 1988 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Automatic Generation of Proof Problems in Deductive Logic.

Behrooz Mostafavi, Tiffany Barnes, Marvin J. Croy

Proceedings of the 4th International Conference on Educational Data Mining, 2011

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor.

John C. Stamper, Michael Eagle, Tiffany Barnes, Marvin J. Croy

Proceedings of the Artificial Intelligence in Education - 15th International Conference, 2011

2010

Enhancing the Automatic Generation of Hints with Expert Seeding.

John C. Stamper, Tiffany Barnes, Marvin J. Croy

Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010

Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems.

John C. Stamper, Tiffany Barnes, Marvin J. Croy

Proceedings of the Educational Data Mining 2010, 2010

2008

A pilot study on logic proof tutoring using hints generated from historical student data.

Tiffany Barnes, John C. Stamper, Lorrie Lehmann, Marvin J. Croy

Proceedings of the Educational Data Mining 2008, 2008

2007

Extracting Student Models for Intelligent Tutoring Systems.

John C. Stamper, Tiffany Barnes, Marvin J. Croy

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

1989

Ethical Issues Concerning Expert Systems' Application in Education.

Marvin J. Croy

AI Soc., 1989

1988

The use of CAI to enhance human interaction in the learning of deductive proof construction.

Marvin J. Croy

Comput. Humanit., 1988