1. Japanese Credit Screening: Includes domain theory (generated by talking to Japanese domain experts); data in Lisp
2. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals
3. 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.
4. Student Loan Relational: Student Loan Relational Domain