A logic-based calculus of events
New Generation Computing
Design and validation of computer protocols
Design and validation of computer protocols
Handbook of theoretical computer science (vol. B)
Temporal reasoning with abductive event calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Readings in agents
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
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
Planning and Resource Allocation for Hard Real-time, Fault-Tolerant Plan Execution
Autonomous Agents and Multi-Agent Systems
A Protocol-Based Semantics for an Agent Communication Language
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Reactivity in a Logic-Based Robot Programming Framework
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Designing Commitment-Based Agent Interactions
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Modeling conversation policies using permissions and obligations
Autonomous Agents and Multi-Agent Systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
An executable specification of a formal argumentation protocol
Artificial Intelligence
Applying game theory mechanisms in open agent systems with complete information
Autonomous Agents and Multi-Agent Systems
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
On illegal composition of first-class agent interaction protocols
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Specifying and enforcing norms in artificial institutions
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
Towards Design Tools for Protocol Development
Agent Communication II
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Engineering Societies in the Agents World VIII
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Specifying and Enforcing Norms in Artificial Institutions
Declarative Agent Languages and Technologies VI
Strategic Agent Communication: An Argumentation-Driven Approach
Declarative Agent Languages and Technologies VI
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Symbolic model checking commitment protocols using reduction
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
On the verification of social commitments and time
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Annals of Mathematics and Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Improving flexibility and robustness in agent interactions: extending prometheus with hermes
Software Engineering for Multi-Agent Systems IV
Hermes: designing goal-oriented agent interactions
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Predicting exceptions in agent-based supply-chains
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Agreeing on defeasible commitments
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hermes: implementing goal-oriented agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
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
Using OWL 2 DL for expressing ACL content and semantics
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
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
The design of intelligent socio-technical systems
Artificial Intelligence Review
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A comparison of two agent interaction design approaches
Multiagent and Grid 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 | 0.02 |
Commitments among agents are widely recognized as an important basis for organizing interactions in multiagent systems. We develop an approach for formally representing and reasoning about commitments in the event calculus. We apply and evaluate this approach in the context of protocols, which represent the interactions allowed among communicating agents. Protocols are essential in applications such as electronic commerce where it is necessary to constrain the behaviors of autonomous agents. Traditional approaches, which model protocols merely in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, by formally representing commitments, we can specify the content of the protocols through the agents' commitments to one another. In representing commitments in the event calculus, we formalize commitment operations and domain-independent reasoning rules as axioms to capture the evolution of commitments. We also provide a means to specify protocol-specific axioms through the agents' actions. These axioms enable agents to reason about their actions explicitly to flexibly accommodate the exceptions and opportunities that may arise at run time. This reasoning is implemented using an event calculus planner that helps determine flexible execution paths that respect the given protocol specifications.