Current Projects

Automated User-Centered Reasoning and Acquisition System The 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.

Publications

The following are in reverse chronological order of publication.
[View All]

• 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]