Sfoglia per Autore
Pairing transitive closure and reduction to efficiently reason about partially ordered events
2000-01-01 Franceschet, M.; Montanari, A.
A calculus of macro-events: progress report
2000-01-01 Cervesato, Iliano; Montanari, Angelo
A Guided Tour Through some Extensions of the Event Calculus
2000-01-01 Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches
2000-01-01 Chittaro, Luca; 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, Massimo; Montanari, Angelo
Derivability in Locally Quantified Modal Logics via Translation in Set Theory
2000-01-01 Montanari, Angelo; Policriti, Slanina
A logical approach to time granularity
2001-01-01 Montanari, Angelo; Policriti, Alberto
A combined approach to temporal logics for time granularity
2001-01-01 Franceschet, Massimo; Montanari, Angelo
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
Querying Data with Multiple Temporal Dimensions
2002-01-01 Combi, Carlo; Montanari, Angelo
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.
Extending Kamp's Theorem to Model Time Granularity
2002-01-01 Montanari, Angelo; Peron, A.; Policriti, Alberto
Alternative Translation Techniques for Propositional and First-Order Modal Logics
2002-01-01 Montanari, Angelo; Policriti, Alberto; Slanina, M.
Research Issues and Trends in Spatial and Temporal Granularities
2002-01-01 Bettini, C; Montanari, Angelo
Decidability of Interval Temporal Logics over Split-Frames via Granularity
2002-01-01 Montanari, Angelo; Sciavicco, Guido; Vitacolonna, Nicola
Decidability of interval temporal logics over split-frames via granularity
2002-01-01 Montanari, A.; Sciavicco, G.; Vitacolonna, N.
Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity
2003-01-01 Franceschet, Massimo; Montanari, Angelo
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.
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.
Special issue on Interval Temporal Logics and Duration Calculi - Editorial
2004-01-01 Goranko, V; Montanari, Angelo
A Road Map of Interval Temporal Logics and Duration Calculi
2004-01-01 Goranko, V; Montanari, Angelo; Sciavicco, Guido
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
Temporalized Logics and Automata for Time Granularity
2004-01-01 Franceschet, Massimo; Montanari, Angelo
Model checking for combined logics with an application to mobile systems
2004-01-01 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
Decidability of MSO Theories of Tree Structures
2004-01-01 Montanari, Angelo; Puppis, Gabriele
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures
2005-01-01 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Checking workflow schemas with time constraints using timed automata (extended abstract)
2005-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Montanari, Angelo
A Uniform Algebraic Characterization of Temporal Functional Dependencies
2005-01-01 Combi, Carlo; Montanari, Angelo; Rossato, Rosalba
Time Granularity
2005-01-01 Euzenat, Jerome; Montanari, Angelo
Propositional Interval Temporal Logics: Some Promising Paths
2005-01-01 Montanari, Angelo
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
2006-01-01 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Extensions of S1S and the composition method
2006-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Definability and decidability of binary predicates for time granularity
2006-01-01 Franceschet, Massimo; Montanari, Angelo; Peron, G; Sciavicco, Guido
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
An automaton-based approach to the verification of timed workflow schemas
2006-01-01 DE MARIA, Elisabetta; Montanari, Angelo; Zantoni, Marco
A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation
2006-01-01 Goranko, Valentin; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
On Devising Algorithms for Ehrenfeucht-Fraïssé Games
2007-01-01 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
A Contraction Method to Decide MSO Theory of Deterministic Trees
2007-01-01 Montanari, Angelo; Puppis, Gabriele
Compact and Tractable Automaton-based Representations for Time Granularities
2007-01-01 DAL LAGO, U; Montanari, Angelo; Puppis, Gabriele
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