4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Samuele Pollaci
DatalogMTL with negation is an extension of Datalog with metric temporal operators enriched with unstratifiable negation. In this paper, we define the stable, well-founded, Kripke-…