Sfoglia per Autore
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification
2008-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Undecidability of Interval Temporal Logics with the Overlap Modality
2009-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
A decidable spatial generalization of Metric Interval Temporal Logic
2010-01-01 Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Interval Temporal Logics: a Journey
2011-01-01 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification
2011-01-01 DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
Hybrid metric propositional neighborhood logics with interval length binders
2011-01-01 Della Monica, D.; Goranko, V.; Sciavicco, G.
The dark side of Interval Temporal Logics: sharpening the undecidability border
2011-01-01 Bresolin, D; DELLA MONICA, D; Goranko, V; Montanari, Angelo; Sciavicco, G.
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT
2011-01-01 Bresolin, D; DELLA MONICA, Dario; Montanari, Angelo; Sciavicco, G.
Expressiveness, decidability, and undecidability of interval temporal logic
2011-04-01 Della Monica, Dario
Interval temporal logics over finite linear orders: The complete picture
2012-01-01 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sala, P.; Sciavicco, G.
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers
2012-01-01 Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G.
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation
2013-01-01 Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sciavicco, G.
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders
2013-01-01 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G.
Metric propositional neighborhood logics on natural numbers
2013-01-01 Bresolin, D; DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G.
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics
2014-01-01 Della Monica, D; Montanari, Angelo; Sciavicco, G; Tishkovsky, D.
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
2014-01-01 Aceto, L; Della Monica, D; Ingolfsdottir, A; Montanari, Angelo; Sciavicco, G.
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity
2014-01-01 Bresolin, D; Della Monica, D; Montanari, Angelo; Sala, P; Sciavicco, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification | 1-gen-2008 | Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | |
Undecidability of Interval Temporal Logics with the Overlap Modality | 1-gen-2009 | Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | |
Metric Propositional Neighborhood Logics: expressiveness, decidability, and undecidability | 1-gen-2010 | Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | |
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings | 1-gen-2010 | Bresolin, Davide; DELLA MONICA, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido | |
A decidable spatial generalization of Metric Interval Temporal Logic | 1-gen-2010 | Bresolin, Davide; DELLA MONICA, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
Interval Temporal Logics: a Journey | 1-gen-2011 | DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
Expressiveness of the Interval Logics of Allen’s Relations on the Class of all Linear Orders: Complete Classification | 1-gen-2011 | DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
Hybrid metric propositional neighborhood logics with interval length binders | 1-gen-2011 | Della Monica, D.; Goranko, V.; Sciavicco, G. | |
The dark side of Interval Temporal Logics: sharpening the undecidability border | 1-gen-2011 | Bresolin, D; DELLA MONICA, D; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
The light side of Interval Temporal Logics: the Bernays-Schoenfinkel's fragment of CDT | 1-gen-2011 | Bresolin, D; DELLA MONICA, Dario; Montanari, Angelo; Sciavicco, G. | |
Expressiveness, decidability, and undecidability of interval temporal logic | 1-apr-2011 | Della Monica, Dario | |
Interval temporal logics over finite linear orders: The complete picture | 1-gen-2012 | Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sala, P.; Sciavicco, G. | |
Crossing the undecidability border with extensions of propositional neighborhood logic over natural numbers | 1-gen-2012 | Della Monica, D.; Goranko, V.; Montanari, Angelo; Sciavicco, G. | |
A tableau system for right propositional neighborhood logic over finite linear orders: An implementation | 1-gen-2013 | Bresolin, D.; Della Monica, D.; Montanari, Angelo; Sciavicco, G. | |
A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders | 1-gen-2013 | Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G. | |
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | 1-gen-2013 | Aceto, L.; Della Monica, D.; Ingólfsdóttir, A.; Montanari, Angelo; Sciavicco, G. | |
Metric propositional neighborhood logics on natural numbers | 1-gen-2013 | Bresolin, D; DELLA MONICA, Dario; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics | 1-gen-2014 | Della Monica, D; Montanari, Angelo; Sciavicco, G; Tishkovsky, D. | |
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders | 1-gen-2014 | Aceto, L; Della Monica, D; Ingolfsdottir, A; Montanari, Angelo; Sciavicco, G. | |
Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity | 1-gen-2014 | Bresolin, D; Della Monica, D; Montanari, Angelo; Sala, P; Sciavicco, G. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile