Publications

Information about my H-index and citations can be found via Google Scholar. Most of my publications are also listed on the DBLP Computer Science Bibliography.

2019

  • From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents (PDF, Code)
    The 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA’19). 2019. © Springer-Verlag. To appear.
    Malte Kliess, Marielle Stoelinga, M. Birna van Riemsdijk
  • A user-centred social commitment model for location sharing applications in the family life domain (PDF, URL-forthcoming)
    International Journal of Agent-Oriented Software Engineering (IJAOSE). 2019, forthcoming. © InderScience.
    Alex Kayal, Willem-Paul Brinkman, Mark Neerincx and M. Birna van Riemsdijk

2018

  • Intimate Computing (Abstract) (PDF, URL)
    Presented at the Conference on Dimensions of Vulnerability, Vienna, 2018.
    M. Birna van Riemsdijk
  • Automatic resolution of normative conflicts in supportive technology based on user values (PDF, URL)
    ACM Transactions on Internet Technology (TOIT), 18(4): 21 pages, Article no. 41. 2018. © ACM.
    Alex Kayal, Willem-Paul Brinkman, Mark Neerincx, M. Birna van Riemsdijk
  • Socially adaptive electronic partners for improved support of children’s values: an empirical study with a location-sharing mobile app (PDF, URLData)
    International Journal of Child-Computer Interaction (IJCCI), 18, pages 79-89. 2018. © Elsevier.
    Alex Kayal, M. Birna van Riemsdijk, Mark Neerincx, Willem-Paul Brinkman
  • A Temporal Logic for Modelling Activities of Daily Living (PDF, URL, BIB)
    In Proceedings of the 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), pages 17:1–17:15. Leibniz International Proceedings in Informatics (LIPIcs). 2018.
    Malte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk
  • Modelling the Social Environment: Towards Socially Adaptive Electronic Partners (PDF, URL)
    In Proceedings of the 10th International Workshop on Modelling and Reasoning in Context (MRC 2018), pages 30-34. CEUR Workshop Proceedings. 2018.
    Ilir Kola, Catholijn M. Jonker, M. Birna van Riemsdijk
  • What Should I Do? Deriving Norms from Actions, Values and Context (PDF, URL)
    In Proceedings of the 10th International Workshop on Modelling and Reasoning in Context (MRC 2018), pages 35-40. CEUR Workshop Proceedings. 2018.
    Myrthe L. Tielman, Catholijn M. Jonker, M. Birna van Riemsdijk

2017

  • Automated multi-level governance compliance checking (URL, BIB)
    Autonomous Agents and Multi-Agent Systems, 31(6):1283-1343. 2017. © Springer-Verlag.
    Thomas C. King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian Padget, M. Birna van Riemsdijk
  • Requirements for a Temporal Logic of Daily Activities for Supportive Technology (PDF, URL, BIB)
    In Workshop on Computational Accountability and Responsibility in Multiagent Systems (CARe-MAS 2017 at PRIMA’17). 2017.
    Malte Kliess, M. Birna van Riemsdijk
  • Action Identification Hierarchies for Behaviour Support Agents (PDF, URL, BIB)
    In Third Workshop on Cognitive Knowledge Acquisition and Applications (Cognitum 2017 at IJCAI’17). 2017.
    Pietro Pasotti, Catholijn M. Jonker, M. Birna van Riemsdijk

2016

  • The design of virtual audiences: Noticeable and recognizable behavioral styles (PDF, URL, BIB)
    Computers in Human Behavior, 55, Part B():680-694, pages 680-694. 2016. © Elsevier.
    Ni Kang, Willem-Paul Brinkman, M. Birna van Riemsdijk, Mark Neerincx
  • Representing human habits: towards a habit support agent (PDF, BIB)
    In Proceedings of the 10th International workshop on Normative Multiagent Systems (NorMAS’16). 2016.
    Pietro Pasotti, M. Birna van Riemsdijk, Catholijn M. Jonker
  • Revising Institutions Governed by Institutions for Compliant Regulations (PDF, URL, BIB)
    In Proceedings of the 19th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN’15), volume 9628 of LNCS, pages 191-208. 2016. © Springer-Verlag.
    Thomas C. King, Tingting Li, Marina De Vos, Catholijn M. Jonker, Julian Padget, M. Birna van Riemsdijk

