CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Serie  PROCEEDINGS - INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 13 di 13
Titolo Data di pubblicazione Autore(i) File
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 1-gen-2014 Sala, Pietro
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 1-gen-2010 Montanari, Angelo; Pratt Hartmann, Ian; 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.
Metric Propositional Neighborhood Logic with an Equivalence Relation 1-gen-2014 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
Optimal Design of Consistent Simple Temporal Networks 1-gen-2013 Rizzi, Romeo; Posenato, Roberto
Optimal tableau for Right Propositional Neighborhood Logic over trees 1-gen-2008 Bresolin, Davide; A., Montanari; Sala, Pietro
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 1-gen-2012 Montanari, Angelo; Sala, Pietro
The Price of Evolution in Temporal Databases 1-gen-2015 Combi, Carlo; Rizzi, Romeo; Sala, Pietro
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 1-gen-2014 Alessandro, Cimatti; Luke, Hunsberger; Andrea, Micheli; Posenato, Roberto; Marco, Roveri
A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks 1-gen-2015 Hunsberger, Luke; Posenato, Roberto; Combi, Carlo
Temporal Functional Dependencies Based on Interval Relations 1-gen-2011 Combi, Carlo; Sala, Pietro
Towards Temporal Controllabilities for Workflow Schemata 1-gen-2010 Combi, Carlo; Posenato, Roberto
A Tractable Generalization of Simple Temporal Networks and its relation to Mean Payoff Games 1-gen-2014 Carlo, Comin; Posenato, Roberto; Rizzi, Romeo
Mostrati risultati da 1 a 13 di 13
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