1. Logic Theorist: All code for Logic Theorist
2. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals
3. Mobile Robots: Learning concepts from sensor data of a mobile robot; set of data sets
4. Taxi Service Trajectory - Prediction Challenge, ECML PKDD 2015: An accurate dataset describing trajectories performed by all the 442 taxis running in the city of Porto, in Portugal.
5. Relative location of CT slices on axial axis: The dataset consists of 384 features extracted from CT images. The class variable is numeric and denotes the relative location of the CT slice on the axial axis of the human body.
6. SMS Spam Collection: The SMS Spam Collection is a public set of SMS labeled messages that have been collected for mobile phone spam research.