Progression and Verification of Situation Calculus Agents with Bounded Beliefs
De Giacomo, Giuseppe, Lespérance, Yves, Patrizi, Fabio, Vassos, StavrosVolume:
104
Language:
english
Journal:
Studia Logica
DOI:
10.1007/s11225-015-9626-z
Date:
August, 2016
File:
PDF, 685 KB
english, 2016