CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 67
Titolo Data di pubblicazione Autore(i) File
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 1-gen-2009 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
A tableau-based system for spatial reasoning about directional relations 1-gen-2009 Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G.
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 1-gen-2010 Bresolin, Davide; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
Tableaux for Logics of Subinterval Structures over Dense Orderings 1-gen-2010 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
A Decidable Spatial Generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 1-gen-2010 Bresolin, Davide; Della Monica, D.; Goranko, V.; Montanari, A.; Sciavicco, G.
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 1-gen-2011 Bresolin, Davide; Capiluppi, Marta
Correct-by-construction code generation from hybrid automata specification 1-gen-2011 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
An Optimal Decision Procedure for MPNL over the Integers 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
The dark side of Interval Temporal Logic: sharpening the undecidability border 1-gen-2011 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT 1-gen-2011 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Robotic surgery 1-gen-2011 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
On Begin, Meets and Before 1-gen-2012 Bresolin, Davide; Sala, Pietro; G., Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture 1-gen-2012 Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model 1-gen-2012 Bresolin, Davide; Capiluppi, Marta
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 1-gen-2012 Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco
Open Problems in Verification and Refinement of Autonomous Robotic Systems 1-gen-2012 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Mostrati risultati da 21 a 40 di 67
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