Handbook of theoretical computer science (vol. B)
Coordination languages and their significance
Communications of the ACM
The process group approach to reliable distributed computing
Communications of the ACM
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
ACM SIGOPS Operating Systems Review
Understanding the limitations of causally and totally ordered communication
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Interacting processes: a multiparty approach to coordinated distributed programming
Interacting processes: a multiparty approach to coordinated distributed programming
PageSpace: an architecture to coordinate distributed applications on the Web
Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Coordinating Multiagent Applications on the WWW: A Reference Architecture
IEEE Transactions on Software Engineering
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Concurrent programming for DAI
Multiagent systems
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
A Customizable Coordination Service for Autonomous Agents
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
An exception-handling architecture for open electronic marketplaces of contract net software agents
Proceedings of the 2nd ACM conference on Electronic commerce
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
IEEE Internet Computing
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Annals of Mathematics and Artificial Intelligence
Enabling Persistent Web Services via Commitments
Information Technology and Management
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling exceptions via commitment protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalizing and achieving multiparty agreements via commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Detection tests for identifying violators of multi-party contracts
ACM SIGecom Exchanges
ACM SIGecom Exchanges
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
IEEE Internet Computing
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Guided interaction: A mechanism to enable ad hoc service interaction
Information Systems Frontiers
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Toward verification of commitment protocols and their compositions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Practical Issues in Detecting Broken Social Commitments
Agent Communication II
Towards Design Tools for Protocol Development
Agent Communication II
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Exception Diagnosis Architecture for Open Multi-Agent Systems
Software Engineering for Multi-Agent Systems V
Computational Logic in Multi-Agent Systems
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Constitutive rules for agent communication languages
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Interoperation in protocol enactment
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
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
Symbolic model checking for agent interactions
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Model checking commitment protocols
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Participation components for holding roles in multiagent systems protocols
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Analyzing multiparty agreements with commitments
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
A sentinel based exception diagnosis in market based multi-agent systems
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Detecting exceptions in commitment protocols: discovering hidden states
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
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
Producing enactable protocols in artificial agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Open issues for normative multi-agent systems
AI Communications
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
MaNEA: A distributed architecture for enforcing norms in open MAS
Engineering Applications of Artificial Intelligence
Towards a satisfactory conversion of messages among agent-based information systems
Expert Systems with Applications: An International Journal
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open systems, such as those that arise in most interesting web applications. A variety of common protocols in negotiation and electronic commerce are best treated as commitment protocols, which are defined, or at least analyzed, in terms of the creation, satisfaction, or manipulation of the commitments among the participating agents.When protocols are employed in open environments, such as the Internet, they must be executed by agents that behave more or less autonomously and whose internal designs are not known. In such settings, therefore, there is a risk that the participating agents may fail to comply with the given protocol. Without a rigorous means to verify compliance, the very idea of protocols for interoperation is subverted. We develop an approach for testing whether the behavior of an agent complies with a commitment protocol. Our approach requires the specification of commitment protocols in temporal logic, and involves a novel way of synthesizing and applying ideas from distributed computing and logics of program.