A type system for logic program
Journal of Logic Programming
Handbook of theoretical computer science (vol. B)
From logic programming to Prolog
From logic programming to Prolog
Program analysis, debugging, and optimization using the ciao system preprocessor
Proceedings of the 1999 international conference on Logic programming
Brokering and matchmaking for coordination of agent societies: a survey
Coordination of Internet agents
Hi-index | 0.00 |
Mediated coordination of multiple intelligent agents requires public knowledge of what each agent is capable of offering to other agents. This knowledge must be accessible by the mediating agent, that can be as simple as a matchmaker or as sophisticated as a complete broker. Among many problems related to advertising and managing capabilities of multiple agents, we consider in this article the one we regard as the most fundamental problem: what is a "capability"?. We show that the answer is not unique. Clearly, it must precede any development of architectures, strategies, procedures and policies to manage capabilities for knowledge coordination.