Guido Sciavicco

发表

Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification

Fernando Jiménez, Enrico Marzano, Gracia Sánchez, 2015, 2015 IEEE Symposium Series on Computational Intelligence.

Undecidability of Chop

Guido Sciavicco, Emilio Muñoz-Velasco, Angelo Montanari, 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning

Guido Sciavicco, Sophie Pinchinat, Johann Gamper, 2020 .

On (Maximal, Tractable) Fragments of the Branching Algebra

Guido Sciavicco, Marco Gavanelli, Alessandro Bertagnon, 2020, CILC.

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, Ann. Pure Appl. Log..

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2019, GCAI.

Unsupervised feature selection for interpretable classification in behavioral assessment of children

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2017, Expert Syst. J. Knowl. Eng..

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2011, Electron. Notes Theor. Comput. Sci..

Time Series Checking with Fuzzy Interval Temporal Logics

Willem Conradie, Guido Sciavicco, Dario Della Monica, 2020, ICTCS.

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Guido Sciavicco, Antonio Morales, 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

Decidability of Interval Temporal Logics over Split-Frames via Granularity

Guido Sciavicco, Nicola Vitacolonna, Angelo Montanari, 2002, JELIA.

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2010, GANDALF.

Allen-like theory of time for tree-like structures

Guido Sciavicco, Salih Durhan, 2018, Inf. Comput..

Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2008, LPAR.

Towards Automatic Fingerprinting of Groundwater Aquifers

Guido Sciavicco, Carmela Vaccaro, Antonella Di Roma, 2020, CITI.

Interval Temporal Logics over Finite Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, ECAI.

Multiobjective evolutionary feature selection and fuzzy classification of contact centre data

Fernando Jiménez, Enrico Marzano, Gracia Sánchez, 2019, Expert Syst. J. Knowl. Eng..

A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints

Guido Sciavicco, Angelo Montanari, Isabel Navarrete, 2012, ICAART.

Reasoning with 'And Then' and 'While'

Guido Sciavicco, Suman Roy, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders

Willem Conradie, Guido Sciavicco, Salih Durhan, 2012, 2012 19th International Symposium on Temporal Representation and Reasoning.

Fast(er) Reasoning in Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2017, CSL.

Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling

Guido Sciavicco, Ionel Eduard Stan, Estrella Lucena-Sánchez, 2020, RuleML+RR.

Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2011, IJCAI.

Definability and decidability of binary predicates for time granularity

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

Two-sorted Point-Interval Temporal Logics

Valentin Goranko, Guido Sciavicco, Philippe Balbiani, 2011, M4M/LAMAS.

A General Tableau Method for Propositional Interval Temporal Logics

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2003, TABLEAUX.

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, Software & Systems Modeling.

On the Expressive Power of Sub-Propositional Fragments of Modal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, GandALF.

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

Enrico Marzano, Guido Sciavicco, Tomasz Turek, 2019, ADBIS.

Reasoning with Time Intervals: A Logical and Computational Perspective

Guido Sciavicco, G. Sciavicco, 2012 .

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic

Guido Sciavicco, Antonio Morales, Isabel Navarrete, 2007, EUROCAST.

An Approach to Fuzzy Modal Logic of Time Intervals

Willem Conradie, Guido Sciavicco, Dario Della Monica, 2020, ECAI.

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2012, J. Univers. Comput. Sci..

Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

Mining Significant Temporal Networks Is Polynomial

Tiziano Villa, Guido Sciavicco, Matteo Zavatteri, 2020, TIME.

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, GandALF.

Implementation of a Tableau-based Satisfiability Checker for HS3

Guido Sciavicco, Emilio Muñoz-Velasco, Ionel Eduard Stan, 2017, ICTCS/CILC.

Deciding the Consistency of Branching Time Interval Networks

Guido Sciavicco, Marco Gavanelli, Alessandro Passantino, 2018, TIME.

Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study

Manuel Campos, Guido Sciavicco, Jose M. Juarez, 2009, IWINAC.

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking

Guido Sciavicco, Dario Della Monica, David de Frutos-Escrig, 2017, TIME.

Una comparativa entre el álgebra de rectángulos y la lógica SpPNL

Guido Sciavicco, Antonio Morales Nicolás, Antonio Morales Nicolás, 2006 .

Generalizing Allen's Theory of Time to Tree-Like Structures

Guido Sciavicco, Salih Durhan, 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2015, LATA.

On Coarser Interval Temporal Logics and their Satisfiability Problem

Guido Sciavicco, Emilio Muñoz-Velasco, Pietro Sala, 2015, CAEPIA.

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)

Willem Conradie, Guido Sciavicco, Salih Durhan, 2020, Log. Methods Comput. Sci..

A Tableau-Based System for Spatial Reasoning about Directional Relations

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2009, TABLEAUX.

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2008, JELIA.

Reasoning in Interval Temporal Logics - New Frontiers

Guido Sciavicco, 2014 .

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Guido Sciavicco, Antonio Morales, Antonio Morales Nicolás, 2007, Annals of Mathematics and Artificial Intelligence.

Multiobjective Evolutionary Feature Selection for Fuzzy Classification

Fernando Jiménez, Enrico Marzano, Gracia Sánchez, 2019, IEEE Transactions on Fuzzy Systems.

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2020, OVERLAY.

J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2019, Comput..

A First Study of the Horn Fragment of the Modal Logic of Time Intervals

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2014, CILC.

Report on LPAR 2013

Guido Sciavicco, 2014, Bull. EATCS.

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2013, Theor. Comput. Sci..

On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case

Willem Conradie, Guido Sciavicco, Willem Conradie, 2011, CAEPIA.

On coarser interval temporal logics

Guido Sciavicco, Emilio Muñoz-Velasco, Pietro Sala, 2019, Artif. Intell..

Multi-objective evolutionary feature selection for online sales forecasting

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2017, Neurocomputing.

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, TABLEAUX.

Spatial reasoning with rectangular cardinal relations

Guido Sciavicco, Antonio Morales, M. A. Cárdenas Viedma, 2013, Annals of Mathematics and Artificial Intelligence.

Interval Temporal Logic Decision Tree Learning pdf

Guido Sciavicco, Andrea Brunello, Ionel Eduard Stan, 2019, JELIA.

Knowledge Extraction with Interval Temporal Logic Decision Trees

Guido Sciavicco, Ionel Eduard Stan, G. Sciavicco, 2023, TIME.

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, ECAI.

Consistency Checking of Basic Cardinal Constraints over Connected Regions

Guido Sciavicco, Antonio Morales, Isabel Navarrete, 2007, IJCAI.

A Novel Decision Tree Approach for the Handling of Time Series

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2018, MIKE.

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2019, Inf. Comput..

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, ACM Trans. Comput. Log..

DL-Lite and Interval Temporal Logics: a Marriage Proposal

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2014, ECAI.

A Road Map of Interval Temporal Logics and Duration Calculi

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2004, J. Appl. Non Class. Logics.

The Horn Fragment of Branching Algebra

Guido Sciavicco, Marco Gavanelli, Alessandro Bertagnon, 2020, TIME.

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2017, IJCAI.

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints

Guido Sciavicco, Angelo Montanari, Isabel Navarrete, 2012, ICAART.

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2007, LFCS.

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, Electron. Notes Theor. Comput. Sci..

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2011, TIME.

The dark side of interval temporal logic: marking the undecidability border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2013, Annals of Mathematics and Artificial Intelligence.

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2006, Journal of Automated Reasoning.

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T

Guido Sciavicco, Angelo Montanari, Ian M. Hodkinson, 2008, CSL.

Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling

Fernando Jiménez, Guido Sciavicco, Estrella Lucena-Sánchez, 2020, 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS).

Quality checking of medical guidelines using interval temporal logics (preliminary report)

Guido Sciavicco, 2007 .

Towards a General Method for Logical Rule Extraction from Time Series

Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari, 2019, IWINAC.

A Model Checker for Interval Temporal Logic over Finite Structures

Guido Sciavicco, Dario Della Monica, Angelo Montanari, 2017, ICTCS/CILC.

J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2018, ICIST.

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics

Davide Bresolin, Fernando Jiménez, Gracia Sánchez, 2017, J. Multiple Valued Log. Soft Comput..

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Symbolic Learning with Interval Temporal Logic: the Case of Regression

Guido Sciavicco, Ionel Eduard Stan, Estrella Lucena-Sánchez, 2020, OVERLAY.

A general tableau method for propositional interval temporal logics: Theory and implementation

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2006, J. Appl. Log..

On Begins, Meets and before

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2012, Int. J. Found. Comput. Sci..

An Optimal Decision Procedure for MPNL over the Integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, GandALF.

On Sub-Propositional Fragments of Modal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, Log. Methods Comput. Sci..

Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands

Guido Sciavicco, Estrella Lucena-Sánchez, Fernando Chávez-Castrillón, 2020, CITI.

Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Davide Bresolin, Fernando Jiménez, Gracia Sánchez, 2013, FOGA XII '13.

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Davide Bresolin, Guido Sciavicco, 2016, Acta Informatica.

Towards Interval Temporal Logic Rule-Based Classification

Guido Sciavicco, Emilio Muñoz-Velasco, Ionel Eduard Stan, 2019, OVERLAY@AI*IA.

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2014, JELIA.

On the Complexity of Fragments of Horn Modal Logics

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2014, JELIA.

Multi-Objective Evolutionary Rule-Based Classification with Categorical Data

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2018, Entropy.

Definability and decidability of binary predicates for time granularity

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2006, J. Appl. Log..

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

Willem Conradie, Guido Sciavicco, Salih Durhan, 2018, Log. Methods Comput. Sci..

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2013, TABLEAUX.

Extracting Interval Temporal Logic Rules: A First Approach

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2018, TIME.

Interval Temporal Logics: a Journey

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2013, Bull. EATCS.

Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2019, IEEE Transactions on Learning Technologies.

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Decidability of the Interval Temporal Logic ABB over the Natural Numbers pdf

Guido Sciavicco, Gabriele Puppis, Angelo Montanari, 2010, STACS.

Multi-Objective Evolutionary Computation Based Feature Selection Applied to Behaviour Assessment of Children

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2016 .

Decision tree pruning via multi-objective evolutionary computation

Enrico Marzano, Guido Sciavicco, Angelo Montanari, 2017 .

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics

Guido Sciavicco, Dario Della Monica, Luca Aceto, 2013, LPAR.

Propositional Interval Neighborhood Temporal Logics

Valentin Goranko, Guido Sciavicco, Angelo Montanari, 2003, J. Univers. Comput. Sci..

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, Theor. Comput. Sci..

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Valentin Goranko, Guido Sciavicco, Dario Della Monica, 2016, Acta Informatica.

Selected Papers from the 1st Workshop "Logic, Language, and Information"

Guido Sciavicco, Alfredo Burrieza, 2015, Bull. EATCS.

Towards semi-automatic human performance evaluation: The case study of a contact center

Fernando Jiménez, Enrico Marzano, Gracia Sánchez, 2018, Intell. Data Anal..

Multi-Frame Modal Symbolic Learning

Guido Sciavicco, Ionel Eduard Stan, Giovanni Pagliarini, 2021, OVERLAY@GandALF.

A time series forecasting based multi-criteria methodology for air quality prediction

Guido Sciavicco, Estrella Lucena-Sánchez, Joanna Kamińska, 2021, Appl. Soft Comput..

Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2021, IEEE Access.

Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches

Fernando Jiménez, Gracia Sánchez, Guido Sciavicco, 2022, Eng. Appl. Artif. Intell..

Mining CSTNUDs significant for a set of traces is polynomial

Tiziano Villa, Guido Sciavicco, Matteo Zavatteri, 2021, Inf. Comput..

Mining Temporal Networks: Results and Open Problems

Tiziano Villa, Guido Sciavicco, Matteo Zavatteri, 2021, OVERLAY@GandALF.

Interval Temporal Random Forests with an Application to COVID-19 Diagnosis

Guido Sciavicco, Ionel Eduard Stan, Giovanni Pagliarini, 2021, TIME.

Predicting treatment recommendations in postmenopausal osteoporosis

Guido Sciavicco, Melchiore Giganti, Giovanni Pagliarini, 2021, J. Biomed. Informatics.

Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling

Guido Sciavicco, Ionel Eduard Stan, Estrella Lucena-Sánchez, 2021, Algorithms.

Decision Tree Learning with Spatial Modal Logics pdf

Guido Sciavicco, Giovanni Pagliarini, G. Sciavicco, 2021, GandALF.

Completeness of Chop

Guido Sciavicco, 2006 .

Spatial Reasoning with Rectangular Cardinal Direction Relations 1

Guido Sciavicco, Isabel Navarrete, G. Sciavicco, 2006 .

A Decidable Logic for Time Intervals: Propositional Neighborhood Logic

Guido Sciavicco, Angelo Montanari, 2002 .

Multi-Objective Evolutionary Optimization for Time Series Lag Regression

Fernando Jiménez, Guido Sciavicco, Estrella Lucena-Sánchez, 2019 .