73 citations · 236 across the 29 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018★ 1 cited
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
In this paper, we address complexity issues for timeline-based planning over dense temporal domains. The planning problem is modeled by means of a set of independent, but interacti…
cs.LO2018★ 5 cited
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Luca Geatti, Nicola Gigante, Angelo Montanari +1
In this paper, we propose a novel one-pass and tree-shaped tableau method for Timed Propositional Temporal Logic and for a bounded variant of its extension with past operators. Tim…