1. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals 2. Syskill and Webert Web Page Ratings: This database contains HTML source of web pages plus the ratings of a single user on these web pages. Web pages are on four seperate subjects (Bands- recording artists; Goats; Sheep; and BioMedical) 3. Mechanical Analysis: Fault diagnosis problem of electromechanical devices; also PUMPS DATA SET is newer version with domain theory and results 4. Northix: Northix is designed to be a schema matching benchmark problem for data integration of two entity relationship databases. |