RA1: Micro/agent-level issues in agent technology

1.2 Foundations of Agency
1.2.5 Semantics of agency and logics of agency

Bordini R. H., Fisher M., Pardavila C. and Wooldridge M., Model Checking AgentSpeak In Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03), Melbourne, Australia, July 2003.

Bordini R. H., Fisher M., Pardavila C., Visser W. and Wooldridge M., Model Checking Multi-AGent Programs with CASP In Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003). Boulder, Colorado, July 2003.

van der Hoek W. and Wooldridge M., Towards a Logic of Rational Agency. In In Logic Journal of the IGPL, 11(2):133-157, March 2003.

van der Hoek W. and Wooldridge M., Model Checking Cooperation, Knowledge, and Time --A Case Study. In Research in Economics, 57:3, pp 235--265, 2003.

van der Hoek W. and Wooldridge M., Tractable Multiagent Planning for Epistemic Goals. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.

van Ditmarsch H., van der Hoek W. and Kooi B. Cuncurrent Dynamic Epistemic Logic for MAS. In Rosenschein J.S., Sandholm T., Wooldridge M. and Yokoo M. (eds), Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. 201--208, 2003.

Wooldridge M. and Lomuscio A., A Computationally Grounded Logic of Visibility, Perception, and Knowledge In Logic Journal of the IGPL, 9(2):273-288, 2001.

Wooldridge M., Fisher M., Huget M.-P. and Parsons S., Model Checking Multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.