3446 search results - page 178 / 690 » A Reasoning Algorithm for pD* |
141
click to vote
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...
132
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
152
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
140
click to vote
ECSQARU
1999
Springer
15 years 8 months ago
1999
Springer
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
129
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...