M. Birna van Riemsdijk

MaRDI QIDQ820136zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A temporal logic for modelling activities of daily living	2022-05-28	Paper
Using the Maude term rewriting language for agent development with formal foundations Specification and Verification of Multi-agent Systems	2010-11-11	Paper
Comparing goal-oriented and procedural service orchestration Multiagent and Grid Systems	2010-09-14	Paper
Using rewrite strategies for testing BUpL agents Logic-Based Program Synthesis and Transformation	2010-05-04	Paper
A Compositional Semantics of Plan Revision in Intelligent Agents Algebraic Methodology and Software Technology	2009-04-28	Paper
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming Lecture Notes in Computer Science	2009-02-12	Paper
Service Specification and Matchmaking Using Description Logic Algebraic Methodology and Software Technology	2009-01-27	Paper
Prototyping 3APL in the Maude Term Rewriting Language Lecture Notes in Computer Science	2009-01-20	Paper
Dynamic Logic for Plan Revision in Agent Programming Journal Of Logic And Computation	2007-04-05	Paper
Semantics of plan revision in intelligent agents Theoretical Computer Science	2006-04-06	Paper
Computational Logic in Multi-Agent Systems Lecture Notes in Computer Science	2005-11-23	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper

Research outcomes over time

This page was built for person: M. Birna van Riemsdijk