4 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
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-…