Guido Sciavicco

161 papers A* 4A 7B 14C 27Misc 1Journal 57Unranked 50
YearRankTypeTitle / Venue / Authors
2025 C conf
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic.
TIME
Pietro Bellodi, Pietro Casavecchia, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan
2025 — conf
Generating and counting finite FLew-chains.
FUZZ
Guillermo Badia, Riccardo Monego, Carles Noguera, Alberto Paparella, Guido Sciavicco
2025 — conf
Let the Music Flow Where the Modal Branches Lead.
OVERLAY
Lorenzo Balboni, Federico Manzella, Guido Sciavicco
2025 J jnl
Symbolic Audio Classification via Modal Decision Tree Learning.
CoRR
Enrico Marzano, Giovanni Pagliarini, Riccardo Pasini, Guido Sciavicco, Ionel Eduard Stan
2025 C conf
Temporal Association Rules from Motifs (Short Paper).
TIME
Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2025 J jnl
You Like It and We Can See It: Spatial and Temporal Rules to Explain the Sense of Liking.
IEEE Access
Sante Mazzacane, Maddalena Coccagna, Federico Manzella, Leonardo Serrentino, Guido Sciavicco
2024 C conf
A General Logical Approach to Learning from Time Series (Invited Talk).
TIME
Guido Sciavicco
2024 C conf
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.
TIME
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan
2024 — conf
Many-Expert Decision Trees.
OVERLAY
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco
2024 — conf
Minimal Rules from Decision Forests: A Systematic Approach.
OVERLAY
Giovanni Pagliarini, Andrea Paradiso, Marco Perrotta, Guido Sciavicco
2024 — conf
ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data.
ICTCS
Mauro Milella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2024 J jnl
Neural-symbolic temporal decision trees for multivariate time series classification.
Inf. Comput.
Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan
2024 — conf
On Modal Logic Formulae Minimization.
CILC
Giovanni Pagliarini, Andrea Paradiso, Guido Sciavicco, Ionel Eduard Stan
2024 — conf
Towards Modern Rule-Based Learning.
OVERLAY
Giovanni Pagliarini, Edoardo Ponsanesi, Guido Sciavicco, Ionel Eduard Stan
2023 — conf
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data.
itaDATA
Patrik Cavina, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2023 — conf
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data.
OVERLAY@AI*IA
Guido Sciavicco
2023 — conf
A Post-Modern Approach to Automatic Metaphor Identification.
CLiC-it
Dario Del Fante, Federico Manzella, Guido Sciavicco, Ionel Eduard Stan
2023 C conf
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
TIME
Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2023 — conf
Efficient Modal Decision Trees.
AI*IA
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2023 A conf
Evolutionary Explainable Rule Extraction from (Modal) Random Forests.
ECAI
Michele Ghiotti, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2023 J jnl
Fuzzy Halpern and Shoham's interval temporal logics.
Fuzzy Sets Syst.
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2023 — conf
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.
OVERLAY@AI*IA
Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan
2023 J jnl
Knowledge Extraction with Interval Temporal Logic Decision Trees.
CoRR
Guido Sciavicco, Ionel Eduard Stan
2023 J jnl
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests.
Artif. Intell. Medicine
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2022 J jnl
A combined approach to the analysis of speech conversations in a contact center domain.
CoRR
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2022 — conf
Decision Trees with a Modal Flavor.
AI*IA
Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2022 C conf
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification.
TIME
Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan
2022 — conf
On Modal Logic Association Rule Mining.
ICTCS
Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso
2022 — ed.
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.
OVERLAY@AI*IA
Luca Geatti, Guido Sciavicco, Alessandro Umbrico
2022 — conf
Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals.
IWINAC (1)
Maddalena Coccagna, Federico Manzella, Sante Mazzacane, Giovanni Pagliarini, Guido Sciavicco
2022 J jnl
Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches.
Eng. Appl. Artif. Intell.
Fernando Jiménez, Gracia Sánchez, José Palma, Guido Sciavicco
2021 J jnl
A time series forecasting based multi-criteria methodology for air quality prediction.
Appl. Soft Comput.
Raquel Espinosa, José Palma, Fernando Jiménez, Joanna Kaminska, Guido Sciavicco, Estrella Lucena-Sánchez
2021 J jnl
Branching interval algebra: An almost complete picture.
Inf. Comput.
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
2021 — conf
Decision Tree Learning with Spatial Modal Logics.
GandALF
Giovanni Pagliarini, Guido Sciavicco
2021 J jnl
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling.
Algorithms
Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
2021 C conf
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis.
TIME
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2021 J jnl
Mining CSTNUDs significant for a set of traces is polynomial.
Inf. Comput.
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2021 — conf
Mining Temporal Networks: Results and Open Problems.
OVERLAY@GandALF
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
2021 — conf
Multi-Frame Modal Symbolic Learning.
OVERLAY@GandALF
Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
2021 J jnl
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression.
IEEE Access
Fernando Jiménez, Estrella Lucena-Sánchez, Gracia Sánchez, Guido Sciavicco
2021 — conf
On Intelligent Fingerprinting of Antique Buildings from Clay Composition.
CITI
Elena Marrocchino, Guido Sciavicco, Estrella Lucena-Sánchez, Carmela Vaccaro
2021 J jnl
Predicting treatment recommendations in postmenopausal osteoporosis.
J. Biomed. Informatics
Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco
2021 J jnl
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning.
Inf. Comput.
Johann Gamper, Sophie Pinchinat, Guido Sciavicco
2020 — conf
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking.
OVERLAY
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
2020 A conf
An Approach to Fuzzy Modal Logic of Time Intervals.
ECAI
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
2020 J jnl
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
Log. Methods Comput. Sci.
Willem Conradie, Salih Durhan, Guido Sciavicco
2020 J jnl
Interval Temporal Logic Decision Tree Learning.
CoRR
Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
2020 C conf
Knowledge Extraction with Interval Temporal Logic Decision Trees.
TIME
Guido Sciavicco, Ionel Eduard Stan
2020 C conf
Mining Significant Temporal Networks Is Polynomial.
TIME
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2020 — conf
On (Maximal, Tractable) Fragments of the Branching Algebra.
CILC
Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani
2020 — conf
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling.
RuleML+RR (Supplement)
Joanna Kaminska, Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
2020 — conf
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling.
EAIS
Estrella Lucena-Sánchez, Fernando Jiménez, Guido Sciavicco, Joanna Kaminska
2020 — conf
Symbolic Learning with Interval Temporal Logic: the Case of Regression.
OVERLAY
Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan
2020 — conf
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands.
CITI
Fernando Chávez-Castrillón, Massimo Coltorti, Roberta Ivaldi, Estrella Lucena-Sánchez, Guido Sciavicco
2020 C conf
The Horn Fragment of Branching Algebra.
TIME
Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani
2020 — conf
Time Series Checking with Fuzzy Interval Temporal Logics.
ICTCS
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2020 — conf
Towards Automatic Fingerprinting of Groundwater Aquifers.
CITI
Antonella Di Roma, Estrella Lucena-Sánchez, Guido Sciavicco, Carmela Vaccaro
2019 C ed.
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, Málaga, Spain, October 16-19, 2019
TIME
Johann Gamper, Sophie Pinchinat, Guido Sciavicco
2019 — conf
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)
Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek
2019 J jnl
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2019 B conf
Interval Temporal Logic Decision Tree Learning.
JELIA
Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
2019 J jnl
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data.
Comput.
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2019 J jnl
Multiobjective Evolutionary Feature Selection for Fuzzy Classification.
IEEE Trans. Fuzzy Syst.
Fernando Jiménez, Carlos Martínez, Enrico Marzano, José T. Palma, Gracia Sánchez, Guido Sciavicco
2019 J jnl
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data.
Expert Syst. J. Knowl. Eng.
Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco
2019 J jnl
On coarser interval temporal logics.
Artif. Intell.
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
2019 J jnl
Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization.
IEEE Trans. Learn. Technol.
Fernando Jiménez, Alessia Paoletti, Gracia Sánchez, Guido Sciavicco
2019 — conf
Towards Interval Temporal Logic Rule-Based Classification.
OVERLAY@AI*IA
Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari
2019 — conf
Towards a General Method for Logical Rule Extraction from Time Series.
IWINAC (2)
Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari
2019 — conf
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation.
GCAI
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
2018 — conf
A Novel Decision Tree Approach for the Handling of Time Series.
MIKE
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2018 J jnl
Allen-like theory of time for tree-like structures.
Inf. Comput.
Salih Durhan, Guido Sciavicco
2018 J jnl
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
CoRR
Willem Conradie, Salih Durhan, Guido Sciavicco
2018 J jnl
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
Log. Methods Comput. Sci.
Willem Conradie, Salih Durhan, Guido Sciavicco
2018 J jnl
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
CoRR
Willem Conradie, Salih Durhan, Guido Sciavicco
2018 C conf
Deciding the Consistency of Branching Time Interval Networks.
TIME
Marco Gavanelli, Alessandro Passantino, Guido Sciavicco
2018 C conf
Extracting Interval Temporal Logic Rules: A First Approach.
TIME
Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco
2018 — conf
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees.
ICIST
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2018 J jnl
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data.
Entropy
Fernando Jiménez, Carlos Martínez, Luis Miralles Pechuán, Gracia Sánchez, Guido Sciavicco
2018 J jnl
On Sub-Propositional Fragments of Modal Logic.
Log. Methods Comput. Sci.
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2018 J jnl
Towards semi-automatic human performance evaluation: The case study of a contact center.
Intell. Data Anal.
Andrea Brunello, Fernando Jiménez, Enrico Marzano, José Palma, Gracia Sánchez, Guido Sciavicco
2017 — conf
A Model Checker for Interval Temporal Logic over Finite Structures.
ICTCS/CILC
Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2017 A* conf
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
IJCAI
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
2017 C conf
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
TIME
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
2017 B conf
Fast(er) Reasoning in Interval Temporal Logic.
CSL
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2017 J jnl
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
J. Multiple Valued Log. Soft Comput.
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
2017 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log.
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2017 — conf
Implementation of a Tableau-based Satisfiability Checker for HS3.
ICTCS/CILC
Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
2017 J jnl
Multi-objective evolutionary feature selection for online sales forecasting.
Neurocomputing
Fernando Jiménez, Gracia Sánchez, José M. García, Guido Sciavicco, Luis Miralles Pechuán
2017 J jnl
Unsupervised feature selection for interpretable classification in behavioral assessment of children.
Expert Syst. J. Knowl. Eng.
Fernando Jiménez, Rosalia Jódar, Maria del Pilar Martín, Gracia Sánchez, Guido Sciavicco
2016 J jnl
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2016 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2016 J jnl
On Sub-Propositional Fragments of Modal Logic.
CoRR
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2016 C conf
On the Complexity of Fragments of Horn Modal Logics.
TIME
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2016 — conf
On the Expressive Power of Sub-Propositional Fragments of Modal Logic.
GandALF
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2016 J jnl
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
Acta Informatica
Davide Bresolin, Guido Sciavicco
2015 — conf
Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.
SSCI
Fernando Jiménez, Enrico Marzano, Gracia Sánchez, Guido Sciavicco, Nicola Vitacolonna
2015 C conf
Generalizing Allen's Theory of Time to Tree-Like Structures.
TIME
Salih Durhan, Guido Sciavicco
2015 — conf
On Coarser Interval Temporal Logics and their Satisfiability Problem.
CAEPIA
Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco
2015 C conf
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
LATA
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2015 J jnl
Selected Papers from the 1st Workshop "Logic, Language, and Information".
Bull. EATCS
Guido Sciavicco, Alfredo Burrieza
2015 C conf
Undecidability of Chop.
TIME
Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco
2014 — conf
A First Study of the Horn Fragment of the Modal Logic of Time Intervals.
CILC
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2014 A conf
DL-Lite and Interval Temporal Logics: a Marriage Proposal.
ECAI
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
2014 J jnl
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2014 B conf
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
JELIA
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2014 J jnl
Report on LPAR 2013.
Bull. EATCS
Guido Sciavicco
2014 B conf
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.
JELIA
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
2014 J jnl
The dark side of interval temporal logic: marking the undecidability border.
Ann. Math. Artif. Intell.
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2014 J jnl
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
Ann. Math. Artif. Intell.
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013 C conf
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
TIME
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 B conf
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
TABLEAUX
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013 B conf
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
LPAR
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013 A conf
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
FOGA
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
2013 J jnl
Metric propositional neighborhood logics on natural numbers.
Softw. Syst. Model.
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2013 J jnl
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci.
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2013 J jnl
Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.
Ann. Math. Artif. Intell.
Isabel Navarrete, Antonio Morales Nicolás, Guido Sciavicco, M. Antonia Cárdenas Viedma
2012 — conf
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
ICAART (1)
Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon
2012 C conf
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
TIME
Willem Conradie, Salih Durhan, Guido Sciavicco
2012 J jnl
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci.
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2012 — conf
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.
ICAART (Revised Selected Papers)
Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon
2012 A conf
Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
ECAI
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012 — conf
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
GandALF
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012 J jnl
On Begins, Meets and before.
Int. J. Found. Comput. Sci.
Davide Bresolin, Pietro Sala, Guido Sciavicco
2011 — conf
An Optimal Decision Procedure for MPNL over the Integers
GandALF
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011 A* conf
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
IJCAI
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 J jnl
Interval Temporal Logics: a Journey.
Bull. EATCS
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 — conf
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
CAEPIA
Willem Conradie, Guido Sciavicco
2011 B conf
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
TABLEAUX
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011 C conf
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
TIME
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 C conf
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
TIME
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2011 — conf
Two-sorted Point-Interval Temporal Logics.
M4M/LAMAS
Philippe Balbiani, Valentin Goranko, Guido Sciavicco
2011 A* conf
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
LICS
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2010 C conf
A Decidable Spatial Generalization of Metric Interval Temporal Logic.
TIME
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2010 — conf
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
GANDALF
Davide Bresolin, Pietro Sala, Guido Sciavicco
2010 A conf
Decidability of the Interval Temporal Logic ABB over the Natural Numbers.
STACS
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2010 — conf
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
HyLo@LICS
Dario Della Monica, Valentin Goranko, Guido Sciavicco
2010 A conf
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
ECAI
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 B conf
A Tableau-Based System for Spatial Reasoning about Directional Relations.
TABLEAUX
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2009 J jnl
Decidability of the interval temporal logic ABBar over the natural numbers
CoRR
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2009 J jnl
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Log.
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 — conf
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.
IWINAC (2)
Guido Sciavicco, José M. Juárez, Manuel Campos
2009 B conf
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
SEFM
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 C conf
Undecidability of Interval Temporal Logics with the Overlap Modality.
TIME
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009 — conf
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
M4M
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008 B conf
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
LPAR
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008 B conf
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
CSL
Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco
2008 B conf
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
JELIA
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2007 J jnl
A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Ann. Math. Artif. Intell.
Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco
2007 J jnl
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reason.
Davide Bresolin, Angelo Montanari, Guido Sciavicco
2007 A* conf
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
IJCAI
Isabel Navarrete, Antonio Morales, Guido Sciavicco
2007 Misc conf
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
LFCS
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2007 C conf
Reasoning with 'And Then' and 'While'.
TIME
Suman Roy, Guido Sciavicco
2007 — conf
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
EUROCAST
Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco
2006 J jnl
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Appl. Log.
Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
2006 J jnl
Definability and decidability of binary predicates for time granularity.
J. Appl. Log.
Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2006 C conf
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
TIME
Antonio Morales, Guido Sciavicco
2004 J jnl
A Road Map of Interval Temporal Logics and Duration Calculi.
J. Appl. Non Class. Logics
Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003 B conf
A General Tableau Method for Propositional Interval Temporal Logics.
TABLEAUX
Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003 C conf
Definability and decidability of binary predicates for time granularity.
TIME
Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2003 J jnl
Propositional Interval Neighborhood Temporal Logics.
J. Univers. Comput. Sci.
Valentin Goranko, Angelo Montanari, Guido Sciavicco
2002 B conf
Decidability of Interval Temporal Logics over Split-Frames via Granularity.
JELIA
Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna