SRI International
Room EJ272
333 Ravenswood Avenue
Menlo Park, CA 94025-3493
USA
Fax: (650) 859-3735
Home Page: http://stijnheymans.net
 |
Automated User-Centered Reasoning and Acquisition SystemThe goal of this project is to build a generic knowledge acquisition capability for Physics, Chemistry, and Biology. Using the system, the scientists will be able to formulate their knowledge in the three science domains, and the high school students will be able to pose Advanced-Placement style questions and get user appropriate explanations. |
The following are in reverse chronological order of publication.
[View All]
Yorke-Smith, N. and Heymans, S. and Chaudhri, V. Responding to Hypothetical Questions in an Intelligent Tutoring Agent, in Proceedings of 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'13), St Paul, MN, May 2013. [Details]
Vinay K. Chaudhri, Stijn Heymans, Michael Wessel, Son Cao Tran. Object-Oriented Knowledge Bases in Logic Programming, Technical Report . SRI International, 2013. [PDF, Details]
Vinay K. Chaudhri and Michael A. Wessel and Stijn Heymans. KB_Bio_101: A Challenge for TPTP First-Order Reasoners, in CADE-24 Workshop on Knowledge Intensive Automated Reasoning, 2013. [PDF, Details]
Chaudhri, V. K. and Heymans, S. and Yorke-Smith, N. Proces Interruption Reasoning, in Proceedings of the 2nd Deep Knowledge Representation and Reasoning Challenge Workshop, Playa Vista, CA, July 2012. [PDF, Details]
