A Child's Story to Illustrate Automated Reasoning Systems Using Opportunity and History.

James D. Jones, Hemant Joshi, Umit Topaloglu, Eric Nelson

Browse the full ISI paper archive.