Readings in agents
Semantics and conversations for an agent communication language
Readings in agents
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Agents for process coherence in virtual enterprises
Communications of the ACM
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Proving properties of open agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Specifying agent observable behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Multi-agent infrastructure, agent discovery , middle agents for Web services and interoperation
Mutli-agents systems and applications
Standardizing agent interoperability: the FIPA approach
Mutli-agents systems and applications
A Uniform Internet-Communicative Agent
Electronic Commerce Research - Special issue on agents in electronic commerce
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Some Remarks on the Semantics of FIPA's Agent Communication Language
Autonomous Agents and Multi-Agent Systems
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Towards a Reference Model for Surveying Mobile Agent Systems
Autonomous Agents and Multi-Agent Systems
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Formal Conversations for the Contract Net Protocol
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
COMPSAC '00 24th International Computer Software and Applications Conference
Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Standardizing Agent Interoperability: The FIPA Approach
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Formal Specification of Agent Behaviour through Environment Scenarios
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Construction of the Adapted Ontology Server in EC
IDEAL '00 Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning, Data Mining, Financial Engineering, and Intelligent Agents
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
An Organizational Metamodel for the Design of Catalogues of Communicative Actions
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Enterprise Federation and Its Multi-agent Modelization
E-Commerce Agents, Marketplace Solutions, Security Issues, and Supply and Demand
A Layered Agent Template for Enterprise Computing
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
A Developer's Perspective on Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Designing Agent Communication Languages for Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
The LuCe Coordination Technology for MAS Design and Development on the Internet
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Bringing Coherence to Agent Conversations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
CoMed: A Real-Time Collaborative Medicine System
CBMS '00 Proceedings of the 13th IEEE Symposium on Computer-Based Medical Systems (CBMS'00)
Commitments for agent-based supply chain management
ACM SIGecom Exchanges - Chains of commitment
Autonomous Agents and Multi-Agent Systems
Rich service description for a smarter lifestyle
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The cognitive coherence approach for agent communication pragmatics
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Software algorithms in intelligent employment agent
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Enforcing agent communication laws by means of a reflective framework
Proceedings of the 2004 ACM symposium on Applied computing
Modelling grounding and discourse obligations using update rules
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages
The Knowledge Engineering Review
Agent orientation in software engineering
The Knowledge Engineering Review
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
Instructions-Based Semantics of Agent Mediated Interaction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Commitments for Flexible Business Processes
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Using a performative subsumption lattice to support commitment-based conversations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Temporal logics for normative agent communication protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Layered message semantics using social commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments
Autonomous Agents and Multi-Agent Systems
Tableau-based automata construction for dynamic linear time temporal logic*
Annals of Mathematics and Artificial Intelligence
A comprehensive review of nature inspired routing algorithms for fixed telecommunication networks
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Nature-inspired applications and systems
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Specifying protocols for multi-agent systems interaction
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A component-based approach to standardising agent communication
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
A multi-agent system apporach for user-session-based testing of web applications
DIWEB'07 Proceedings of the 7th WSEAS international conference on Distance learning and web engineering
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
AN ACL FOR SPECIFYING FAULT-TOLERANT PROTOCOLS
Applied Artificial Intelligence
Agent-Grid Integration Language
Multiagent and Grid Systems
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
An Operational Model for the FIPA-ACL Semantics
Agent Communication II
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Flexible Conversations Using Social Commitments and a Performatives Hierarchy
Agent Communication II
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction
Agent Communication II
Commitment Monitoring in a Multiagent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Curricula Modeling and Checking
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Agent Computing and Multi-Agent Systems
A multi-agent self-adaptative management framework
International Journal of Network Management
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Coping with Exceptions in Agent-Based Workflow Enactments
Engineering Societies in the Agents World IX
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
From Message Exchanges to Communicative Acts to Commitments
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logical Framework for Grounding-based Dialogue Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Activity theory as a framework for MAS coordination
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Action recognition and prediction for driver assistance systems using dynamic belief networks
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
A unified model for physical and social environments
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
A social ACL semantics by deontic constraints
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Component-based standardisation of agent communication
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Software engineering for large-scale multi-agent systems
European research and development of intelligent information agents: the agentlink perspective
Intelligent information agents
Opportunistic belief reconciliation during distributed interactions
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Modeling and reasoning about service-oriented applications via goals and commitments
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Modeling and verifying business interactions via commitments and dialogue actions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
Programming multiagent systems without programming agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Distributed control system for robotic cells and intelligent building automation using agents
Proceedings of the 15th WSEAS international conference on Systems
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
An ACL for specifying fault-tolerant protocols
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Towards a conversational language for artificial agents in mixed community
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A tool to facilitate agent deliberation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A tableau method for verifying dialogue game protocols for agent communication
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Broadening the semantic coverage of agent communicative acts
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
A modal semantics for an argumentation-based pragmatics for agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Specifying and implementing a persuasion dialogue game using commitments and arguments
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
When is it okay to lie? a simple model of contradiction in agent-based dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
An OSEK COM compliant communication model for smart vehicle environment
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
A protocol for arguing about rejections in negotiation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
A calculus for MAS interaction protocol
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
Conversational semantics with social commitments
AC'04 Proceedings of the 2004 international conference on Agent Communication
Agent interaction semantics by timed operating instructions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Dialogization and implicit information in an agent communicational model
AC'04 Proceedings of the 2004 international conference on Agent Communication
Toward a suite of performatives based upon joint intention theory
AC'04 Proceedings of the 2004 international conference on Agent Communication
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
DIAGAL: a generic ACL for open systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
On the normative aspect of signalling conventions
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A collaborative framework to realize virtual enterprises using 3APL
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
An approach to broaden the semantic coverage of ACL speech acts
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Artificial Intelligence
Detecting conflicts in commitments
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
The dynamics of intention in collaborative activity
Cognitive Systems Research
Agent communication pragmatics: the cognitive coherence approach
Cognitive Systems Research
Cognitive Systems Research
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Curriculum model checking: declarative representation and verification of properties
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Multi-agent oriented programming with JaCaMo
Science of Computer Programming
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
Hi-index | 4.12 |
In the true sense of the word, an agent is a persistent computation that can perceive its environment and reason and act both alone and with other agents. The key concepts in this definition are interoperability and autonomy. These concepts set agents apart from conventional objects, which always fulfill any methods invoked on them. Agents, in contrast, should be able to refuse an action. Thus, agents must be able to talk to each other to decide what information to retrieve or what physical action to take, such as shutting down an assembly line. The mechanism for this exchange is the agent communication language (ACL). Theoretically, an ACL should let heterogeneous agents communicate. None currently do: Although ACLs are being used in proprietary multiagent applications, nonproprietary agents cannot interoperate. The author agrees with those who lay the fault for this on the lack of a formal semantics. However, he is not convinced that the existing work on ACL semantics is heading in the right direction. Current work, he argues, is repeating the past mistake of emphasizing mental agency-the supposition that agents should be understood primarily in terms of mental concepts, such as beliefs and intentions. This approach supposes, in essence, that agents can read each other's minds. This supposition has never held for people, and for the same reason, it will not hold for agents. In this article, the author explains why an ACL's formal semantics should emphasize social agency. This approach recognizes that communication is inherently public, and thus depends on the agent's social context.