Peter Gibbins
-
Generating the minimal model in Prolog
ACM SIGPLAN Notices
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems