A subset of Concurrent Prolog and its interpreter
Concurrent Prolog
The craft of Prolog
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Understanding agent systems
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
A Formal Embedding of AgentSpeak(L) in 3APL
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
Infrastructure Support for Agent-Based Development
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
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
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An integrated formal framework for reasoning about goal interactions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
A meta-interpreter for a language can provide an easy way of experimenting with modifications or extensions to a language. We give a meta-interpreter for the AgentSpeak language, prove its correctness, and show how the meta-interpreter can be used to extend the AgentSpeak language and to add features to the implementation.