“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Intention is choice with commitment
Artificial Intelligence
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
A logical approach to the dynamics of commitments
Artificial Intelligence
Introduction to Multiagent Systems
Introduction to Multiagent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
Practical extensions in agent programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Beliefs in agent implementation
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
CTL AgentSpeak(L): A specification language for agent programs
Journal of Algorithms
Code patterns for agent-oriented programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
| Hi-index | 0.00 |
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable properties expressed in an agent specification language, i.e., that any agent implemented by the programming language satisfies the desirable property expressed in the specification language. We study this relation by defining and aligning the semantics of an agent specification language and implementation language, and prove that certain properties expressed in the specification language are satisfied by the implementation language.