We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
Jackal is a Java-based tool for communication using the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ...
R. Scott Cost, Timothy W. Finin, Yannis Labrou, Xi...
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
Raffaello D'Andrea, Jin-Woo Lee, Andrew Hoffman, A...
We present an approach to resource allocation in telecommunications networks based on the interaction of self-interested agents which have limited information about their environme...
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...