Prototyping 3APL in the Maude term rewriting language

Authors:
M. Birna van Riemsdijk;Frank S. de Boer;Mehdi Dastani;John-Jules Ch. Meyer
Affiliations:
Utrecht University, The Netherlands;Utrecht University, CWI, Amsterdam, The Netherlands;Utrecht University, The Netherlands;Utrecht University, The Netherlands
Venue:
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Year:
2006

Citing 13
Cited 3

Design and validation of computer protocols

Design and validation of computer protocols
Algebraic specification

Handbook of theoretical computer science (vol. B)
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Principles of Mobile Maude

ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Programming agent deliberation: an approach illustrated using the 3APL language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent programming in dribble: from beliefs to goals using plans

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Model checking agentspeak

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Semantics of declarative goals in agent programming

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Semantics of plan revision in intelligent agents

Theoretical Computer Science - Algebraic methodology and software technology
Specifying DIMA multi-agents models using maude

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems

Model-checking agent refinement

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Toward a programming theory for rational agents

Autonomous Agents and Multi-Agent Systems
Reasoning about agent deliberation

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. We argue that Maude is very well suited for prototyping agent programming languages such as 3APL.