M. Birna van Riemsdijk

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5079785	2022-05-28	Paper
Using the Maude Term Rewriting Language for Agent Development with Formal Foundations	2010-11-11	Paper
Comparing goal-oriented and procedural service orchestration1	2010-09-14	Paper
Using Rewrite Strategies for Testing BUpL Agents	2010-05-04	Paper
A Compositional Semantics of Plan Revision in Intelligent Agents	2009-04-28	Paper
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming	2009-02-12	Paper
Service Specification and Matchmaking Using Description Logic	2009-01-27	Paper
Prototyping 3APL in the Maude Term Rewriting Language	2009-01-20	Paper
Dynamic Logic for Plan Revision in Agent Programming	2007-04-05	Paper
Semantics of plan revision in intelligent agents	2006-04-06	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper

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