Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
XPROBE extends the teaching-by-showing method of robot programming to the teaching of sensor strategies. The XPROBE system has a dialogue with the user, during which the user is directed to guide the robot through an example of the desired task. XPROBE then automatically writes an AML program that includes sensory decision making as a generalization of the taught example. © 1984, Sage Publications. All rights reserved.
Joseph Y. Halpern
aaai 1996
Dzung Phan, Vinicius Lima
INFORMS 2023
Bemali Wickramanayake, Zhipeng He, et al.
Knowledge-Based Systems
Shashank Ahire, Melissa Guyre, et al.
CUI 2025