* Invited
> Peer Reviewed
>2010: Croy, M. & Alexander, G.., “Connectionist Modeling of Student Pattern Matching Data,” North American Computing and Philosophy Conference, Carnegie Mellon University.
>2010: Stamper, J., Barnes, T., & Croy, M., “Enhancing Hints with Expert Seeding,” Intelligent Tutoring Systems Conference, Pittsburgh, Carnegie Mellon University.
>2009: Croy, M. & Riehm, M., “Modeling Deductive Pattern Matching via a Complex Adaptive System,” European Computing and Philosophy Conference, Universitat Autonoma de Barcelona, Spain.
>2009: Stamper, J. Barnes, T. & Croy, M., “Generation of Contextualized Help for Existing Computer Aided Instruction for Propositional Proof Construction,” North American Computing and Philosophy Conference, Indiana University.
>2008: Croy, M. “Using Natural-Language Proofs to Make Propositional Logic More Useful,” American Association of Philosophy Teachers, University of Guelph, Ontario, Canada.
>2008: Croy, M., Barnes, T., & Stamper, J., “(Initial Empirical Results of) Generating Helpful Hints for Propositional Proof Construction,” North American Computing and Philosophy Conference, Indiana University.
>2008: Croy, M., Barnes, T., & Stamper, J. “(System Design for) Generating Helpful Hints for Propositional Proof Construction,” European Computing and Philosophy Conference, Montpellier, France.
>2008: Stamper, J. , Barnes, Lehmann, L., & Croy, M. (2008). “The Hint Factory: Automatic Generation of Contextualized Help for Existing Computer Aided Instruction.” The 9th International Conference on Intelligent Tutoring, Montreal, Canada.
>2008: Barnes, T., Stamper, J., Lehmann, L., & Croy, M. “A Pilot Study on Logic Proof Tutoring Using Hints Generated from Historical Student Data.” 1st International Conference on Educational Data Mining Montreal, Canada.
*2008: “Using Educational Data Mining to Provide Hints for Proof Construction,” American Philosophical Association (Pacific Division Meeting).
> 2007: Stamper, J., Barnes, T., & Croy, M., “Extracting Student Models for Intelligent Tutoring Systems,” Association for the Advancement of Artificial Intelligence (Poster Session, Vancouver).
*2007: “Ethical Considerations in the Development of Intelligent Tutoring,” American Philosophical Association, Eastern Division meeting (Baltimore).
>2007: “Intelligent Tutoring for Deductive Proof Construction,” European Computing and Philosophy conference, University of Twente, Netherlands.
*2007: “David Collingridge and the Control of Technology,” American Philosophical Association, Central Division meeting (Chicago).
>2007: “Integrating Outcomes Assessment with Analyses of On-Line Instructional Data to Improve Reasoning Skills,” NC State Undergraduate Assessment Symposium (Cary, NC).
*2007: “Understanding the ‘No Significant Difference’ Phenomenon,” American Philosophical Association, Central Division meeting (Chicago).
>2007: Croy, M. and Chattin, S,, “Designing and Evaluating On-Line Critical Thinking Discussion,” The North Carolina Teaching, Learning, and Technology Conference, Raleigh, NC.
>2007: “On-line Instructional Techniques and Data Collection for Deductive Logic,” South Carolina Philosophical Society, Coastal Carolina University.
>2006: “Incrementalism and Instructional Technology Development” North American Computing and Philosophy Conference, Renssalaer Polytechnic University.
>2006: “Podcasting and the Teaching of Deductive Logic,” European Computing and Philosophy Conference, Norwegian University of Science and Technology, Trondheim, Norway.
>2006: “Facilitating the Teaching of Philosophy in Community Colleges: One Case and its Implications.” Workshop/Conference of the American Association of Philosophy Teachers. (With Scott Chattin).
>2006: “Advantages and Disadvantages of Instructional Java Applets,” The North Carolina Teaching, Learning, and Technology Conference, Raleigh, NC.
>2006: “Issues Concerning Scholarship in the Use of Technology in Teaching Deductive Logic,” Scholarship of Teaching and Learning Conference, Western Carolina University.
>2005: “Early Identification of Students Needing Special Assistance in a Course in Deductive Logic.” University of Leeds, United Kingdom.
>2005: “A Pragmatic Reasoning Schemas Approach to Improving the Teaching of Deductive Reasoning,” European Computing and Philosophy Conference, Mälardalen University, Sweden.
*2005: “Teaching On-Line Courses to On-Campus Students: Some Practical and Ethical Questions, American Philosophical Association (Pacific Division Meeting)
>2004: “Pedagogical Implications of Psychological Research on Reasoning.” American Association of Philosophy Teachers Workshop/Conference, University of Toledo.
>2004: “Evaluating Traditional, Hybrid, and Distance Education in Teaching Deductive Logic, ”The North Carolina Teaching, Learning, and Technology Conference, Charlotte, NC.
>2004: “Results of a Two Year Study on Modes of Teaching Deductive Logic,” European Computing and Philosophy Conference (Pavia, Italy).
*2004: “Evaluating Modes of Instruction in Teaching Deductive Logic,” American Philosophical Association (Central Division Meeting).
*2004: “Evaluating Modes of Instruction in Teaching Deductive Logic,” American Philosophical Association (Central Division Meeting).
>2003: “Continuing the Comparisons: Traditional, Hybrid, and Distance Education in Teaching Deductive Logic” Computing and Philosophy Conference, Oregon State University
>2003: “Comparing Traditional, Hybrid, and Distance Education in Teaching Deductive Logic,” European Conference on Computing and Philosophy, Glasgow, Scotland.
>2002: “Relevant Applications for Truth Functional Connectives”, American Association of Philosophy Teachers.
>2002: “Problem Solving, Cognitive Science, and the Teaching of Deductive Logic, Conference of the Reasoning Center, Virginia Commonwealth University.
>2001: “Recent Impact of Computers and Cognitive Science on the Teaching of Logic,” American Philosophical Association Eastern Division Meeting, Atlanta.
>2001: “An Interdisciplinary Approach to Using Web Based Materials for Teaching Cognitive Science.” 15th annual Computers and Philosophy conference, Carnegie-Mellon University.
>2000: “Sentential Proof Construction: Problem Solving, Empirical Studies, and Textbook Strategies,” 13th Biennial Conference on Teaching Philosophy, Alverno College.
>1999: “Developing Web Based Materials for Teaching Cognitive Science: A Project Overview,” 14th annual Computers and Philosophy conference, Carnegie-Mellon University.
>1998: “How Computers Are Changing Philosophy: CAI and Logic Instruction.”
Also, “Interface Design, Student Performance, and the Working Backwards Method of Proof Construction.” The 20th World Congress for Philosophy, Boston.
>1997: “Computer Technology, Distance Education, and Individualization in Higher Education,” Conference on Technology and Education: Asking the Right Questions, Pennsylvania State University.
>1997: “Individualization and the Historical Design of Deductive Proof Checking Programs” presented at the 12th annual Computers and Philosophy conference, Carnegie-Mellon University.
>1996: “Computer Technology and the Future of Higher Education in America,” presented at the 11th annual Computers and Philosophy conference, Carnegie-Mellon University.
>1995: “Collingridge and the Control of Educational Computer Technology,” presented at the annual meeting of the Society for Philosophy of Technology, Hofstra University.
>1994: “Multimedia Components as Help Modules in a Logic CAI Program” presented at the Software Fair of the Ninth Annual Conference on Computers and Philosophy, Occidental College, Los Angeles, California.
>1994: “Ethical/Social Implications of Computer Assessment of College Student Performance on Deductive Logic Exercises,” presented at The 11th International Conference on Technology and Education, Institute of Education, University of London, England. (Investigators: Green, Croy, & Cook).
>1993: “Results of a Two Year Study of Some Behavioral and Attitudinal Effects of Using CAI to Teach Logic,” presented at the Eighth Annual Conference on Computers and Philosophy, Carnegie-Mellon University. (Investigators: Croy, Cook, & Green).
>1991: “The Bearing of Computer Technology on Human Interaction and Individualization in Education,” The National Conference on Computing and Values, New Haven, CT. (Investigators: Croy, Green, & Cook).
>1990: “The Philosopher’s Burden: Facing Up to the Practical and Ethical Problems of Evaluating CAI,” presented at the Fifth International Conference on Computers and Philosophy, Stanford University.
*1990: “Ethics, Human Interaction, and Computer-Assisted Instruction – A Preview of an NSF-funded Project,” presented at the National Educational Computing Conference, Nashville, TN.
>1989: “A Mouse-Driven Graphic Interface for Deductive Proof Construction,” presented at the Fourth International Conference on Computers and Philosophy, Carnegie-Mellon University.
>1988: “The Usefulness of Propositional Logic for Natural Language Argument Reconstruction,” presented at the Seventh International Workshop/Conference on the Teaching of Philosophy, Amherst, MA.
>l988: “Ethical and Conceptual Questions About the Use of Expert Systems in Education,” presented at the Human Dimensions in Artificial Intelligence Symposium, University of Kentucky.
>l987: “Empirical Explorations of Student Deductive Proof Construction,” presented at the Second National Conference on Philosophy and Computers, Michigan State University.
>l987: “Using CAI to Increase the Effectiveness of Human Interaction in the Learning of Deductive Proof Construction,” presented at the Eighth International Conference on Computers and the Humanities, University of South Carolina.
>l986: “CAI, Data Collection, and In-Class Instruction,” presented at the Sixth International Workshop/Conference on the Teaching of Philosophy, Culver-Stockton College, Canton, Missouri.
>1986: “Logic CAI and the Capabilities of the PASCAL Programming Language,” Conference on Computer Use in Philosophy, sponsored by the American Association of Philosophy Teachers and Cleveland State University, Cleveland, Ohio.
*l985: “A Computer-Implemented Strategy for Solving Deductive Proof Problems in Propositional Logic”; presentation given at the Western Division Meeting of the American Philosophical Association, Chicago, Illinois.
>l984: “Choosing, Designing, and Evaluating Programs for Computer- Assisted Instruction in Logic”; workshop presented at the Fifth International Workshop/Conference on the Teaching of Philosophy, University of Toledo, Ohio.