4595 search results - page 58 / 919 » Reasoning about Plans |
145
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
201
click to vote
PSSE
2004
Springer
15 years 9 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
133
click to vote
ECOI
2010
15 years 3 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
129
click to vote
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
149
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...