Sciweavers

2968 search results - page 18 / 594
» Network Programming Using PLAN
Sort
View
AAAI
2010
13 years 9 months ago
Trial-Based Dynamic Programming for Multi-Agent Planning
Trial-based approaches offer an efficient way to solve singleagent MDPs and POMDPs. These approaches allow agents to focus their computations on regions of the environment they en...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
ATAL
2010
Springer
13 years 8 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
NETWORKING
2007
13 years 9 months ago
Optimization Models for the Radio Planning of Wireless Mesh Networks
In this paper we propose novel optimization models for the planning of Wireless Mesh Networks whose objective is to minimize the network installation cost, while providing full cov...
Edoardo Amaldi, Antonio Capone, Matteo Cesana, Fed...
VSTTE
2005
Springer
14 years 1 months ago
Tool Integration for Reasoned Programming
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
Andrew Ireland
ATAL
2004
Springer
13 years 11 months ago
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
Mehdi Dastani, Leendert W. N. van der Torre