Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering,

First Page		Document Content
Date: 2014-07-24 21:25:12		Computational Intelligence, Volume 000, Number 000, 0000 Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols Tim Miller Department of Computer Science and Software Engineering, Add to Reading List Source URL: people.eng.unimelb.edu.au Download Document from Source Website File Size: 349,98 KB Share Document on Facebook