The following pages link to M. Birna van Riemsdijk (Q820136):
Displayed 12 items.
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations (Q3056333) (← links)
- Dynamic Logic for Plan Revision in Agent Programming (Q3430950) (← links)
- Using Rewrite Strategies for Testing BUpL Agents (Q3558293) (← links)
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming (Q3601793) (← links)
- A Compositional Semantics of Plan Revision in Intelligent Agents (Q3623945) (← links)
- (Q5079785) (← links)
- Prototyping 3APL in the Maude Term Rewriting Language (Q5301998) (← links)
- Algebraic Methodology and Software Technology (Q5312998) (← links)
- Service Specification and Matchmaking Using Description Logic (Q5505438) (← links)
- Computational Logic in Multi-Agent Systems (Q5706845) (← links)
- Comparing goal-oriented and procedural service orchestration1 (Q5747981) (← links)