DMCA

DL-Lite and Interval Temporal Logics: a Marriage Proposal (extended version) (2014)

by A. Artale , D. Bresolin , A. Montanari , G. Sciavicco , V. Ryzhikov