2015

  • A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance (PDF, URL, BIB)
    In Proceedings of the fourteenth international joint conference on autonomous agents and multiagent systems (AAMAS’15), pages 423-432. 2015. © IFAAMAS.
    M. Birna van Riemsdijk, Louise Dennis, Michael Fisher, Koen V. Hindriks
  • Creating Socially Adaptive Electronic Partners: Interaction, Reasoning and Ethical Challenges (PDF, URL, BIB)
    In Proceedings of the fourteenth international joint conference on autonomous agents and multiagent systems (AAMAS’15), pages 1201-1206. 2015. © IFAAMAS.
    M. Birna van Riemsdijk, Catholijn M. Jonker, Victor Lesser
  • A Framework for Institutions Governing Institutions (PDF, URL, BIB)
    In Proceedings of the fourteenth international joint conference on autonomous agents and multiagent systems (AAMAS’15), pages 473-481. 2015. © IFAAMAS.
    Thomas C. King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Julian Padget, M. Birna van Riemsdijk
  • Supporting Request Acceptance with Use Policies (PDF, URL, BIB)
    In Proceedings of the 17th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN’14), volume 9372 of LNCS, pages 114-131. 2015. © Springer-Verlag.
    Thomas C. King, M. Birna van Riemsdijk, Virginia Dignum, Catholijn M. Jonker
  • RT4T: A Reconfigurable Testbed for Joint Human-Agent-Robot Teamwork (PDF, URL, BIB)
    In Workshop on Human-Robot Teaming at HRI’15. 2015.
    Matthew Johnson, Jeffrey M. Bradshaw, Daniel Duran, Micael Vignati, Paul J. Feltovich, Catholijn Jonker, M. Birna van Riemsdijk

2014

  • Coordination, Organizations, Institutions, and Norms in Agent System IX (URL, BIB)
    In COIN, volume 8386 of LNAI. 2014. © Springer-Verlag.
  • Engineering Multi-Agent Systems: Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers (URL, BIB)
    In EMAS, volume 8758 of LNAI. 2014. © Springer-Verlag.
  • From Sensing to Action: Quick and Reliable Access to Information in Cities Vulnerable to Heavy Rain (URL, BIB)
    Sensors Journal, IEEE, 14(12):4175-4184. 2014. © IEEE.
    S. Gaitan, L. Calderoni, P. Palmieri, M.t. Veldhuis, D. Maio, M.B. van Riemsdijk
  • Coactive Design: Designing Support for Interdependence in Joint Activity (URL, BIB)
    Journal of Human-Robot Interaction (JHRI), Special Issue on Design in HRI – Past, Present, and Future, 3(1):43-69. 2014. © IEEE.
    Matthew Johnson, Jeffrey M. Bradshaw, Paul J. Feltovich, Catholijn M. Jonker, M. Birna van Riemsdijk, Maarten Sierhuis
  • A Value-Centric Model to Ground Norms and Requirements for ePartners of Children (PDF, URL, BIB)
    In Coordination, Organizations, Institutions, and Norms in Agent Systems IX (COIN’13), volume 8386 of LNCS, pages 329-345. 2014. © Springer-Verlag.
    Alex Kayal, Willem-Paul Brinkman, Rianne Gouman, Mark A. Neerincx, M. Birna van Riemsdijk
  • Re-checking Normative System Coherence (PDF, URL, BIB)
    In Coordination, Organizations, Institutions, and Norms in Agent Systems IX (COIN’13), volume 8386 of LNCS, pages 275-290. 2014. © Springer-Verlag.
    Thomas C. King, Virginia Dignum, M. Birna van Riemsdijk
  • Request Driven Social Sensing (Demonstration) (PDF, BIB)
    In Proceedings of the thirteenth international joint conference on autonomous agents and multiagent systems (AAMAS’14), pages 1651-1652. 2014. © IFAAMAS.
    Thomas C. King, Qingzhi Liu, Gleb Polevoy, Mathijs de Weerdt, Virginia Dignum, M. Birna van Riemsdijk, Martijn Warnier
  • A Value-Sensitive Mobile Social Application for Families and Children (PDF, URL, BIB)
    In Posters, Demos, Late-breaking Results and Workshop Proceedings of the 22nd Conference on User Modeling, Adaptation, and Personalization (UMAP’14), 1181():. 2014.
    Alex Kayal, Willem-Paul Brinkman, Hanna Zoon, Mark A. Neerincx, M. Birna van Riemsdijk
  • Request-Driven Social Computing: Towards Next Generation Crowdsensing Systems (PDF, BIB)
    In Proceedings of the 3rd international workshop on Human-Agent Interaction Design and Models (HAIDM’14). 2014.
    Mathijs de Weerdt, Virginia Dignum, M. Birna van Riemsdijk, Martijn Warnier

