77 search results - page 7 / 16 » From conditional probability to the logic of doxastic action... |
79
Voted
ATVA
2006
Springer
15 years 1 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...
84
Voted
AAAI
2006
14 years 11 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...
LOGCOM
2002
14 years 9 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...
CTW
2004
14 years 9 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...
AAAI
1994
14 years 10 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...