Video recording
Session title:
KR: temporal reasoning
Session chair:
Alessio Lomuscio
Talks
| Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification | Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco | |
| Discrete-time Temporal Reasoning with Horn DLRs | Peter Jonsson and Tomas Lööw | |
| A logic for causal inference in time series with discrete and continuous variables | Samantha Kleinberg |
Video