2013

  • Socially Adaptive Software (PDF, URL, BIB)
    Awareness Magazine: Self-Awareness in Autonomic Systems. 2013.
    M. Birna van Riemsdijk
    Online magazine.
  • Organisational Reasoning Agents (PDF, BIB)
    In Agreement Technologies, volume 8 of Law, Governance and Technology Series, pages 309-320. 2013. © Springer-Verlag.
    Olivier Boissier, M. Birna van Riemsdijk
  • Agent reasoning for norm compliance: a semantic approach (PDF, BIB)
    In Proceedings of the twelfth international joint conference on autonomous agents and multiagent systems (AAMAS’13), pages 499-506. 2013. © IFAAMAS.
    M. Birna van Riemsdijk, Louise Dennis, Michael Fisher, Koen V. Hindriks
  • A real-time semantics for norms with deadlines (PDF, BIB)
    In Proceedings of the twelfth international joint conference on autonomous agents and multiagent systems (AAMAS’13), pages 507-514. 2013. © IFAAMAS.
    Koen V. Hindriks, M. Birna van Riemsdijk
  • An Expressive Virtual Audience with Flexible Behavioral Styles (URL, BIB)
    IEEE Transactions on Affective Computing, 4():326-340, pages 326-340. 2013. © IEEE.
    Ni Kang, Willem-Paul Brinkman, M. Birna van Riemsdijk, Mark Neerincx

2012

  • Autonomy and interdependence in human-agent-robot teams (PDF, BIB)
    IEEE Intelligent Systems: Human-Agent-Robot-Teamwork (HART), 27(2):43-51. 2012.
    Matthew Johnson, Jeffrey M. Bradshaw, Paul J. Feltovich, Robert R. Hoffman, Catholijn M. Jonker, M. Birna van Riemsdijk, Maarten Sierhuis
  • Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents (PDF, BIB)
    In Programming multiagent systems, 8th international workshop (ProMAS’10), volume 6599 of LNAI, pages 41-59. 2012. © Springer-Verlag.
    M. Birna van Riemsdijk, Neil Yorke-Smith
  • State Space Reduction for Model Checking Agent Programs (PDF, BIB)
    In Proceedings of the 9th international workshop on Programming multiagent systems (ProMAS’11), volume 7217 of LNCS, pages 133-151. 2012. © Springer-Verlag.
    Sung-Shik T.Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
  • An empirical study of cognitive agent programs (PDF, BIB)
    Multiagent and Grid Systems (MAGS), 8(2):187-222. 2012. © IOS Press.
    M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker
  • Coordination, Organizations, Institutions, and Norms in Agent System VII (BIB)
    In COIN, volume 7254 of LNCS. 2012. © Springer-Verlag.
  • Empirical software engineering for agent programming (PDF, BIB)
    In Proceedings of the 2nd edition of the international workshop on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions (AGERE!’12), pages 119-122. 2012. © ACM.
    M. Birna van Riemsdijk
  • 20 years of agent-oriented programming in distributed AI: history and outlook (PDF, BIB)
    In Proceedings of the 2nd edition of the international workshop on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions (AGERE!’12), pages 7-10. 2012. © ACM.
    M. Birna van Riemsdijk
  • Compositionality of Team Mental Models in Relation to Sharedness and Team Performance (PDF, BIB)
    In 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE’12), volume 7345 of LNAI, pages 242-251. 2012. © Springer-Verlag.
    Catholijn M. Jonker, M. Birna van Riemsdijk, Iris van de Kieft, Maria Gini
  • Negotiation Game for Improving Decision Making in Self-Managing Teams (PDF, BIB)
    In 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE’12), volume 431 of Studies in Computational Intelligence, pages 63-68. 2012. © Springer-Verlag.
    M. Birna van Riemsdijk, Catholijn M. Jonker, Thomas Rens, Zhiyong Wang

2011

  • Beyond Cooperative Robotics: The Central Role of Interdependence in Coactive Design (PDF, URL, 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
  • Agreeing on Role Adoption in Open Organisations (PDF, URL, BIB)
    Kuenstliche Intelligenz (KI), 25():1-9, pages 1-9. 2011. © Springer-Verlag.
    Huib Aldewereld, Virginia Dignum, Catholijn M. Jonker, M. Birna van Riemsdijk
  • 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, URL, 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, pages 196-211. 2011. © Springer-Verlag.
    Koen V. Hindriks, M. Birna van Riemsdijk, Catholijn M. Jonker
    Best paper award (runner up).
  • Explaining Negotiation: Obtaining a Shared Mental Model of Preferences (PDF, URL, 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, URL, 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, URL, 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, URL, 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, URL, 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