Sciweavers

191 search results - page 27 / 39
» Sound for A-Life Agents
Sort
View
AAAI
1996
13 years 8 months ago
First-Order Conditional Logic Revisited
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
Nir Friedman, Joseph Y. Halpern, Daphne Koller
AAAI
1996
13 years 8 months ago
Planning to Gather Information
We describe Occam, a query planning algorithm that determines the best way to integrate data from dierent sources. As input, Occam takes a library of site descriptions and a user ...
Chung T. Kwok, Daniel S. Weld
LOGCOM
2002
142views more  LOGCOM 2002»
13 years 7 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke
ICTAI
2002
IEEE
14 years 12 days ago
A TMO Based Approach to Structuring Real-Time Agents
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
K. H. Kim
ISMIS
2003
Springer
14 years 20 days ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa