Maxim Makatchev's Publications
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:
- 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
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.