1. Logic Theorist: All code for Logic Theorist
2. Mobile Robots: Learning concepts from sensor data of a mobile robot; set of data sets
3. Moral Reasoner: Horn-clause model that qualitatively simulates moral reasoning; Theory includes negated literals
4. 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.
5. SMS Spam Collection: The SMS Spam Collection is a public set of SMS labeled messages that have been collected for mobile phone spam research.
6. 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.