Video recording
Session title:
KR: temporal reasoning
Session chair:
Alessio Lomuscio
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete ClassificationDario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco
Discrete-time Temporal Reasoning with Horn DLRsPeter Jonsson and Tomas Lööw
A logic for causal inference in time series with discrete and continuous variablesSamantha Kleinberg
Video also available for download here. We recommend VLC for playing