Henrik Grosskreutz "Probabilistic Projection and Belief Update in the pGOLOG Framework"
(1999)
Languages mentioned
pGOLOG
{2000}