Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDGuido Sciavicco
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j46]Fernando Jiménez, Gracia Sánchez, José Palma
, Guido Sciavicco:
Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches. Eng. Appl. Artif. Intell. 107: 104531 (2022)- [c78]Maddalena Coccagna, Federico Manzella, S. Mazzacane, Giovanni Pagliarini, Guido Sciavicco:
Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals. IWINAC (1) 2022: 536-546 - [i7]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A combined approach to the analysis of speech conversations in a contact center domain. CoRR abs/2203.06396 (2022) - 2021
- [j45]Fernando Jiménez, Estrella Lucena-Sánchez, Gracia Sánchez, Guido Sciavicco:
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression. IEEE Access 9: 135675-135688 (2021) - [j44]Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan:
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. Algorithms 14(3): 76 (2021) - [j43]Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. Inf. Comput. 280: 104635 (2021) - [j42]Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281: 104773 (2021) - [j41]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
Branching interval algebra: An almost complete picture. Inf. Comput. 281: 104809 (2021) - [j40]Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco:
Predicting treatment recommendations in postmenopausal osteoporosis. J. Biomed. Informatics 118: 103780 (2021) - [c77]Elena Marrocchino, Guido Sciavicco, Estrella Lucena-Sánchez, Carmela Vaccaro:
On Intelligent Fingerprinting of Antique Buildings from Clay Composition. CITI 2021: 33-47 - [c76]Guido Sciavicco, Tiziano Villa, Matteo Zavatteri:
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF 2021: 31-36 - [c75]Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Multi-Frame Modal Symbolic Learning. OVERLAY@GandALF 2021: 37-41 - [c74]Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. TIME 2021: 7:1-7:18 - [c73]Giovanni Pagliarini, Guido Sciavicco:
Decision Tree Learning with Spatial Modal Logics. GandALF 2021: 273-290 - 2020
- [j39]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Log. Methods Comput. Sci. 16(2) (2020) - [c72]Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani:
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC 2020: 113-126 - [c71]Antonella Di Roma, Estrella Lucena-Sánchez, Guido Sciavicco, Carmela Vaccaro:
Towards Automatic Fingerprinting of Groundwater Aquifers. CITI 2020: 73-84 - [c70]Fernando Chávez-Castrillón, Massimo Coltorti, Roberta Ivaldi, Estrella Lucena-Sánchez, Guido Sciavicco:
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands. CITI 2020: 98-110 - [c69]Estrella Lucena-Sánchez, Fernando Jiménez, Guido Sciavicco, Joanna Kaminska:
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling. EAIS 2020: 1-8 - [c68]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco:
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI 2020: 696-703 - [c67]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS 2020: 250-262 - [c66]Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan:
Symbolic Learning with Interval Temporal Logic: the Case of Regression. OVERLAY 2020: 5-9 - [c65]Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY 2020: 11-15 - [c64]Joanna Kaminska, Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan:
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling. RuleML+RR (Supplement) 2020: 42-57 - [c63]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
The Horn Fragment of Branching Algebra. TIME 2020: 5:1-5:16 - [c62]Guido Sciavicco, Ionel Eduard Stan:
Knowledge Extraction with Interval Temporal Logic Decision Trees. TIME 2020: 9:1-9:16 - [c61]Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining Significant Temporal Networks Is Polynomial. TIME 2020: 11:1-11:12 - [i6]Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan:
Interval Temporal Logic Decision Tree Learning. CoRR abs/2003.04952 (2020)
2010 – 2019
- 2019
- [j38]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan:
On coarser interval temporal logics. Artif. Intell. 266: 1-26 (2019) - [j37]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8(1): 21 (2019) - [j36]Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco:
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36(3) (2019) - [j35]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [j34]Fernando Jiménez, Carlos Martínez, Enrico Marzano, José T. Palma, Gracia Sánchez, Guido Sciavicco:
Multiobjective Evolutionary Feature Selection for Fuzzy Classification. IEEE Trans. Fuzzy Syst. 27(5): 1085-1099 (2019) - [j33]Fernando Jiménez, Alessia Paoletti, Gracia Sánchez, Guido Sciavicco:
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization. IEEE Trans. Learn. Technol. 12(2): 225-236 (2019) - [c60]Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek:
Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. ADBIS (Short Papers and Workshops) 2019: 463-474 - [c59]Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari:
Towards Interval Temporal Logic Rule-Based Classification. OVERLAY@AI*IA 2019: 65-70 - [c58]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c57]Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari:
Towards a General Method for Logical Rule Extraction from Time Series. IWINAC (2) 2019: 3-12 - [c56]Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan:
Interval Temporal Logic Decision Tree Learning. JELIA 2019: 778-793 - [e1]Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. LIPIcs 147, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-127-6 [contents] - 2018
- [j32]Fernando Jiménez, Carlos Martínez, Luis Miralles Pechuán, Gracia Sánchez, Guido Sciavicco:
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data. Entropy 20(9): 684 (2018) - [j31]Salih Durhan, Guido Sciavicco:
Allen-like theory of time for tree-like structures. Inf. Comput. 259(3): 375-389 (2018) - [j30]Andrea Brunello, Fernando Jiménez, Enrico Marzano, José Palma, Gracia Sánchez, Guido Sciavicco:
Towards semi-automatic human performance evaluation: The case study of a contact center. Intell. Data Anal. 22(4): 867-880 (2018) - [j29]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14(2) (2018) - [j28]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Log. Methods Comput. Sci. 14(2) (2018) - [c55]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c54]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c53]Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco:
Extracting Interval Temporal Logic Rules: A First Approach. TIME 2018: 7:1-7:15 - [c52]Marco Gavanelli, Alessandro Passantino, Guido Sciavicco:
Deciding the Consistency of Branching Time Interval Networks. TIME 2018: 12:1-12:15 - [i5]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). CoRR abs/1805.08425 (2018) - [i4]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). CoRR abs/1809.04468 (2018) - 2017
- [j27]Fernando Jiménez, Rosalia Jódar, Maria del Pilar Martín, Gracia Sánchez, Guido Sciavicco:
Unsupervised feature selection for interpretable classification in behavioral assessment of children. Expert Syst. J. Knowl. Eng. 34(4) (2017) - [j26]Fernando Jiménez, Gracia Sánchez, José M. García, Guido Sciavicco, Luis Miralles Pechuán:
Multi-objective evolutionary feature selection for online sales forecasting. Neurocomputing 234: 75-92 (2017) - [j25]Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco:
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. J. Multiple Valued Log. Soft Comput. 28(2-3): 217-249 (2017) - [j24]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c51]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Fast(er) Reasoning in Interval Temporal Logic. CSL 2017: 17:1-17:17 - [c50]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c49]Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC 2017: 326-340 - [c48]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017: 1008-1014 - [c47]Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - 2016
- [j23]Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [j22]Davide Bresolin, Guido Sciavicco:
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). Acta Informatica 53(6-8): 545-546 (2016) - [c46]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Complexity of Fragments of Horn Modal Logics. TIME 2016: 186-195 - [c45]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF 2016: 91-104 - [i3]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR abs/1604.03515 (2016) - [i2]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. CoRR abs/1611.08800 (2016) - 2015
- [j21]Guido Sciavicco, Alfredo Burrieza:
Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS 116 (2015) - [c44]Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco:
On Coarser Interval Temporal Logics and their Satisfiability Problem. CAEPIA 2015: 105-115 - [c43]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015: 511-523 - [c42]Fernando Jiménez, Enrico Marzano, Gracia Sánchez, Guido Sciavicco, Nicola Vitacolonna:
Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification. SSCI 2015: 488-495 - [c41]Salih Durhan, Guido Sciavicco:
Generalizing Allen's Theory of Time to Tree-Like Structures. TIME 2015: 69-78 - [c40]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. TIME 2015: 79-89 - 2014
- [j20]Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1-3): 11-39 (2014) - [j19]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [j18]Guido Sciavicco:
Report on LPAR 2013. Bull. EATCS 112 (2014) - [j17]Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - [c39]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC 2014: 314-318 - [c38]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c37]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA 2014: 122-136 - [c36]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA 2014: 267-281 - 2013
- [j16]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) - [j15]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 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) - [c35]Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco:
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. FOGA 2013: 25-36 - [c34]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17 - [c33]Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80 - [c32]Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72 - 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. Univers. Comput. Sci. 18(20): 2798-2831 (2012) - [c31]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 - [c30]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163 - [c29]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. ICAART (Revised Selected Papers) 2012: 234-249 - [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. Bull. EATCS 105: 73-99 (2011) - [j10]Dario Della Monica, Valentin Goranko, Guido Sciavicco:
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electron. Notes Theor. Comput. Sci. 273: 3-19 (2011) - [j9]Philippe Balbiani, Valentin Goranko, Guido Sciavicco:
Two-sorted Point-Interval Temporal Logics. Electron. 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. Electron. 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. Log. 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 M. 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. Reason. 38(1-3): 173-199 (2007) - [c8]