Title appears on item as: Ph.D. dissertation: Specifying and analysing institutions in multi-agent systems using answer set programming.
Originally presented as the author's thesis (Ph.D.)--University of Bath, 2007.
Specifying and analysing institutions in multi-agent systems using answer set programming by Owen Cliffe. Published by University of Bath, Department of Computer Science in 2007. Publication and catalogue information, links to buy online and reader comments.