Future Directions in Logic Programming

Martin Brain

(Bath University)

This talk covers one of the current 'hot' areas in logic programming, answer set programming. We start with an introduction to answer set semantics and where it fits in the context of non-monotonic logics and "common sense" reasoning. This provides a foundation for discussing answer set programming and it's relation to CSP and SAT based paradigmes. Finally we discuss some of the application
development work that has been done at the University of Bath and explain how all of this relates to composing music, playing computer games and proving machine code to be optimal.

Thursday 12th November 2009, 14:00
Far-134 (Video Conferencing Room)
Department of Computer Science