Software Development

One of the aims of the RAPS project is to demonstrate the practical application of logical reasoning techniques to real software systems. Software development is foccussed on two main application areas:

* Geographical Information Systems (GIS)

* Simulation of Virtual Worlds and Intelligent Agents