A logic-based calculus of events
New Generation Computing
Readings in agents
Credits and debits on the Internet
Readings in agents
Social conceptions of knowledge and action: DAI foundations
Readings in agents
Designing and executing protocols using the event calculus
Proceedings of the fifth international conference on Autonomous agents
Verifying Compliance with Commitment Protocols
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
Defining interaction protocols using a commitment-based agent communication language
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
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Annals of Mathematics and Artificial Intelligence
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
A semantic approach for designing business protocols
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A Pragmatic Approach to Build Conversation Protocols Using Social Commitments
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
A Semantic Approach for Designing Commitment Protocols
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
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
Using a performative subsumption lattice to support commitment-based conversations
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
Modular Representation of Agent Interaction Rules through Argumentation
Autonomous Agents and Multi-Agent Systems
A context-aware approach for service selection using ontologies
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An algebra for commitment protocols
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
A flexible mechanism for dialogue design
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Enacting protocols by commitment concession
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Autonomous Agents and Multi-Agent Systems
Applied Ontology - Formal Ontologies for Communicating Agents
ACL Semantics Between Social Commitments and Mental Attitudes
Agent Communication II
Introducing Preferences into Commitment Protocols
Agent Communication II
Towards Design Tools for Protocol Development
Agent Communication II
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
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)
From Obligations to Organizational Structures in Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A reasoning agent for credit card fraud using the event calculus
International Journal of Electronic Security and Digital Forensics
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A unification-based approach to configure generic protocols into agent interaction models
International Journal of Agent-Oriented Software Engineering
Specialization of Interaction Protocols in a Temporal Action Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
An algorithm for conflict resolution in regulated compound activities
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Joint conversation specification and compliance
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Interoperation in protocol enactment
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
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
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
A multiagent network for peer norm enforcement
Autonomous Agents and Multi-Agent Systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Declarative technologies for open agent systems and beyond
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
What happened to my commitment? exception diagnosis among misalignment and misbehavior
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Verifying business process compliance by reasoning about actions
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Programming multiagent systems without programming agents
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Elements of a business-level architecture for multiagent systems
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
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
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Diagnosing commitments: delegation revisited
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Formalization and verification of interaction protocols
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Layered strategies and protocols for argumentation-based agent interaction
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
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
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Realizing agent dialogues with distributed protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
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
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
A computational model for conversation policies for agent communication
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
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
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Social commitments in time: satisfied or compensated
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
Hermes: implementing goal-oriented agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An agent-oriented approach to service analysis and design
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Artificial Intelligence
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Formalizing commitments using action languages
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Open issues for normative multi-agent systems
AI Communications
Applied Ontology - Formal Ontologies for Communicating Agents
Verifying conformance of multi-agent commitment-based protocols
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
PROTOSS: A Run Time Tool for Detecting Privacy Violations in Online Social Networks
ASONAM '12 Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012)
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Generating and ranking commitment protocols
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
Detecting and predicting privacy violations in online social networks
Distributed and Parallel Databases
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
A comparison of two agent interaction design approaches
Multiagent and Grid Systems
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
| Hi-index | 0.00 |
Protocols represent the allowed interactions 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 in terms of action sequences, limit the flexibility of the agents in executing the protocols. By contrast, we develop an approach for specifying protocols in which we capture the content of the actions through agents' commitments to one another. We formalize commitments in a variant of the event calculus. We provide operations and reasoning rules to capture the evolution of commitments through the agents' actions. Using these rules in addition to the basic event calculus axioms enables agents to reason about their actions explicitly to flexibly accommodate the exceptions and opportunities that arise at run time. This reasoning is implemented using an event calculus planner that helps us determine flexible execution paths that respect the protocol specifications.