Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
A linear implementation of the optimal universal data compression methods of Lempel and Ziv is described. The main tool is McCreight's algorithm for constructing suffix trees. Both bounded and unbounded memory are considered. © 1981, ACM. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.
Joxan Jaffar
Journal of the ACM
Michael Hersche, Mustafa Zeqiri, et al.
NeSy 2023