| 2013 | ||
|---|---|---|
| j14 | Isabel Navarrete, Antonio Morales, Guido Sciavicco, M. Antonia Cárdenas Viedma: Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra. Ann. Math. Artif. Intell. 67(1): 31-70 (2013) | |
| 2012 | ||
| j13 | Davide Bresolin, Pietro Sala, Guido Sciavicco: On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3): 559-583 (2012) | |
| j12 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. UCS 18(20): 2798-2831 (2012) | |
| c30 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204 | |
| c29 | Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon: A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163 | |
| c28 | Willem Conradie, Salih Durhan, Guido Sciavicco: An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. TIME 2012: 47-54 | |
| c27 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco: Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 | |
| 2011 | ||
| j11 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Interval Temporal Logics: a Journey. Bulletin of the EATCS 105: 73-99 (2011) | |
| j10 | Dario Della Monica, Valentin Goranko, Guido Sciavicco: Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electr. Notes Theor. Comput. Sci. 273: 3-19 (2011) | |
| j9 | Philippe Balbiani, Valentin Goranko, Guido Sciavicco: Two-sorted Point-Interval Temporal Logics. Electr. Notes Theor. Comput. Sci. 278: 31-45 (2011) | |
| c26 | Willem Conradie, Guido Sciavicco: On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. CAEPIA 2011: 173-182 | |
| c25 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850 | |
| c24 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396 | |
| c23 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87 | |
| c22 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco: The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130 | |
| c21 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 | |
| c20 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 | |
| 2010 | ||
| j8 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electr. Notes Theor. Comput. Sci. 262: 65-81 (2010) | |
| c19 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 | |
| c18 | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco: Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608 | |
| c17 | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco: A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 | |
| c16 | Davide Bresolin, Pietro Sala, Guido Sciavicco: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GANDALF 2010: 72-88 | |
| 2009 | ||
| j7 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3): 289-304 (2009) | |
| c15 | Guido Sciavicco, José M. Juárez, Manuel Campos: Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. IWINAC (2) 2009: 158-167 | |
| c14 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249 | |
| c13 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 | |
| c12 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 | |
| i1 | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco: Decidability of the interval temporal logic ABBar over the natural numbers. CoRR abs/0912.3429 (2009) | |
| 2008 | ||
| c11 | Ian Hodkinson, Angelo Montanari, Guido Sciavicco: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL 2008: 308-322 | |
| c10 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 | |
| c9 | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604 | |
| 2007 | ||
| j6 | Antonio Morales, Isabel Navarrete, Guido Sciavicco: A new modal logic for reasoning about space: spatial propositional neighborhood logic. Ann. Math. Artif. Intell. 51(1): 1-25 (2007) | |
| j5 | Davide Bresolin, Angelo Montanari, Guido Sciavicco: An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reasoning 38(1-3): 173-199 (2007) | |
| c8 | Antonio Morales, Isabel Navarrete, Guido Sciavicco: Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. EUROCAST 2007: 313-320 | |
| c7 | Isabel Navarrete, Antonio Morales, Guido Sciavicco: Consistency Checking of Basic Cardinal Constraints over Connected Regions. IJCAI 2007: 495-500 | |
| c6 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99 | |
| c5 | ||
| 2006 | ||
| j4 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. J. Applied Logic 4(2): 168-191 (2006) | |
| j3 | Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco: A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3): 305-330 (2006) | |
| c4 | Antonio Morales, Guido Sciavicco: Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. TIME 2006: 50-60 | |
| 2004 | ||
| j2 | Valentin Goranko, Angelo Montanari, Guido Sciavicco: A Road Map of Interval Temporal Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14(1-2): 9-54 (2004) | |
| 2003 | ||
| j1 | Valentin Goranko, Angelo Montanari, Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9(9): 1137-1167 (2003) | |
| c3 | Valentin Goranko, Angelo Montanari, Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003: 102-116 | |
| c2 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003: 192-202 | |
| 2002 | ||
| c1 | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna: Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002: 259-270 | |
Colors in the list of coauthors
Last update Sun May 19 08:05:24 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page