Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 55
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.
Mostrati risultati da 1 a 20 di 55
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