Journal papers

• "Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems," by M. Makatchev, P. W. Jordan, K. VanLehn. Journal of Automated Reasoning, Special Issue: Automated Reasoning and Theorem Proving in Education, vol. 32, issue 3, pp. 187-226, 2004. A corrected draft is available: pdf. Errata.

Papers in refereed workshops and conferences

• Human-robot dialogue:
  • "Incorporating a User Model to Improve Detection of Unhelpful Robot Answers," by Maxim Makatchev and Reid Simmons. Int. Symp. on Robot and Human Interactive Communication, RO-MAN'2009, September 2009, pp. 973-978. abstract and pdf
  • "How do people talk with a robot? An analysis of human-robot dialogues in the real world," by Min Kyung Lee and Maxim Makatchev. Proc. of Int. Conf. on Human factors in computing systems, CHI'2009, April, 2009. pdf
  • "Relating initial turns of human-robot dialogues to discourse," by Maxim Makatchev, Min Kyung Lee, and Reid Simmons. Late-breaking paper for Conf. on Human-Robot Interaction, HRI'2009, March, 2009. pdf

• Anomaly detection:
  • "Learning Outbreak Regions in Bayesian Spatial Scan Statistics," by Maxim Makatchev and Daneil B. Neill, Proc. ICML Workshop on Machine Learning for Health Care Applications, Helsinki, Finland, July 2008. pdf

• Logic-based and statistical NLP and user modeling:
  • "Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances," by Maxim Makatchev and Kurt VanLehn, Proc. Int. Conf. on AI in Education, AIED2007, Los Angeles, July 2007. pdf (acceptance rate: 0.3)
  • "Understanding Complex Natural Language Explanations in Tutorial Applications," by Pamela Jordan, Maxim Makatchev, Umarani Pappuswamy. Proc. Workshop on Scalable Natural Language Understanding (ScaNaLU), HLT/NAACL, New York City, June 2006, pp. 17-24. pdf
  • "A Natural Language Tutorial Dialogue System for Physics," by Pamela Jordan, Maxim Makatchev, Umarani Pappuswamy, Kurt VanLehn and Patricia Albacete. Proc. Int. FLAIRS Conf., Florida, 2006. pdf
  • "Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System," by Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan and Umarani Pappuswamy. Proc. Int. FLAIRS Conf., Florida, 2006. pdf
  • "Analyzing Completeness and Correctness of Utterances Using an ATMS," by Maxim Makatchev and Kurt VanLehn. Proc. Int. Conf. on AI in Education, AIED2005, Amsterdam, Netherlands, IOS Press, pp. 403-410. pdf (acceptance rate: 0.31)
  • "Mixed Language Processing in the Why2-Atlas Tutoring System," by Maxim Makatchev, Brian S. Hall, Pamela W. Jordan, Umarani Pappuswamy, and Kurt VanLehn. Proc. of Workshop on Mixed Language Explanations in Learning Environments, AIED2005, Amsterdam, Netherlands. pdf
  • "Relating Student Text to Ideal Proofs: Issues of Efficiency of Expression," by Pamela W. Jordan, Maxim Makatchev, Umarani Pappuswamy. Proc. of Workshop on Mixed Language Explanations in Learning Environments, AIED2005, Amsterdam, Netherlands. pdf
  • "Modeling Students' Reasoning about Qualitative Physics: Heuristics for Abductive Proof Search," by Maxim Makatchev, Pamela W. Jordan, and Kurt VanLehn. Proc. Int. Conf. on Intelligent Tutoring Systems, Maceió, Alagoas, Brazil, August 30-September 3, 2004, Springer LNCS, vol. 3220, pp. 699-709. pdf (acceptance rate: 0.39)
  • "Combining Competing Language Understanding Approaches in an Intelligent Tutoring System," by Pamela W. Jordan, Maxim Makatchev, and Kurt VanLehn. Proc. Int. Conf. on Intelligent Tutoring Systems, Maceió, Alagoas, Brazil, August 30-September 3, 2004, Springer LNCS, vol. 3220, pp. 346-357. pdf (acceptance rate: 0.39)
  • "Abductive Proofs as Models of Students' Reasoning about Qualitative Physics," by Maxim Makatchev, Pamela W. Jordan, Umarani Pappuswamy and Kurt VanLehn. Proc. Int. Conf. on Cognitive Modelling, Pittsburgh, July 30-August 1, 2004, Lawrence Erlbaum Associates Publishers, Mahwah, New Jersey, pp. 166-171. pdf
  • "Abductive Proofs as Models of Qualitative Reasoning," by Maxim Makatchev, Pamela W. Jordan, Umarani Pappuswami and Kurt VanLehn. Int. Workshop on Qualitative Reasoning, Evanston, Illinois, USA, August 2-4, 2004, pp. 11-18. pdf
  • "The Architecture of Why2-Atlas: A Coach for Qualitative Physics Essay Writing," by Kurt VanLehn, Pamela W. Jordan, Carolyn P. Rose, Dumisizwe Bhembe, Michael Boettner, Andy Gaydos, Maxim Makatchev, Umarani Pappuswamy, Michael Ringenberg, Antonio Roque, Stephanie Siler, and Ramesh Srivastava. Proc. 6th Int. Conf. Intelligent Tutoring Systems, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Springer LNCS, vol. 2363, pp. 158-167. pdf
  • "Abductive Theorem Proving for Analyzing Student Explanations," by P. W. Jordan, M. Makatchev, K. VanLehn. Artificial Intelligence in Education. Proc. of Int. Conf. on AI in Education, AIED 2003, Sydney, Australia, IOS Press, pp. 73-80. pdf (acceptance rate: <0.3)
  • "Extended Explanations as Student Models for Guiding Tutorial Dialogue," by P. W. Jordan, M. Makatchev, U. Pappuswamy. Natural Language Generation in Spoken and Written Dialogue, 2003 AAAI Spring Symposium Technical Report, SS-03-06, pp. 65-70. pdf
   

