From SPA Wiki

Jump to: navigation, search
I am senior lecturer in the department of Computer Science at the University of Bath. My main research area is themed "Knowledge Representation and Reasoning". In other words I try to make programs reasoning "intelligently" about the information they have and made decisions on the basis of that reasoning process. My main tool in this is a declarative programming paradigm called answer set programming.


Work: University of Bath

Email: mdv at