Person: Van der Hoek, W.

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 16.

Van Eijk, R. and De Boer, F. and Van der Hoek, W. and Meyer, J.J. (2003) A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems. Theoretical Computer Science, 290 (3). pp. 1753-1773.

Van der Hoek, W. and Thijsse, E. (2002) A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica, 72 (1). pp. 61-84.

Van Eijk, R. and De Boer, F. and Van der Hoek, W. and Meyer, J.J. (2003) A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems, 6. pp. 185-219.

Van Ditmarsch, H. and Van der Hoek, W. and Kooi, B. (2003) Cuncurrent Dynamic Epistemic Logic for MAS. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. , pp. 201-208.

Van der Hoek, W. and Verbrugge, R. (2002) Epistemic Logic: a Survey. In: Game Theory and Applications. Nova Science Publishers, New York, pp. 53-94. ISBN 1-59033-373-

Dastani, M. and De Boer, F. and Dignum, F. and Van der Hoek, W. and Kroese, M. and Meyer, J.J. (2002) Implementing Cognitive Agents in 3APL. In: Proceedings of the The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC2002). , Leuven, Belgium.

Roorda, J.W. and Van der Hoek, W. and Meyer, J.J. (2003) Iterated Belief Change in Multi Agent Systems. Logic Journal of the IGPL, 11 (2). pp. 223-246.

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

Van der Hoek, W. and Wooldridge, M. (2002) Model Checking Knowledge and Time. In: SPIN 2002 -- Proceedings of the Ninth International SPIN Workshop on Model Checking of Software. , Grenoble, France.

Harrenstein, P. and Van der Hoek, W. and Meyer, J.J. and Witteveen, C. (2002) On Modal Logic Interpretations of Games. In: ECAI 2002, 15th European Conference on Artificial Intelligence. IOS Press, Amsterdam, pp. 28-32.

van Ditmarsch, H. and van der Hoek, W. and Kooi, B. (2004) Playing Cards with Hintikka: An introduction in Dynamic Epistemic Logic. Phinews, 6. pp. 6-32.

van Otterloo, S. and van der Hoek, W. and Wooldridge, M. (2004) Preferences in Game Logics. In: Autonomous Agents and Multi Agent Systems, 19-23 Jul 2004, New York.

van Otterloo, S. and van der Hoek, W. and Wooldridge, M. (2004) Preferences in Game Logics. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

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

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

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

This list was generated on Mon Sep 10 16:56:51 BST 2007.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.