Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Artificial Intelligence
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Multi-agent reasoning with belief contexts: the approach and a case study
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Design of a concurrent agent-oriented language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Artificial Intelligence
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
A Knowledge-Theoretic Semantics for Concurrent METATEM
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Formal Specification of Beliefs in Multi-Agent Systems
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Languages and Their Relationship to Other Programming Paradigms
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Using Multi-context Systems to Engineer Executable Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Structuring BDI Agents in Functional Clusters
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Agent-based computing: promise and perils
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Toward emotional E-commerce: formalizing agents for a simple negotiation protocol
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Rational strategies for norm compliance in the n-BDI proposal
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Formalizing emotional e-commerce agents for a simple negotiation protocol
Transactions on Computational Collective Intelligence VII
| Hi-index | 0.00 |
In the area of agent-based computing there are manyproposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, however, there are comparatively few attempts to relate these together, and even fewer attempts to provide methodologies which relate designs to architectures and then to executable agents. This paper discusses an attempt we have made to address this shortcoming, describing a general method of defining architectures for logic-based agents which can be directlye xecuted. Our approach is based upon the use of multi-context systems and we illustrate its use through examples of the specification of some simple agents.