Sciweavers

1388 search results - page 132 / 278
» Diagnosis of Plans and Agents
Sort
View
CSFW
2000
IEEE
14 years 2 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
ECAI
2000
Springer
14 years 2 months ago
Intention Reconsideration in Theory and Practice
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
Simon Parsons, Ola Pettersson, Alessandro Saffiott...
ATAL
2008
Springer
14 years 5 days ago
Teaching sequential tasks with repetition through demonstration
For robots to become prevalent in human environments, the robots need to be able to perform complex tasks often involving sequential repetition of actions. In this work, we presen...
Harini Veeraraghavan, Manuela M. Veloso
AAAI
2006
13 years 11 months ago
Representing Systems with Hidden State
We discuss the problem of finding a good state representation in stochastic systems with observations. We develop a duality theory that generalizes existing work in predictive sta...
Christopher Hundt, Prakash Panangaden, Joelle Pine...
AAAI
1997
13 years 11 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