Sfoglia per Autore
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
A general tableau method for propositional interval temporal logics: Theory and implementation
2006-01-01 Goranko, V.; Montanari, A.; Sala, Pietro; Sciavicco, G.
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
2007-01-01 Bresolin, Davide; Valentin, Goranko; Angelo, Montanari; Sala, Pietro
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders
2008-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Optimal tableau for Right Propositional Neighborhood Logic over trees
2008-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
2009-01-01 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
A tableau-based system for spatial reasoning about directional relations
2009-01-01 Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G.
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
2009-01-01 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Tableaux for Logics of Subinterval Structures over Dense Orderings
2010-01-01 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
A Decidable Spatial Generalization of Metric Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders
2010-01-01 Montanari, Angelo; Pratt Hartmann, Ian; Sala, Pietro
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
2010-01-01 Montanari, Angelo; Puppis, Gabriele; Sciavicco, Guido; Sala, Pietro
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
2010-01-01 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
A uniform framework for temporal functional dependencies with multiple granularities
2011-01-01 Combi, Carlo; Montanari, Angelo; Sala, Pietro
An Optimal Decision Procedure for MPNL over the Integers
2011-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities
2011-01-01 Combi, Carlo; Montanari, Angelo; Sala, Pietro
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
2011-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Temporal Functional Dependencies Based on Interval Relations
2011-01-01 Combi, Carlo; 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