3573 search results - page 530 / 715 » Reasoning about Codata |
104
click to vote
AAAI
2000
15 years 5 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...
127
Voted
AAAI
2000
15 years 5 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...
125
Voted
AIPS
1998
15 years 5 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...
131
Voted
WORM
2003
15 years 5 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 ...
134
Voted
ECIS
2000
15 years 5 months ago
2000
: Only about 5% of the companies which could profit from EDI actually use it. The main reason is that especially small and medium-sized enterprises (SMEs) try to avoid the consider...