Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
A procedure for index register allocation is described. The rules of this procedure are shown to yield an optimal allocation for straight line programs. © 1966, ACM. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Laura Mismetti, Marvin Alberts, et al.
ACS Fall 2025
Rangachari Anand, Kishan Mehrotra, et al.
IEEE Transactions on Neural Networks
Alain Vaucher, Philippe Schwaller, et al.
AMLD EPFL 2022