Enabling agents to work together
Communications of the ACM
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Prior Knowledge: Problems and Solutions
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Gemini: a natural language system for spoken-language understanding
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Contemporary web service discovery mechanisms
Journal of Web Engineering
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Interface-Based service composition with aggregation
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Hi-index | 0.00 |
A framework called guide is presented in which many agents can cooperate to answer a query or perform a task.Agen ts may be heterogeneous: they need not be intended to work together and need not share any vocabulary or representational conventions. The query can be phrased without knowing which agents are available or appropriate to carry it out. Query and agents are linked by a common applicationdomain theory. The query is phrased as a theorem; the answer is extracted from a proof in the theory.The answer may depend on background knowledge implied by the theory. The guide's approach is domain-independent but is illustrated by answering questions involving maps and directories.