Sfoglia per Autore
A Multimedia System for Automatic Recognition and Retrieval of Heterogeneous Music Documents
2000-01-01 Argentini, A; Combi, C; Foresti, Gian Luca; Mirolo, Claudio; Montanari, Angelo; Peron, A.
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity
2000-01-01 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
Spatial and Temporal Granularity: Papers from the AAAI Workshop, Technical Report WS-00-08 - Editorial
2000-01-01 Bettini, C; Montanari, Angelo
A Guided Tour Through some Extensions of the Event Calculus
2000-01-01 Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
A calculus of macro-events: progress report
2000-01-01 Cervesato, Iliano; Montanari, Angelo
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus
2000-01-01 Franceschet, Massimo; Montanari, Angelo
Pairing transitive closure and reduction to efficiently reason about partially ordered events
2000-01-01 Franceschet, M.; Montanari, A.
A combined approach to temporal logics for time granularity
2001-01-01 Franceschet, Massimo; Montanari, Angelo
A logical approach to time granularity
2001-01-01 Montanari, Angelo; Policriti, Alberto
TIME-01: Proocedings of the Eighth International Symposium on Temporal Representation and Reasoning
2001-01-01 Bettini, Claudio; Montanari, Angelo
Towards an automata-theoretic counterpart of combined temporal logics
2001-01-01 Franceschet, Massimo; Montanari, Angelo
Data Models with Multiple Temporal Dimensions: Completing the Picture
2001-01-01 Combi, Carlo; Montanari, Angelo
Calendars, Time Granularities, and Automata
2001-01-01 DAL LAGO, Ugo; Montanari, Angelo
Time Granularities in Databases, Data Mining, and Temporal Reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review)
2002-01-01 Franceschet, Massimo; Montanari, Angelo
Extending Kamp's Theorem to Model Time Granularity
2002-01-01 Montanari, Angelo; Peron, A.; Policriti, Alberto
The problem of finding transcription factor binding sites and its impact in defining co-regulated gene-networks
2002-01-01 Fabris, F; Montanari, Angelo; Policriti, Alberto; Reid, J; Schneider, C.
Research Issues and Trends in Spatial and Temporal Granularities
2002-01-01 Bettini, C; Montanari, Angelo
Querying Data with Multiple Temporal Dimensions
2002-01-01 Combi, Carlo; Montanari, Angelo
Decidability of Interval Temporal Logics over Split-Frames via Granularity
2002-01-01 Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola
Alternative Translation Techniques for Propositional and First-Order Modal Logics
2002-01-01 Montanari, Angelo; Policriti, Alberto; Slanina, M.
Decidability of interval temporal logics over split-frames via granularity
2002-01-01 Montanari, A.; Sciavicco, G.; Vitacolonna, N.
Special issue on Temporal Representation and Reasoning - Editorial
2003-01-01 Bettini, C; Montanari, Angelo
A General Tableau Method for Propositional Interval Temporal Logics
2003-01-01 Goranko, V; Montanari, Angelo; Sciavicco, G.
Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity
2003-01-01 Franceschet, Massimo; Montanari, Angelo
Towards Compact and Tractable Automaton-Based Representations of Time Granularities
2003-01-01 Lago, U. D.; Montanari, A.; Puppis, G.
On Propositional Interval Neighborhood Temporal Logics
2003-01-01 Goranko, ; Montanari, Angelo; Sciavicco, Guido
Definability and Decidability of Binary Predicates for Time Granularity
2003-01-01 Franceschet, Massimo; Montanari, Angelo; Peron, A; Sciavicco, G.
Decidability of the Theory of the Totally Unbounded omega-Layered Structure
2004-01-01 Montanari, Angelo; Puppis, G.
A Road Map of Interval Temporal Logics and Duration Calculi
2004-01-01 Goranko, V; Montanari, Angelo; Sciavicco, Guido
Decidability of MSO Theories of Tree Structures
2004-01-01 Montanari, Angelo; Puppis, Gabriele
Temporalized Logics and Automata for Time Granularity
2004-01-01 Franceschet, Massimo; Montanari, Angelo
Special issue on Interval Temporal Logics and Duration Calculi - Editorial
2004-01-01 Goranko, V; Montanari, Angelo
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
Model checking for combined logics with an application to mobile systems
2004-01-01 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Montanari, Angelo
Propositional Interval Temporal Logics: Some Promising Paths
2005-01-01 Montanari, Angelo
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures
2005-01-01 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Time Granularity
2005-01-01 Euzenat, Jerome; Montanari, Angelo
Checking workflow schemas with time constraints using timed automata (extended abstract)
2005-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
A Uniform Algebraic Characterization of Temporal Functional Dependencies
2005-01-01 Combi, Carlo; Montanari, Angelo; Rossato, Rosalba
An automaton-based approach to the verification of timed workflow schemas
2006-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
Extensions of S1S and the composition method
2006-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
2006-01-01 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
On the relationships between theories of time granularity and the monadic second-order theory of one successor
2006-01-01 Montanari, Angelo; Peron, A; Puppis, Gabriele
Definability and decidability of binary predicates for time granularity
2006-01-01 Franceschet, Massimo; Montanari, Angelo; Peron, G; Sciavicco, Guido
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation
2006-01-01 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
2007-01-01 Bresolin, Davide; Goranko, V; Montanari, Angelo; Sciavicco, G.
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
2007-01-01 Bresolin, D; Goranko, V; Montanari, Angelo; Sala, Pietro
The T4SQL Temporal Query Language
2007-01-01 Combi, C; Montanari, Angelo; Pozzi, G.
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
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