Refereed Publications

2008

• Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
  

  Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, volume 4897 of LNAI. Springer, 2008.

• Koen Hindriks, M. Birna van Riemsdijk
  Satisfying Maintenance Goals
  

  In Declarative Agent Languages and Technologies V (DALT'07), volume 4897 of LNAI, pp. 86-103. 2008. © Springer-Verlag

• M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff
  Goals in Agent Systems: A Unifying Framework

  In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS'08), pp. 713-720. 2008. © IFAAMAS

• M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
  Service Specification and Matchmaking Using Description Logic: An Approach based on Institutions
  

  In Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08). 2008. To appear. © Springer-Verlag

• Koen Hindriks, M. Birna van Riemsdijk
  Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
  

  In Declarative Agent Languages and Technologies VI (DALT'08). 2008. To appear. © Springer-Verlag

2007

• Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
  A Grounded Specification Language for Agent Programs
  

  In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), pp. 578-585. 2007. © IFAAMAS, 2007.

• M. Birna van Riemsdijk, Martin Wirsing
  Using Goals for Flexible Service Orchestration: A First Step
  

  In Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07), volume 4504 of LNCS, pp. 31-48. 2007. © Springer-Verlag

• M. Birna van Riemsdijk, Martin Wirsing
  Goal-Oriented and Procedural Service Orchestration: A Formal Comparison / Extended Version
  

  In Agents, Web Services, and Ontologies: Integrated Methodologies (AWESOME'007). 2007. To appear.

2006

• M. Birna van Riemsdijk, John-Jules Ch. Meyer
  A Compositional Semantics of Plan Revision in Intelligent Agents

  In Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology (AMAST'06), volume 4019 of LNCS, pp. 353-367. 2006. © Springer-Verlag

• M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
  Goal-Oriented Modularity in Agent Programming
  

  In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pp. 1271-1278. 2006. © ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.

• M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
  Prototyping 3APL in the Maude Term Rewriting Language
  

  In Computational Logic in Multi-Agent Systems: 7th International Workshop (CLIMA'06), volume 4327 of LNAI, pp. 95-114. 2006. © Springer-Verlag

• Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
  Goal Types in Agent Programming
  

  In Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06), pp. 220-224. 2006. © IOS Press, 2006.

• M. Birna van Riemsdijk, Mehdi Dastani
  Plan Generation and Plan Execution in Agent Programming
  

  In Declarative Agent Languages and Technologies IV (DALT'06), volume 4327 of LNAI, pp. 225-238. 2006. © Springer-Verlag

• M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
  Prototyping 3APL in the Maude Term Rewriting Language: Extended Abstract (Short Paper)
  

  In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pp. 1279-1281. 2006. © ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.

• Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
  Goal Types in Agent Programming: Extended Abstract (Short Paper)
  

  In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pp. 1285-1287. 2006. © ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.

• M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
  Dynamic Logic for Plan Revision in Agent Programming
  

  Journal of Logic and Computation, 16(3): 375-402, 2006.

• M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
  Semantics of Plan Revision in Intelligent Agents
  

  Theoretical Computer Science, 351(2): 240-257, 2006. Special issue of Algebraic Methodology and Software Technology (AMAST'04).

2005

• M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
  Dynamics of Declarative Goals in Agent Programming
  

  In Proceedings of the 2nd International Workshop on Declarative Agent Languages and Technologies (DALT'04), volume 3476 of LNAI, pp. 1-18. 2005. © Springer-Verlag

• M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
  Dynamic Logic for Plan Revision in Intelligent Agents
  

  In Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04), volume 3487 of LNAI, pp. 16-32. 2005. © Springer-Verlag

• M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
  Semantics of Declarative Goals in Agent Programming
  

  In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), pp. 133-140. 2005. © ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.

• M. Birna van Riemsdijk
  Cognitive Agent Programming: Semantics and Logics
  

  In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), pp. 1385. 2005. © ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. This is a summary of research I had done until summer 2005.

• M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
  Subgoal Semantics in Agent Programming
  

  In Progress in Artifical Intelligence: 12th Portuguese Conference on Artificial Intelligence (EPIA'05), volume 3808 of LNAI, pp. 548-559. 2005. © Springer-Verlag

• Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
  Programming Multi-Agent Systems in 3APL
  

  In Multi-Agent Programming: Languages, Platforms and Applications, Rafael H. Bordini, Mehdi Dastani, Juergen Dix, Amal El Fallah Seghrouchni, editors. Springer. 2005.

2004

• Mehdi Dastani, M. Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
  A Programming Language for Cognitive Agents: Goal Directed 3APL
  

  In Programming Multi-Agent Systems: First International Workshop (ProMAS'03), volume 3067 of LNAI, pp. 111-130. Springer, 2004. © Springer-Verlag

• M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
  Semantics of Plan Revision in Intelligent Agents
  

  In Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of LNCS, pp. 426-442. 2004. © Springer-Verlag

• Mehdi Dastani, M. Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
  Enacting and Deacting Roles in Agent Programming
  

  In Proceedings of the 5th International Workshop on Agent-Oriented Software Engineering (AOSE'04), volume 3382 of LNCS, pp. 189-204. 2004. © Springer-Verlag

2003

• M. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
  Agent Programming in Dribble: from Beliefs to Goals using Plans
  

  In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), pp. 393-400. 2003. © ACM, 2003. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. of AAMAS'03

  1581136838/03/0007

Technical Report

• M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder
  Service Specification and Matchmaking Using Description Logic: An Approach based on Institutions
  

  Technical report, LMU Munich, Institut fuer Informatik, 2008. 0802.

• M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
  Semantics of Plan Revision in Intelligent Agents
  

  Technical report, Utrecht University, Institute of Information and Computing Sciences, 2003. UU-CS-2004-002.

• M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
  Dynamic Logic for Plan Revision in Intelligent Agents
  

  Technical report, Utrecht University, Institute of Information and Computing Sciences, 2005. UU-CS-2005-013.

Other

• M. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
  Agent Programming in Dribble: from Beliefs to Goals with Plans
  

  Master's thesis, Utrecht University, Institute of Information and Computing Sciences. 2002.

• M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer, Mehdi Dastani
  Cognitive Agent Programming: A Semantic Approach
  

  PhD thesis, Utrecht University, Institute of Information and Computing Sciences. 2006.

  Please send me an e-mail if you would like to receive a hard copy of the thesis.