Agent Dynamic Logic package


Compiled package in jar-file can be downloaded here.
ANTLR-2.7.1 runtime library can be downloaded here. Or go to the ANTLR-site.
Valid XHTML 1.0! Valid CSS! There were 281996 visits of this page since Wed, 03 May 2006 20:57:56 BST.
Last modified: Sat, 17 Mar 2007 18:58:33 GMT.
Copyright ©2006 Dmitry Tishkovsky, School of Computer Science, The University of Manchester