Angelo Montanari (University of Udine

Identifiers

• name variant Angelo Montanari (University of Udine 0.60 · backfill

Papers (5)

1. Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground cs.LO · 2018 · author #5
2. One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past cs.LO · 2018 · author #5
3. Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete cs.LO · 2016 · author #5
4. A decidable weakening of Compass Logic based on cone-shaped cardinal directions cs.LO · 2015 · author #1
5. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture cs.LO · 2012 · author #5

Mentions

• 1510.03319 #1 · backfill · confidence 0.70 Angelo Montanari (University of Udine
• 1210.2479 #5 · backfill · confidence 0.70 Angelo Montanari (University of Udine

Frequent Coauthors

• Italy) 5 shared papers
• Pietro Sala (University of Verona 3 shared papers
• Alberto Molinari (University of Udine 2 shared papers
• Spain) 2 shared papers
• Adriano Peron (University of Napoli "Federico II" 1 shared papers
• Adriano Peron (University of Napoli Federico II 1 shared papers
• Dario Della Monica (Reykjavik University 1 shared papers
• Davide Bresolin (University of Verona 1 shared papers
• Gabriele Puppis (LaBRI - CNRS) 1 shared papers
• Guido Sciavicco (University of Murcia 1 shared papers
• Iceland) 1 shared papers
• Laura Bozzelli (Technical University of Madrid (UPM) 1 shared papers
• Laura Bozzelli (University of Napoli Federico II 1 shared papers
• Luca Geatti (University of Udine 1 shared papers
• Mark Reynolds (University of Western Australia) 1 shared papers
• Nicola Gigante (University of Udine 1 shared papers