Tomas Lööw

Department of Computer and Information Science Linköping University

1 paper in the IJCAI proceedings

IJCAI 2011

Discrete-Time Temporal Reasoning with Horn DLRs

with Peter Jonsson

doi:10.5591/978-1-57735-516-8/IJCAI11-161

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings