Summary of Accomplishments
Solution of over 150 CMCP questions
Developed a KB covering terrorist and military information
Models for benefit/risk and capability analysis
Developed a user assistant for question answering
Improved reasoning with sorts
Interfaced SNARK with Ocelot using OKBC