2012

• Analyzing Autonomy and Its Relationship to Interdependence in Human-Agent-Robot Teams (PDF, BIB)
  IEEE Intelligent Systems: Human-Agent-Robot-Teamwork (HART). 2012. © IEEE.
  Matthew Johnson, Jeffrey M. Bradshaw, Paul J. Feltovich, Robert R. Hoffman, Catholijn M. Jonker, Birna van Riemsdijk, Maarten Sierhuis
  To appear.
  
• Agreeing on Role Adoption in Open Organisations (PDF, BIB)
  Kuenstliche Intelligenz (KI), 26(1):37-45. 2012. © Springer-Verlag.
  Huib Aldewereld, Virginia Dignum, Catholijn M. Jonker, M. Birna van Riemsdijk
  
• Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents (PDF, BIB)
  In Programming multiagent systems, 8th international workshop (ProMAS'10). 2012. © Springer-Verlag.
  M. Birna van Riemsdijk, Neil Yorke-Smith
  To appear.
  
• State Space Reduction for Model Checking Agent Programs (PDF, BIB)
  In Programming multiagent systems, 9th international workshop (ProMAS'11), volume 6599 of LNAI. 2012. © Springer-Verlag.
  Sung-Shik T.Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
  To appear.
  

2011

• Beyond Cooperative Robotics: The Central Role of Interdependence in Coactive Design (PDF, BIB)
  IEEE Intelligent Systems: Human-Centered Computing, 26(3):81-88. 2011. © IEEE.
  Matthew Johnson, Jeffrey M. Bradshaw, Paul J. Feltovich, Robert R. Hoffman, Catholijn M. Jonker, Birna van Riemsdijk, Maarten Sierhuis
  
• Rich goal types in agent programming (PDF, BIB)
  In Proceedings of the tenth international joint conference on autonomous agents and multiagent systems (AAMAS'11), pages 405-412. 2011. © IFAAMAS.
  Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff
  
• Programming Role Enactment through Reflection (PDF, BIB)
  In 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'11), 2():133-140, pages 133-140. 2011. © IEEE.
  M. Birna van Riemsdijk, V. Dignum, Catholijn M. Jonker, H. Aldewereld
  
• An Empirical Study of Patterns in Agent Programs (PDF, BIB)
  In Principles of Practice in Multi-Agent Systems (PRIMA'10), volume 7057 of LNAI. 2011. © Springer-Verlag.
  Koen V. Hindriks, M. Birna van Riemsdijk, Catholijn M. Jonker
  Best paper award (runner up). To appear.
  
• Explaining Negotiation: Obtaining a Shared Mental Model of Preferences (PDF, BIB)
  In 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE'11), volume 6704 of LNCS, pages 120-129. 2011. © Springer-Verlag.
  Iris van de Kieft, Catholijn M. Jonker, M. Birna van Riemsdijk
  
• Unreal GOAL Bots: Conceptual Design of a Reusable Interface (PDF, BIB)
  In Agents for Games and Simulations II (AGS'10), volume 6525 of LNCS, pages 1-18. 2011. © Springer-Verlag.
  Koen V. Hindriks, Birna van Riemsdijk, Tristan M. Behrens, Rien Korstanje, Nick Kraayenbrink, Wouter Pasman, Lennard de Rijk
  
• The Fundamental Principle of Coactive Design: Interdependence Must Shape Autonomy (PDF, BIB)
  In Coordination, Organizations, Institutions, and Norms in Agent Systems VI (COIN'10), volume 6541 of LNCS, pages 172-191. 2011. © Springer-Verlag.
  Matthew Johnson, Jeffrey M. Bradshaw, Paul J. Feltovich, Catholijn M. Jonker, Birna van Riemsdijk, Maarten Sierhuis
  
• Shared Mental Models: A Conceptual Analysis (PDF, BIB)
  In Coordination, Organizations, Institutions, and Norms in Agent Systems VI (COIN'10), volume 6541 of LNCS, pages 132-151. 2011. © Springer-Verlag.
  Catholijn M. Jonker, M. Birna van Riemsdijk, Bas Vermeulen
  
• Internet-delivered multi-patient virtual reality exposure therapy system for the treatment of anxiety disorders (PDF, BIB)
  In Proceedings of the 29th annual European Conference on Cognitive Ergonomics (ECCE'11), pages 233-236. 2011. © ACM.
  Ni Kang, Willem-Paul Brinkman, M. Birna van Riemsdijk, Mark A. Neerincx
  
• Shared Mental Models for Decision Support Systems and Their Users (PDF, BIB)
  In Pre-Proceedings of the 3rd International Workshop on Collaborative Agents - REsearch and development (CARE'11), pages 54-63. 2011.
  Iris van de Kieft, Catholijn M. Jonker, M. Birna van Riemsdijk
  
• Improving User and Decision Support System Teamwork: An Approach Based on Shared Mental Models (PDF, BIB)
  In Proceedings of the 6th International Workshop on Explanation-aware Computing (ExaCt'11), pages 61-70. 2011.
  Iris van de Kieft, Catholijn M. Jonker, M. Birna van Riemsdijk
  

2010

• Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009, Revised Selected and Invited Papers (PDF, BIB)
  In DALT, volume 5948 of LNAI. 2010. © Springer-Verlag.
  
• Comparing Goal-Oriented and Procedural Service Orchestration (PDF, BIB)
  Multiagent and Grid Systems - An International Journal (MAGS), Special issue on Agents, Web Services and Ontologies: Integrated Methodologies (AWESOME'007), 6(2):133-163. 2010. © IOS Press.
  M. Birna van Riemsdijk, Martin Wirsing
  
• Formalizing Organizational Constraints: A Semantic Approach (PDF, BIB)
  In Proceedings of the nineth international joint conference on autonomous agents and multiagent systems (AAMAS'10), pages 823-830. 2010. © IFAAMAS.
  M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker, Maarten Sierhuis
  
• Using Rewrite Strategies for Testing BUpL Agents (PDF, BIB)
  In Logic-Based Program Synthesis and Transformation, 19th International Symposium, Revised Selected Papers (LOPSTR'09), volume 6037 of LNCS, pages 143-157. 2010. © Springer-Verlag.
  Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk
  
• Using the Maude Term Rewriting Language for Agent Development with Formal Foundations (PDF, BIB)
  In Specification and Verification of Multi-agent Systems, pages 255-287. 2010. © Springer-Verlag.
  M.B. van Riemsdijk, L. Astefanoaei, F.S. de Boer
  
• A Computational Semantics for Communicating Rational Agents Based on Mental Models (PDF, BIB)
  In Programming multiagent systems, 7th international workshop (ProMAS'09), volume 5919 of LNAI, pages 31-48. 2010. © Springer-Verlag.
  Koen Hindriks, M. Birna van Riemsdijk
  
• Model Checking Agent Programs by Using the Program Interpreter (PDF, BIB)
  In Computational Logic in Multi-Agent Systems, volume 6245 of LNCS, pages 219-237. 2010. © Springer-Verlag.
  Sung-Shik Jongmans, Koen V. Hindriks, M.B. van Riemsdijk
  

2009

• Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers (BIB)
  In DALT, volume 5397 of LNAI. 2009. © Springer-Verlag.
  
• Goals in Conflict: Semantic Foundations of Goals in Agent Programming (PDF, BIB)
  Autonomous Agents and Multi-Agent Systems, 18(3):471-500. 2009. © Springer-Verlag.
  M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch Meyer
  
• Towards Organization Aware Agent-based Simulation (PDF, BIB)
  International Journal of Intelligent Control and Systems, Special Issue on Agent Directed Simulation, 14(1):62-76. 2009.
  Maarten Sierhuis, Catholijn Jonker, M. Birna van Riemsdijk, Koen Hindriks
  
• Agent programming with temporally extended goals (PDF, BIB)
  In Proceedings of the eighth international joint conference on autonomous agents and multiagent systems (AAMAS'09), pages 137-144. 2009. © IFAAMAS.
  Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk
  
• An Empirical Study of Agent Programs: A Dynamic Blocks World Case Study in GOAL (PDF, BIB)
  In Principles of Practice in Multi-Agent Systems (PRIMA'09), volume 5925 of LNAI, pages 200-215. 2009. © Springer-Verlag.
  M. Birna van Riemsdijk, Koen V. Hindriks
  Best paper award.
  
• An Empirical Study of Agent Programs: A Dynamic Blocks World Case Study in GOAL [Extended Version] (PDF, BIB)
  2009.
  M. Birna van Riemsdijk, Koen Hindriks
  
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming (PDF, BIB)
  In Declarative Agent Languages and Technologies VI (DALT'08), volume 5397 of LNAI, pages 215-232. 2009. © Springer-Verlag.
  Koen Hindriks, M. Birna van Riemsdijk
  
• Programming Organization-Aware Agents: A Research Agenda (PDF, BIB)
  In Proceedings of the Tenth International Workshop on Engineering Societies in the Agents' World (ESAW'09), volume 5881 of LNAI, pages 98-112. 2009. © Springer-Verlag.
  M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker
  
• Joint Activity Testbed: Blocks World for Teams (BW4T) (PDF, BIB)
  In Proceedings of the Tenth International Workshop on Engineering Societies in the Agents' World (ESAW'09), volume 5881 of LNAI, pages 254-256. 2009. © Springer-Verlag.
  Matthew Johnson, Catholijn Jonker, M. Birna van Riemsdijk, Paul J. Feltovich, Jeffrey M. Bradshaw
  

2008

• Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions (PDF, BIB)
  In 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of LNCS, pages 392-406. 2008. © Springer-Verlag.
  M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing
  
• Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions [Extended Version] (PDF, BIB)
  2008.
  M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
  
• Goals in Agent Systems: A Unifying Framework (PDF, BIB)
  In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08), pages 713-720. 2008. © IFAAMAS.
  M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff
  
• Satisfying Maintenance Goals (PDF, BIB)
  In Proceedings of the fifth International Workshop on Declarative Agent Languages and Technologies (DALT'07), volume 4897 of LNAI, pages 86-103. 2008. © Springer-Verlag.
  Koen Hindriks, M. Birna van Riemsdijk
  
• Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers (BIB)
  In DALT, volume 4897 of LNAI. 2008. © Springer-Verlag.
  

2007

• Goal-Oriented and Procedural Service Orchestration: A Formal Comparison (BIB)
  In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'007); The First International Workshops on Agents, Web Services, and Ontologies: Integrated Methodologies (AWESOME'007), pages 3-18. 2007.
  M. Birna van Riemsdijk, Martin Wirsing
  
• A Grounded Specification Language for Agent Programs (PDF, BIB)
  In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), pages 578-585. 2007. © IFAAMAS.
  Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch Meyer
  
• Using Goals for Flexible Service Orchestration: A First Step (PDF, BIB)
  In Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07), volume 4504 of LNCS, pages 31-48. 2007. © Springer-Verlag.
  M. Birna van Riemsdijk, Martin Wirsing
  
• Prototyping 3APL in the Maude Term Rewriting Language (PDF, BIB)
  In Computational Logic in Multi-Agent Systems: 7th International Workshop (CLIMA'06), volume 4371 of LNAI, pages 95-114. 2007. © Springer-Verlag.
  M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch Meyer
  

2006

• Dynamic Logic for Plan Revision in Agent Programming (PDF, BIB)
  Journal of Logic and Computation, 16(3):375-402. 2006.
  M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch Meyer
  
• Goal-Oriented Modularity in Agent Programming (PDF, BIB)
  In Proceedings of the fifth international joint conference on autonomous agents and multiagent systems (AAMAS'06), pages 1271-1278. 2006. © ACM.
  M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch Meyer, Frank S. de Boer
  
• Goal types in agent programming: extended abstract (PDF, BIB)
  In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 1285-1287. 2006. © ACM.
  Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch Meyer
  
• Goal types in agent programming (PDF, BIB)
  In Proceedings of the 17th European Conference on Artifical Intelligence 2006 (ECAI'06), volume 141 of Frontiers in Artificial Intelligence and Applications, pages 220-224. 2006. © IOS Press.
  Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch Meyer
  
• Cognitive Agent Programming: A Semantic Approach (PDF, BIB)
  2006.
  M. Birna van Riemsdijk
  
• A Compositional Semantics of Plan Revision in Intelligent Agents (PDF, BIB)
  In Algebraic Methodology And Software Technology: 11th International Conference, AMAST 2006, volume 4019 of {LNCS}, pages 353-367. 2006. © Springer-Verlag.
  M. Birna van Riemsdijk, John-Jules Ch Meyer
  
• Semantics of Plan Revision in Intelligent Agents (PDF, BIB)
  Theoretical Computer Science, 351(2):240-257. 2006.
  M. Birna van Riemsdijk, John-Jules Ch Meyer, Frank S. de Boer
  Special issue of Algebraic Methodology and Software Technology (AMAST'04)
  
• Plan Generation and Plan Execution in Agent Programming (PDF, BIB)
  In Declarative Agent Languages and Technologies IV (DALT'06), volume 4327 of LNAI, pages 225-238. 2006. © Springer-Verlag.
  M. Birna van Riemsdijk, Mehdi Dastani
  

2005

• Programming Multi-Agent Systems in 3APL (BIB)
  In Multi-Agent Programming: Languages, Platforms and Applications. 2005. © Springer-Verlag.
  Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch Meyer
  
• Semantics of Declarative Goals in Agent Programming (PDF, BIB)
  In Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS'05), pages 133-140. 2005. © ACM.
  M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch Meyer
  
• Cognitive Agent Programming: Semantics and Logics (PDF, BIB)
  In Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS'05), pages 1385. 2005. © ACM.
  M. Birna van Riemsdijk
  
• Enacting and deacting roles in agent programming (PDF, BIB)
  In Agent-Oriented Software Engineering V, volume 3382 of {LNCS}, pages 189-204. 2005. © Springer-Verlag.
  Mehdi Dastani, M. Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch Meyer
  
• Subgoal semantics in agent programming (PDF, BIB)
  In Progress in Artifical Intelligence: 12th Portuguese Conference on Artificial Intelligence (EPIA'05), volume 3808 of LNAI, pages 548-559. 2005. © Springer-Verlag.
  M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch Meyer
  
• Dynamic Logic for Plan Revision in Intelligent Agents (PDF, BIB)
  2005.
  M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch Meyer
  
• Dynamics of declarative goals in agent programming (PDF, BIB)
  In Declarative agent languages and technologies II: second international workshop (DALT'04), volume 3476 of LNAI, pages 1-18. 2005. © Springer-Verlag.
  M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch Meyer
  
• Dynamic logic for plan revision in intelligent agents (PDF, BIB)
  In Computational logic in multi-agent systems: fifth international workshop (CLIMA'04), volume 3487 of LNAI, pages 16-32. 2005. © Springer-Verlag.
  M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch Meyer
  

2004

• A Programming Language for Cognitive Agents: Goal Directed 3APL (PDF, BIB)
  In Programming multiagent systems, first international workshop (ProMAS'03), volume 3067 of LNAI, pages 111-130. 2004. © Springer-Verlag.
  Mehdi Dastani, M. Birna van Riemsdijk, Frank Dignum, John-Jules Ch Meyer
  
• Semantics of Plan Revision in Intelligent Agents (PDF, BIB)
  In Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST04), volume 3116 of {LNCS}, pages 426-442. 2004. © Springer-Verlag.
  M. Birna van Riemsdijk, John-Jules Ch Meyer, Frank S. de Boer
  

2003

• Semantics of Plan Revision in Intelligent Agents (PDF, BIB)
  2003.
  M. Birna van Riemsdijk, John-Jules Ch Meyer, Frank S. de Boer
  {UU-CS-2004-002}
  
• Agent programming in Dribble: from beliefs to goals using plans (PDF, BIB)
  In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03), pages 393-400. 2003. © ACM.
  M. Birna van Riemsdijk, W. van der Hoek, John-Jules Ch Meyer
  

2002

• Agent programming in Dribble: from beliefs to goals with plans (PDF, BIB)
  2002.
  Maria Birna van Riemsdijk