Publications

Dissertation

Papers

• (with Ingrid Russell, Zdravko Markov) Throw Down an AI Challenge, in Using AI to Motivate Greater Participation in Computer Science, Papers from the AAAI Spring Symposium, Technical Report SS-08-08, AAAI Press, 2008.
• (with Zdravko Markov, Ingrid Russell, and Neli Zlatareva) Pedagogical Possibilities for the N-Puzzle Problem, Proceedings of the 36th ASEE/IEEE Frontiers in Education Conference, October 28-31, 2006, San Diego, California (PDF, resources)
• (with Zdravko Markov, Ingrid Russell) Clue Deduction: Professor Plum Teaches Logic, Proceedings of the 19th International FLAIRS Conference (FLAIRS-2006), Melbourne Beach, Florida, May 11-13, 2006, pp. 214-219 (PDF, PPT, resources).
• (with Clifton G.M. Presser, Ingrid Russell, Zdravko Markov) Pedagogical Possibilities for the Dice Game Pig, Journal of Computing Sciences in Colleges, vol. 21, no. 6, pp. 149-161, June 2006 (PDF, PPT, resources).
• (with Clifton G.M. Presser) Pigtail: A Pig Addendum, The UMAP Journal 26(4) (2005), pp. 443-458.
• (with Zdravko Markov, Ingrid Russell, and Susan Coleman) Enhancing Undergraduate AI Courses through Machine Learning Projects, Proceedings of the 35th ASEE/IEEE Frontiers in Education Conference, October 19-22, 2005, Indianapolis, Indiana.
• (with Ingrid Russell, Zdravko Markov, Michael Georgiopoulos, and Susan Coleman) Unifying an Introduction to Artificial Intelligence Course through Machine Learning Laboratory Experiences, Proceedings of the 25th American Society for Engineering Education Annual Conference and Exposition, Portland, Oregon, June 12-15, 2005, ASEE Press.
• Teaching Stochastic Local Search, in I. Russell and Z. Markov, eds. Proceedings of the 18th International FLAIRS Conference (FLAIRS-2005), Clearwater Beach, Florida, May 15-17, 2005, AAAI Press, pp. 8-13.
• (with Clifton G.M. Presser) Optimal Play of the Dice Game Pig, The UMAP Journal 25(1) (2004), pp. 25-47.
• (with Ingrid Russell) Implementing the Intelligent Systems Knowledge Units of Computing Curricula 2001, in the Proceedings of Frontiers in Education Conference (FIE ’03), Boulder, Colorado, November 5-8, 2003, IEEE Press. (PDF, PS)
• (with David C. Hettlinger ‘04)  Learning Annealing Schedules for Channel Routing, in H. R. Arabnia and L. T. Yang, eds. Proceedings of the International Conference on VLSI (VLSI ’03), Las Vegas, Nevada, June 23-26, 2003, pp. 298-302, Computer Science Research, Education, & Applications (CSREA) Press, Las Vegas, 2003. (PDF, PS)
• (with Amy J. Kerr ‘03, Christopher J. La Pilla ‘04, and Michael D. Schompert ‘03)  Java Resources for Teaching Reinforcement Learning, in H. R. Arabnia and Y. Mun, eds. Proceedings of the International Conference on Parallel and Distributed Processing Techiniques and Applications (PDPTA ’03), Las Vegas, Nevada, June 23-26, 2003, pp. 1497-1501, Computer Science Research, Education, & Applications (CSREA) Press, Las Vegas, 2003. (PDF, PS)
• Iterative-Refinement for Action Timing Discretization, in Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'02), pages 492-497, Menlo Park, CA, USA, 2002. AAAI Press. (PDF)
• Extended Abstract: Action Timing Discretization with Iterative-Refinement, in Sven Koenig and Robert C. Holte, eds., LNAI 2371: Abstraction Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2002, Proceedings, pages 170-177. Springer, Berlin, 2002. (PDF)
• Action-Based Discretization for AI Search, in S. Marshall, ed., Proceedings of the Game Developers Conference 2002 (GDC 2002, San Jose Convention Center, San Jose, California, USA, 2002), CMP United Business Media LLC, 2002. (PDF, DOC) Available through Gamasutra. See also http://www.gdconf.com/archives/2002/.
• Information-Based Alpha-Beta Search and the Homicidal Chauffeur, in C.T. Tomlin and M.R. Greenstreet, eds., Lecture Notes in Computer Science 2289, Hybrid Systems: Computation and Control, Proceedings of the Fifth International Workshop (HSCC '02, Stanford University, Palo Alto, California, USA, 2002), pp. 323-336, Springer Verlag, 2002. (abstract, PDF)


• Heuristic Optimization and Dynamical System Safety Verification, in P. Antsaklis et al, eds., Lecture Notes in Computer Science 1567, Hybrid Systems V: Proceedings of the Fifth International Workshop on Hybrid Systems (HS '97, Center for Continuing Education, University of Notre Dame, South Bend, IN, USA, 1997), Springer Verlag, 1999. (abstract)
• Information-Based Optimization Approaches to Dynamical System Safety Verification, in Henzinger, T.A. and Sastry, S. (eds.), Lecture Notes in Computer Science 1386, Proceedings of Hybrid Systems: Computation and Control (HSCC '98), First International Workshop, Berkeley, California, USA, April 1998 , Springer Verlag, 1998. (abstract) 
• Chouiery, B. et. al. Toward a Practical Theory of Reformulation for Reasoning about Physical Systems,
• Proceedings of the Symposium on Abstraction, Reformulation, and Approximation (SARA '98), pp. 25-36, Pacific Grove, CA, 1998.
• Proceedings of the 12th International Workshop on Qualitative Reasoning (QR '98), AAAI Technical Report WS-98-01, pp. 21-31, Cape Cod, MA, 1998.
• Technical Report KSL-98-18, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Stanford, CA, 1998.
• Preliminary Thoughts on the Application of Real-Time AI Game-Tree Search to Control, in Proceedings of the IFAC Symposium on Artificial Intelligence in Real-Time Control, October 5-8, 1998, Grand Canyon National Park, Arizona, USA, Elsevier Science, Oxford, UK, 1998. (abstract)
• Algorithms for Real-Time Game-Tree Search for Hybrid System Control, in Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems of the AAAI-1999 Spring Symposium Series, AAAI Technical Report SS-99-05, pp. 138-143, AAAI Press, Menlo Park, California, USA, March, 1999. (abstract)
• Extending Search for Hybrid Systems: Action Timing in Real-Time Autonomous Systems of the AAAI-2000 Spring Symposium Series, March 20-22, 2000, Stanford University, Stanford, California, USA. (abstract)

Posters

• (with Ingrid Russell and Zdravko Markov) Teaching AI Through Machine learning Projects, abstract in Proceedings of the 11th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'06), June 26-28, 2006, Bologna, Italy, ACM Press, p. 323.

Talks

• Throw Down an AI Challenge, in Using AI to Motivate Greater Participation in Computer Science, Papers from the AAAI Spring Symposium, Technical Report SS-08-08, AAAI Press, March 27, 2008 (PDF slides, PDF paper, HTML).
• (with Megan Knauss '09) Dudo: Exploring the Incan Bluffing Dice Game, Friday Faculty Luncheon, Gettysburg College, Gettysburg, Pennsylvania, February 8th, 2008. (PDF, HTML)
• Clue Deduction: Professor Plum Teaches Logic, 19th International FLAIRS Conference (FLAIRS-2006), Melbourne Beach, Florida, May 11-13, 2006 (PDF, PPT, resources).
• Pedagogical Possibilities for the Dice Game Pig, Papers of the Eleventh Annual CCSC Northeastern Conference, April 21-22, 2006, College of the Holy Cross, Worcester, MA in the Journal of Computing Sciences in Colleges, vol. 21, no. 6, pp. 149-161, June 2006 (PDF, PPT, resources).
• The Game of Go: from ancient art to modern research, Friday Faculty Luncheon, Gettysburg College, Gettysburg, Pennsylvania, September 30th, 2005.
• Teaching Stochastic Local Search, 18th International FLAIRS Conference (FLAIRS-2005), Clearwater Beach, Florida, May 15-17, 2005 (PPT, resources).
• Implementing the Intelligent Systems Knowledge Units of Computing Curricula 2001, in the Proceedings of Frontiers in Education Conference (FIE ’03), Boulder, Colorado, November 5-8, 2003, IEEE Press. (PDF, PS, resources)
• (with Ingrid Russell, Michael Georgiopoulis, Jose Castro, Daniel McCracken, Laurie King, and Dennis Bouvier) Condensing the CC-2001 Core in an Integrated Curriculum, Journal of Computing Sciences in Colleges, vol. 18, no. 5, pp. 65-69, May 2003. (PDF, PS, resources)
• (with David Hettlinger '04 and Amy Kerr '03) Applying Machine Learning to Circuit Design, Mathematics and Computer Science Colloquium, Gettysburg College, Gettysburg, Pennsylvania, December 5th, 2002.
• Forging Word Puzzles: From Blacksmithing to Wordsmithing,
• Mathematics Colloquium, Gettysburg College, Gettysburg, Pennsylvania, October 20th, 2005.
• Friday Faculty Luncheon, Gettysburg College, Gettysburg, Pennsylvania, November 22nd, 2002.
• Action Timing Discretization with Iterative-Refinement , at the 5th International Symposium on Abstraction, Reformulation, and Approximation (SARA '02), Kananaskis, Alberta, Canada, August 2002.
• Pondering Probabilistic Play Policies for Pig,
  • Computer Science Colloquium, Middlebury College, Middlebury, Vermont, November 11th, 2005.
  • Computer Science Colloquium, Vassar College, Poughkeepsie, New York, February, 2003.
  • Mathematics and Computer Science Colloquium, Gettysburg College, Gettysburg, Pennsylvania, April 4th, 2002.
  • Mathematics Seminar, Shippensburg University, Shippensburg, Pennsylvania, December 3rd, 2002.
• Information-Based Alpha-Beta Search and the Homicidal Chauffeur, at Hybrid Systems: Computation and Control, the Fifth International Workshop (HSCC '02, Stanford University, Palo Alto, California, USA, 2002).
• Action-Based Discretization for AI Search, at the Game Developers Conference 2002 (GDC 2002, San Jose Convention Center, San Jose, California, USA, 2002). (See also Recursive Best-First Search Example handout (HTML) or (DOC).)
• Heuristic Optimization and Dynamical System Safety Verification at Hybrid Systems V, University of Notre Dame, September 12th, 1997 (see also paper).
• Information-Based Optimization Approaches to Dynamical System Safety Verification, at Hybrid Systems: Computation and Control (HSCC '98), First International Workshop, Berkeley, California, USA, April 15th, 1998 (see also paper).
• AI Game-Tree Search for Hybrid System Control, at the IFAC Symposium on Artificial Intelligence in Real-Time Control, October 5-8, 1998, Grand Canyon National Park, Arizona, USA (see also paper).
• AI Game-Tree Search for Real-Time Hybrid System Control, at the American Association of Artificial Intelligence 1999 Spring Symposium on Hybrid Systems and AI: Modeling, Analysis, and Control of Discrete and Continuous Systems, March 21-23, 1999, Stanford University, Palo Alto, California, USA (see also paper).

Todd Neller