Hagen Soltau, Lidia Mangu, et al.
ASRU 2011
Paper
A Propositional Modal Logic of Time Intervals
Related
Kenneth L. Clarkson, Elad Hazan, et al.
Journal of the ACM
Joseph Y. Halpern
Journal of Philosophical Logic
Conference paper
Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011