Formal theories of knowledge in AI and robotics
New Generation Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
File structures: an analytic approach
File structures: an analytic approach
The design and analysis of spatial data structures
The design and analysis of spatial data structures
Partial evaluation in logic programming
Journal of Logic Programming
Artificial Intelligence
A softbot-based interface to the Internet
Communications of the ACM
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On optimal piggyback merging policies for video-on-demand systems
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Query caching and optimization in distributed mediator systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Adding animated presentation agents to the interface
Proceedings of the 2nd international conference on Intelligent user interfaces
InfoSleuth: agent-based semantic integration of information in open and dynamic environments
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Multi-sensor fusion: fundamentals and applications with software
Multi-sensor fusion: fundamentals and applications with software
Ariadne: a system for constructing mediators for Internet sources
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Some achievements and prospects in partial deduction
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Optimizing information agents by selectively materializing data
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, III: polynomially implementable agents
Artificial Intelligence
ACM Transactions on Computational Logic (TOCL)
Artificial Intelligence
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Heterogeneous Agent Systems
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
On the Multiple-Query Optimization Problem
IEEE Transactions on Knowledge and Data Engineering
What We Talk About When We Talk About Software Agents
IEEE Intelligent Systems
Optimizing Queries with Materialized Views
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
On Efficiently Implementing SchemaSQL on an SQL Database System
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Semantic Data Caching and Replacement
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
SchemaSQL - A Language for Interoperability in Relational Multi-Database Systems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Selectively Materializing Data in Mediators by Analyzing User Queries
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Guardian Angel: Patient-Centered Health Information Systems
Guardian Angel: Patient-Centered Health Information Systems
| Hi-index | 0.00 |
Agents provide services not only to humans users but also to agents in one or more multiagent systems. When agents are confronted with multiple tasks to perform (or requests to satisfy), the agent can reduce load on itself by attempting to take advantage of commonalities between the tasks that need to be performed. In this paper, we develop a logical theory by which such “heavily loaded” agents can merge commonalities amongst such tasks. In our framework, agents can be built on top of legacy codebases. We propose a logical formalism called invariants using which agent developers may specify known commonalities between tasks – after this, we propose a sound and complete mechanism to derive all possible derived commonalities. An obvious A*-based algorithm may be used to merge a set of tasks in a way that minimised expected execution cost. Unfortunately the execution time of this algorithm is prohibitive, even when only 10 tasks need to be merged, thus making it unusable in practice. We develop heuristic algorithms for this problem that take much less time to execute and produce almost as good ways of merging tasks.