1. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals 2. Student Loan Relational: Student Loan Relational Domain 3. Japanese Credit Screening: Includes domain theory (generated by talking to Japanese domain experts); data in Lisp 4. USPTO Algorithm Challenge, run by NASA-Harvard Tournament Lab and TopCoder Problem: Pat: Data used for USPTO Algorithm Competition. Contains drawing pages from US patents with manually labeled figure and part labels. |