default search action
Guido 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
- 2024
- [j47]Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan:
Neural-symbolic temporal decision trees for multivariate time series classification. Inf. Comput. 301: 105209 (2024) - [c95]Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan:
On Modal Logic Formulae Minimization. CILC 2024 - [c94]Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data. ICTCS 2024: 241-254 - [c93]Guido Sciavicco:
A General Logical Approach to Learning from Time Series (Invited Talk). TIME 2024: 1:1-1:2 - [c92]Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan:
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. TIME 2024: 7:1-7:16 - 2023
- [j46]Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests. Artif. Intell. Medicine 137: 102486 (2023) - [j45]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456: 107-124 (2023) - [c91]Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Efficient Modal Decision Trees. AI*IA 2023: 381-395 - [c90]Dario Del Fante, Federico Manzella, Guido Sciavicco, Ionel Eduard Stan:
A Post-Modern Approach to Automatic Metaphor Identification. CLiC-it 2023 - [c89]Michele Ghiotti, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Evolutionary Explainable Rule Extraction from (Modal) Random Forests. ECAI 2023: 827-834 - [c88]Patrik Cavina, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data. itaDATA 2023 - [c87]Guido Sciavicco:
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. OVERLAY@AI*IA 2023: 43-47 - [c86]Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan:
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. OVERLAY@AI*IA 2023: 49-53 - [c85]Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME 2023: 9:1-9:14 - [i8]Guido Sciavicco, Ionel Eduard Stan:
Knowledge Extraction with Interval Temporal Logic Decision Trees. CoRR abs/2305.16864 (2023) - 2022
- [j44]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) - [c84]Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Decision Trees with a Modal Flavor. AI*IA 2022: 47-59 - [c83]Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso:
On Modal Logic Association Rule Mining. ICTCS 2022: 53-65 - [c82]Maddalena Coccagna, Federico Manzella, S. Mazzacane, Giovanni Pagliarini, Guido Sciavicco:
Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals. IWINAC (1) 2022: 536-546 - [c81]Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan:
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. TIME 2022: 13:1-13:15 - [e2]Luca Geatti, Guido Sciavicco, Alessandro Umbrico:
Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022. CEUR Workshop Proceedings 3311, CEUR-WS.org 2022 [contents] - [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
- [j43]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) - [j42]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) - [j41]Raquel Espinosa, José Palma, Fernando Jiménez, Joanna Kaminska, Guido Sciavicco, Estrella Lucena-Sánchez:
A time series forecasting based multi-criteria methodology for air quality prediction. Appl. Soft Comput. 113(Part): 107850 (2021) - [j40]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) - [j39]Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281: 104773 (2021) - [j38]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
Branching interval algebra: An almost complete picture. Inf. Comput. 281: 104809 (2021) - [j37]Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco:
Predicting treatment recommendations in postmenopausal osteoporosis. J. Biomed. Informatics 118: 103780 (2021) - [c80]Elena Marrocchino, Guido Sciavicco, Estrella Lucena-Sánchez, Carmela Vaccaro:
On Intelligent Fingerprinting of Antique Buildings from Clay Composition. CITI 2021: 33-47 - [c79]Guido Sciavicco, Tiziano Villa, Matteo Zavatteri:
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF 2021: 31-36 - [c78]Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Multi-Frame Modal Symbolic Learning. OVERLAY@GandALF 2021: 37-41 - [c77]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 - [c76]Giovanni Pagliarini, Guido Sciavicco:
Decision Tree Learning with Spatial Modal Logics. GandALF 2021: 273-290 - 2020
- [j36]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) - [c75]Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani:
On (Maximal, Tractable) Fragments of the Branching Algebra. CILC 2020: 113-126 - [c74]Antonella Di Roma, Estrella Lucena-Sánchez, Guido Sciavicco, Carmela Vaccaro:
Towards Automatic Fingerprinting of Groundwater Aquifers. CITI 2020: 73-84 - [c73]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 - [c72]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 - [c71]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco:
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI 2020: 696-703 - [c70]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 - [c69]Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan:
Symbolic Learning with Interval Temporal Logic: the Case of Regression. OVERLAY 2020: 5-9 - [c68]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 - [c67]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 - [c66]Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
The Horn Fragment of Branching Algebra. TIME 2020: 5:1-5:16 - [c65]Guido Sciavicco, Ionel Eduard Stan:
Knowledge Extraction with Interval Temporal Logic Decision Trees. TIME 2020: 9:1-9:16 - [c64]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
- [j35]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) - [j34]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) - [j33]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) - [j32]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) - [j31]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) - [j30]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) - [c63]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 - [c62]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 - [c61]Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco:
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - [c60]Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari:
Towards a General Method for Logical Rule Extraction from Time Series. IWINAC (2) 2019: 3-12 - [c59]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
- [j29]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) - [j28]Salih Durhan, Guido Sciavicco:
Allen-like theory of time for tree-like structures. Inf. Comput. 259(3): 375-389 (2018) - [j27]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) - [j26]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14(2) (2018) - [j25]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) - [c58]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST 2018: 240-256 - [c57]Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco:
A Novel Decision Tree Approach for the Handling of Time Series. MIKE 2018: 351-368 - [c56]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 - [c55]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
- [j24]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) - [j23]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) - [j22]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) - [j21]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) - [c54]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Fast(er) Reasoning in Interval Temporal Logic. CSL 2017: 17:1-17:17 - [c53]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c52]Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Implementation of a Tableau-based Satisfiability Checker for HS3. ICTCS/CILC 2017: 326-340 - [c51]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 - [c50]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
- [j20]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) - [j19]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) - [c49]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On the Complexity of Fragments of Horn Modal Logics. TIME 2016: 186-195 - [c48]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
- [j18]Guido Sciavicco, Alfredo Burrieza:
Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS 116 (2015) - [c47]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 - [c46]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 - [c45]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 - [c44]Salih Durhan, Guido Sciavicco:
Generalizing Allen's Theory of Time to Tree-Like Structures. TIME 2015: 69-78 - [c43]Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco:
Undecidability of Chop. TIME 2015: 79-89 - 2014
- [j17]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) - [j16]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) - [j15]Guido Sciavicco:
Report on LPAR 2013. Bull. EATCS 112 (2014) - [j14]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) - [c42]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 - [c41]Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c40]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA 2014: 122-136 - [c39]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
- [j13]Isabel Navarrete, Antonio Morales Nicolás, 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) - [j12]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) - [j11]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) - [c38]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 - [c37]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 - [c36]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 - [c35]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
- [j10]Davide Bresolin, Pietro Sala, Guido Sciavicco:
On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3): 559-583 (2012) - [j9]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) - [c34]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 - [c33]Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon:
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) 2012: 154-163 - [c32]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 - [c31]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 - [c30]Davide Bresolin, Dario Della Monica, Angelo Montanari,