default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 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, Pietro Sala, Guido Sciavicco:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 - 2011
- [j8]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. EATCS 105: 73-99 (2011) - [c29]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 - [c28]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 - [c27]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 - [c26]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 - [c25]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 - [c24]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 - [c23]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 - [c22]Philippe Balbiani, Valentin Goranko, Guido Sciavicco:
Two-sorted Point-Interval Temporal Logics. M4M/LAMAS 2011: 31-45 - 2010
- [c21]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c20]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608 - [c19]Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 - [c18]Davide Bresolin, Pietro Sala, Guido Sciavicco:
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GANDALF 2010: 72-88 - [c17]Dario Della Monica, Valentin Goranko, Guido Sciavicco:
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. HyLo@LICS 2010: 3-19
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) - [c16]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 - [c15]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 - [c14]Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - [c13]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c12]Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - [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 Nicolás, 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]Antonio Morales Nicolás, 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]Suman Roy, Guido Sciavicco:
Reasoning with 'And Then' and 'While'. TIME 2007: 181-188 - 2006
- [j4]Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. J. Appl. Log. 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. Appl. Log. 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. J. Appl. Non Class. Logics 14(1-2): 9-54 (2004) - 2003
- [j1]Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics. J. Univers. Comput. Sci. 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
[i7] [c68] [j34] [j33] [j32] [c63] [c61] [c58] [c57] [c53] [c51] [c50] [j20] [c46] [c43] [j17] [j16] [j14] [c41] [c39] [j12] [j11] [c37] [c36] [c35] [j9] [c34] [c33] [c32] [c30] [j8] [c28] [c27] [c26] [c25] [c24] [c23] [c21] [c20] [c19] [j7] [c15] [c14] [c13] [c12] [i1] [c11] [c10] [c9] [j5] [c6] [j4] [j3] [j2] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
