A logic-based calculus of events
New Generation Computing
Handbook of theoretical computer science (vol. B)
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
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI
IEEE Internet Computing
IEEE Intelligent Systems
Coordinating Business Transactions on the Web
IEEE Internet Computing
A Knowledge-Theoretic Semantics for Concurrent METATEM
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Now you may compose temporal logic specifications
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Engineering commitment-based multiagent systems: a temporal logic approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed Enactment of Multiagent Flows
Distributed Enactment of Multiagent Flows
Multiagent Systems with Workflows
IEEE Internet Computing
Information Systems Frontiers
Specifying and resolving preferences among agent interaction patterns
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
GCS-MA: A group communication system for mobile agents
Journal of Network and Computer Applications
An event-driven approach for agent-based business process enactment
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Implementing enterprise collaboration using web services and software agents
International Journal of Networking and Virtual Organisations
Semantic matchmaking of web services using model checking
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Introducing Preferences into Commitment Protocols
Agent Communication II
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
What agents can do in workflow management systems
Artificial Intelligence Review
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Semantics and verification of information-based protocols
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
| Hi-index | 0.00 |
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area is Web service composition. We develop an approach that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, has a rigorous semantics, and yields a naturally distributed execution.