Agent Abstraction via Forgetting in the Situation Calculus. - Kailun Luo; Yongmei Liu 001; Yves Lespérance; Ziliang Lin (ECAI, 2020)