The contract net protocol: high-level communication and control in a distributed problem solver
Distributed Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Eco-logic: logic-based approaches to ecological modelling
Eco-logic: logic-based approaches to ecological modelling
A calculus of mobile processes, II
Information and Computation
Why interaction is more powerful than algorithms
Communications of the ACM
Software blueprints: lightweight uses of logic in conceptual modeling
Software blueprints: lightweight uses of logic in conceptual modeling
Model checking
Brokering and matchmaking for coordination of agent societies: a survey
Coordination of Internet agents
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
An improvement to matchmaking algorithms for middle agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Importing the Semantic Web in UDDI
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Policy Language for a Pervasive Computing Environment
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Taxonomy of Middle-Agents for the Internet
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Ontology mapping: the state of the art
The Knowledge Engineering Review
Mapping a Business Process Model to a Semantic Web Service Model
ICWS '04 Proceedings of the IEEE International Conference on Web Services
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Matchmaking multi-party interactions using historical performance data
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
UPML: a framework for knowledge system reuse
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the logic of cooperation and propositional control
Artificial Intelligence
Turing machines, transition systems, and interaction
Information and Computation
Realizing agent dialogues with distributed protocols
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
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A framework for the design and reuse of grid workflows
SAG'04 Proceedings of the First international conference on Scientific Applications of Grid Computing
An Executable Calculus for Service Choreography
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Probing attacks on multi-agent systems using electronic institutions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Lightweight coordination calculus for agent systems: retrospective and prospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
Most current attempts to achieve reliable knowledge sharing on a large scale have relied on pre-engineering of content and supply services. This, like traditional knowledge engineering, does not by itself scale to large, open, peer to peer systems because the cost of being precise about the absolute semantics of services and their knowledge rises rapidly as more services participate. We describe how to break out of this deadlock by focusing on semantics related to interaction and using this to avoid dependency on a priori semantic agreement; instead making semantic commitments incrementally at run time. Our method is based on interaction models that are mobile in the sense that they may be transferred to other components, this being a mechanism for service composition and for coalition formation. By shifting the emphasis to interaction (the details of which may be hidden from users) we can obtain knowledge sharing of sufficient quality for sustainable communities of practice without the barrier of complex meta-data provision prior to community formation.