Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Guido Sciavicco
2010 – today
- 2013
[j17]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)- [j16]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric propositional neighborhood logics on natural numbers. Software and System Modeling 12(2): 245-264 (2013)
- [j15]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Metric propositional neighborhood logics on natural numbers. Software and System Modeling 12(2): 245-264 (2013)
- [j14]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493: 98-115 (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
2000 – 2009
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19 22:08 CEST by the dblp team