Professor Keith L. Clark

http://www.doc.ic.ac.uk/~klc/

Distributed symbolic programming languages and their applications:

• concurrent logic programming
• distributed logic programming
• OO extensions of LP languages
• concurrent constraint LP systems
• process based, symbolic message passing languages
• multi-agent systems
• agent based CSCW