Sciweavers

9284 search results - page 38 / 1857
» Knowledge State Algorithms
Sort
View
AIPS
2006
13 years 10 months ago
On Some Tractable Cases of Logical Filtering
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
T. K. Satish Kumar, Stuart J. Russell
CAV
2007
Springer
122views Hardware» more  CAV 2007»
14 years 14 days ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
AAAI
2010
13 years 10 months ago
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
Planning in dynamic continuous environments requires reasoning about nonlinear continuous effects, which previous Hierarchical Task Network (HTN) planners do not support. In this ...
Matthew Molineaux, Matthew Klenk, David W. Aha
EWCBR
2008
Springer
13 years 10 months ago
Situation Assessment for Plan Retrieval in Real-Time Strategy Games
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
Kinshuk Mishra, Santiago Ontañón, As...