5243 search results - page 846 / 1049 » Reasoning About Strategies |
194
click to vote
WSC
2004
15 years 8 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
145
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
160
click to vote
AAAI
2000
15 years 8 months ago
2000
If robotic agents are to act autonomously they must have the ability to construct and reason about models of their physical environment. For example, planning to achieve goals req...
164
click to vote
AIPS
1998
15 years 8 months ago
1998
We describe a framework for planning in dynamic environments. A central question is how to focus the sensing performed by such a system, so that it responds appropriately to relev...
181
click to vote
WORM
2003
15 years 8 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...