Wiebe Van der Hoek | Page 2 | IIIA CSIC

Position:

Co-Autors

Publications
Projects

8 Publications

2009

Stefan Konig, Isaac Pinyol, Daniel Villatoro, J. Sabater-Mir, Torsten Eymann; An Architecture for Simulating Internet-of-Services Economies. Multiagent System Technologies, 7th German Conference, MATES 2009; 2009.

Thomas Agotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge; Multi-modal CTL: Completeness, complexity, and an application. Studia Logica; 2009.

Thomas Agotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge; Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica; 2009.

2008

Thomas Agotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge; A Temporal Logic of Normative Systems. Towards Mathematical Philosophy, Trends in Logic; 2008.

2007

Thomas Agotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge; On the Logic of Normative systems. Twentieth International Joint Conference on AI, IJCAI07; 2007.

Thomas Agotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge; The Simple Normative System Language (SNL). IJCAI Workshop AOMS; 2007.

1995

Lluís Godo, Wiebe van der Hoek, John Jules Meyer, Carles Sierra; Many valued epistemic states. Application to a reflective architecture MILORD II. Lecture Note in Computer Science; 1995.

1994

Lluís Godo, Wiebe van der Hoek, John Jules Meyer, Carles Sierra; Many valued epistemic states. Application to a reflective architecture MILORD II. 5th International Conference on Information Processing and Management of Uncertainty. IPMU; 1994.

No results found