77 search results - page 7 / 16 » From conditional probability to the logic of doxastic action... |
189
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
167
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
209
click to vote
LOGCOM
2002
15 years 6 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
176
click to vote
CTW
2004
15 years 6 months ago
2004
Neonatal intensive care units (NICUs), like other intensive care units, are intended to provide immediate responses to any change in the patient's condition. Patient-monitorin...
182
click to vote
AAAI
1994
15 years 8 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...