Lööw, Tomas

1 publications

IJCAI 2011 Discrete-Time Temporal Reasoning with Horn DLRs Peter Jonsson, Tomas Lööw