Sciweavers

864 search results - page 82 / 173
» Plan Generation and Plan Execution in Agent Programming
Sort
View
ATAL
2006
Springer
13 years 9 months ago
An argumentation based approach for practical reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
AGENTS
2001
Springer
14 years 11 days ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
CSFW
2000
IEEE
14 years 8 days 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
AAAI
1997
13 years 9 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
IJRR
2011
130views more  IJRR 2011»
12 years 11 months ago
LQG-MP: Optimized path planning for robots with motion uncertainty and imperfect state information
— This paper presents LQG-MP (linear-quadratic Gaussian motion planning), a new approach to robot motion planning that takes into account the sensors and the controller that will...
Jur van den Berg, Pieter Abbeel, Ken Goldberg