Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data

Alisa Kovtunova, Rafael Peñaloza

Recent work has studied a probabilistic extension of the temporal logic LTL that refines the eventuality (or diamond) constructor with a probability distribution on when will this…