Automated Reasoning II

Resolution over FOPL

Review: Social Media and Abstract Nouns

The revision slides for our Social Media course, contains major lessons learned throughout the course, and an example exam question (on trust).

Programming Principles: Abstract Classes and Interfaces

In this session we look at how to use Abstract Classes and Interfaces in Object Oriented Design - especially as a way to get all the advantages of multiple inheritance without any of the problems.

Stream Reasoning with Linked Data

Slides describing streaming data, data stream processing systems and stream reasoning Also we have some description of CSPARQL

Variety in Chemistry Education / Physics Higher Education Conference 2016 abstract submission.

Abstract submission form. More information available on conference website.