Software
March 3rd, 2011
These pages contain software and plugins developed by members of the Knowledge Representation and Reasoning group. Installation details and instructions on how to use each piece of software is given on the relevant page.