• Modeling, control and human-robot interface for mobile robots:
  • "System Design, Modelling, and Control of a Four-Wheel-Steering Mobile Robot," by Maxim Makatchev, John J. McPhee, S. K. Tso, Sherman Y. T. Lang. Proc. 19th Chinese Control Conference, Hong Kong, China, December 6-8, 2000, pp. 759-763 . ps.gz (843K)
  • "Human-Robot Interface Using Agents Communicating in an XML-Based Markup Language," by Maxim Makatchev, S. K. Tso. Proc. IEEE Int. Workshop on Robot and Human Interactive Communication, RO-MAN 2000, Osaka, Japan, September 27-29, 2000, pp. 270-275. pdf (557K)
  • "Cross-Coupling Control for Slippage Minimization of a Four-Wheel-Steering Mobile Robot," by Maxim Makatchev, Sherman Y. T. Lang, S. K. Tso, John J. McPhee. Proc. International Symposium on Robotics, Montreal, Canada, May 14-17, 2000, pp. 42-47. ps.gz (756K)
   

• Complexity of picture language recognition:
  • "On the Complexity of Image Processing and Pattern Recognition Algorithms," by Maxim Makatchev and Sherman Y. T. Lang. Proc. Int. Workshop on Image, Speech, Signal Processing and Robotics, Hong Kong, September 3-4, 1998, vol. 1, pp. 217-222. ps.gz (117K). Also presented at the International Conference on Theoretical Computer Science, in Honour of Prof. Manuel Blum's 60th Birthday, 20-24 April, 1998, City University of Hong Kong.
   

Talks

• "On the Complexity of Image Processing and Pattern Recognition Algorithms," by Maxim Makatchev and Sherman Y. T. Lang. International Conference on Theoretical Computer Science, in Honour of Prof. Manuel Blum's 60th Birthday, 20-24 April, 1998, City University of Hong Kong.

Reports and drafts

• "BlindAid: An Electronic Travel Aid for the Blind," by Sandra Mau, Nik Melchior, Maxim Makatchev and Aaron Steinfeld. Tech. report CMU-RI-TR-07-39, Robotics Institute, Carnegie Mellon University, May, 2008. pdf
• "Modelling and Control of a Four-Wheel-Steering Mobile Robot," by Maxim Makatchev, John J. McPhee, S. K. Tso, Sherman Y. T. Lang. (Draft). ps.gz (449K)
• "On the Cell-based Complexity of Recognition of Bounded Configurations by Finite Dynamic Cellular Automata," by Maxim Makatchev. (Draft). arXiv:cs.CC/0210009.

Non-research

• Something for a high-schooler: "Why Has Indefinite Integral Got +C?", 1999-2000.