Sciweavers

5198 search results - page 681 / 1040
» A Logic of Agent Programs
Sort
View
CSFW
2000
IEEE
15 years 11 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
AGI
2008
15 years 8 months ago
Anticipative coordinated cognitive processes for interactivist and Piagetian theories
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
Jean-Charles Quinton, Jean-Christophe Buisson, Fil...
AAAI
1997
15 years 8 months ago
Query Optimization Using Local Completeness
We consider the problem of query plan optimization in information brokers. Information brokers are programs that facilitate access to collections of information sources by hiding ...
Oliver M. Duschka
AAAI
1997
15 years 8 months ago
From MiniMax to Manhattan
The thinking process for playing chess by computer is significantly different from that used by humans. Although computer hardware and software have evolved considerably, computer...
T. Anthony Marsland, Yngvi Björnsson
AAAI
1993
15 years 8 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip