Mv

M.B. van Riemsdijk

View Orcid Profile

75 records found

Authored

Towards reasoning with partial goal satisfaction in intelligent agents
Conference paper (2012) - M.B. van Riemsdijk, N. Yorke-Smith, N. Yorke-Smith

Agreeing on role adoption in open organisations

Compositionality of team mental models in relation to sharedness and team performance
Conference paper (2012) - C.M. Jonker, M.B. van Riemsdijk, IC van de Kieft, ML Gini

Rich goal types in agent programming
Conference paper (2011) - M Dastani, M.B. van Riemsdijk, M Winikoff

Internet-delivered multi-patient virtual reality exposure therapy system for the treatment of anxiety disorders
Conference paper (2011) - N. Kang, W.P. Brinkman, M.B. van Riemsdijk, M.A. Neerincx

Shared mental models for decision support systems and their users
Conference paper (2011) - IC van de Kieft, C.M. Jonker, M.B. van Riemsdijk

Unreal GOAL Bots: Conceptual design of a reusable interface

The fundamental principle of coactive design: Interdependence must shape autonomy

Explaining negotiation: Obtaining a shared mental model of preferences
Conference paper (2011) - IC van de Kieft, C.M. Jonker, M.B. van Riemsdijk

Beyond cooperative robotics: The central role of interdependence in coactive design

Improving user and decision support system teamwork. An approach based on shared mental models
Conference paper (2011) - IC van de Kieft, C.M. Jonker, M.B. van Riemsdijk

Shared mental models: A conceptual analysis
Conference paper (2011) - C.M. Jonker, M.B. van Riemsdijk, B. Vermeulen

Programming role enactment through reflection

Model checking agent programs by using the program interpreter
Journal article (2010) - STQ Jongmans, K.V. Hindriks, M.B. van Riemsdijk

Comparing goal-oriented and procedural service orchestratio
Journal article (2010) - M.B. van Riemsdijk, M Wirsing

Formalizing Organizational Constraints: A Semantic Approach

Unreal Goal Bots: connecting agents to complex dynamic environments

Using rewrite strategies for testing BUpL agents
Journal article (2010) - L Astefanoaei, FS de Boer, M.B. van Riemsdijk

A computational semantics for communicating rational agents based on mental methods
Conference paper (2010) - K.V. Hindriks, M.B. van Riemsdijk

Using the Maude term rewriting language for agent development with formal foundations.
Book chapter (2010) - M.B. van Riemsdijk, L Astefanoaei, FS de Boer