Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Graphs that in a certain precise sense are rich in sets of vertex-disjoint paths are studied. Bounds are obtained on the minimum number of edges in such graphs, and these are used to deduce nonlinear lower bounds on the computational complexity of shifting, merging, and matching problems. © 1976, ACM. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Ran Iwamoto, Kyoko Ohara
ICLC 2023
Chen-chia Chang, Wan-hsuan Lin, et al.
ICML 2025
Pavel Klavík, A. Cristiano I. Malossi, et al.
Philos. Trans. R. Soc. A