Articles and Book Chapters – since 1993
Croy, M. (2015) Expanded articles (“Incrementalism” and “Social Engineering”) for the second edition of Ethics, Science, Technology, and Engineering: An International Resource, edited by J. Britt Holbrook and Carl Mitcham. Macmillan Reference.
Stamper, J., Eagle, M., Barnes, T., & Croy, M. (2013). Experimental evaluation of automatic hint generation for a logic tutor. International Journal of Artificial Intelligence in Education, 22(1), 3-17.
Croy, M. (2012) “Philosophical Foundations” (pp. 37-65) and “Problem Solving” (pp. 265-309), in Cognitive Science: An Interactive Approach, Paula Goolkasian, ed., National Social Science Press.
Stamper, J., Barnes, T., and Croy, M. (2011) Experimental Evaluation of Automatic Hint Generation for a Logic Tutor. In Kay, J., Bull, S. and Biswas, G. eds. Proceeding of the 15th International Conference on Artificial Intelligence in Education (AIED2011). pp. 345-352. Berlin Germany:Springer. [BEST PAPER Finalist]
Stamper, J., Barnes, T., Croy, M. (2011) “Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems.” International Journal of Artificial Intelligence in Education.
Barnes, T, Stamper, J., & Croy, M. (2011) “Using Markov decision processes for automatic hint generation,” Eds: Romero, Ventura, Pechenizkiy, & Baker (Eds.), Handbook on Educational Data Mining. CRC Press, pp. 467-480.
Croy, M. (2010). “Teaching the Practical Relevance of Propositional Logic”, Teaching Philosophy. 33(3), 253-270.
Stamper, J., Barnes, T., Croy, M. (2009) “Enhancing the Automatic Generation of Hints with Expert Seeding,” for V. Aleven & J. Kay (Eds.), Proceedings of the 10th International Conference on Intelligent Tutoring Systems.
Croy, M., Barnes, T., and Stamper, J. (2008). “Towards an Intelligent Tutoring System for Propositional Proof Construction,” in Computing and Philosophy, A. Briggle, K. Waelbers, and P. Brey (Eds.), IOS Press, Amsterdam, Netherlands pp. 145-155.
Stamper, J., Barnes, T., Lehmann, L., Croy, M (2008). “The Hint Factory: Automatic Generation of Contextualized Help for Existing Computer Aided Instruction. ” In G. Gouarderes, & R.M. Vicari (Eds.) Proceedings of the 9th International Conference on Intelligent Tutoring Systems, pp. 71-78. Montreal, Canada.
Stamper, J., Barnes, T., Croy, M. (2007) “Extracting Student Models for Intelligent Tutoring Systems.” In Proceedings of the 22nd AAAI Conference on Artificial Intelligence, Menlo Park, CA: AAAI Press, pp. 1900-1901.
Croy, M. (2005). “Incrementalism” and “Social Engineering” Encyclopedia of Science, Technology and Ethics, Macmillan.
Croy, M. (2004). “Making Useful Comparisons of Traditional, Hybrid, and Distance Approaches to Teaching Deductive Logic,” Discourse, 4(1), 159-170.
Croy, M. (2002). ” Philosophy of Mind, Cognitive Science, and Pedagogical Technique,” Metaphilosophy, 33(1), 49-69. (Re-Printed in Cyber Philosophy: the Intersection of Computing and Philosophy, Oxford: Blackwell.)
Croy, M. (2000). “Problem Solving, Working Backwards, and Graphic Proof Representation,” Teaching Philosophy, 23(2), 169-187. (Word Version)(PDF Version)
Croy, M. (2000) “Faculty as Machine Monitors in Higher Education?,” Bulletin of Science, Technology, and Society, 20(2), 106-114.
Croy, M. (1999). “Graphic Interface Design and Deductive Proof Construction,” Journal of Computers in Mathematics and Science Teaching. (pdf version)
Croy M. (1998). “Distance Education, Individualization, and the Demise of the University,” Technology in Society, 20, 317-326.
Croy, M. (1997). “An Incrementalist View of Proposed Uses of Information Technology in Higher Education,” Philosophy in the Contemporary World, 4, 1-9. (pdf version)
Croy, M. (1996). “Collingridge and the Control of Educational Computer Technology,” Techné: Journal of the Society for Philosophy and Technology , 1(4), 1-15.
Croy, M., Green, M., & Cook, J. (1995) “Assessing the Impact of a Proposed Expert System via Simulation,” Journal of Educational Computing Research, 13, 1-15.
Croy, M., Cook, J., & Green, M. (1993) “Human versus Computer Feedback : An Empirical and Pragmatic Study,” Journal of Research in Computers and Education, 27, 185-204.
Croy, M. (1993) “CAI to Enhance Human Interaction in Learning Deductive Proof Construction,” in 101 Success Stories of Information Technology in Higher Education: The JoeWyatt Challenge. edited by J. V. Boettcher, New York : McGraw-Hill, Inc., pp. 501-506.