4224 search results - page 662 / 845 » Reasoning about Choice |
192
Voted
KI
1998
Springer
15 years 9 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
191
Voted
IUI
1997
ACM
15 years 9 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
177
click to vote
AGP
1996
IEEE
15 years 9 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
190
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
143
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...