4224 search results - page 46 / 845 » Reasoning about Choice |
110
Voted
IJCAI
1997
15 years 8 days ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
81
Voted
ECOI
2010
14 years 9 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...
82
Voted
CEFP
2009
Springer
14 years 8 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. ...
98
Voted
TPHOL
2008
IEEE
15 years 5 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...
95
Voted
PLPV
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...