1   2   3   4  
Lag Variables in Air Pollution Modeling Based on Traffic Flow and Meteorological Factors
Jimènez, Fernando; Káminska, Joanna; LUCENA SANCHEZ, Estrella; Sciavicco, Guido     dettagli >>
MPDI, Proceedings of the 9th International Scientific Conference on Innovation, Sustainability, Modernity and Openness (ISMO 2020)
Vol. 51, No. 1, pp: 1-1-1-4, Anno: 2020

Towards Interval Temporal Logic Rule-Based Classification
LUCENA SANCHEZ, Estrella; Muñoz Velasco, Emilio; Stan, IONEL EDUARD; Sciavicco, Guido; Vaccari, Alessandro     dettagli >>
CEUR, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
Vol. 2509, No. 1, pp: 65-70, Anno: 2020

Mining significant temporal networks is polynomial
Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Vol. 178, No. 1, pp: 11-1-11-12, Anno: 2020

Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling
Kaminska, J.; LUCENA SANCHEZ, Estrella; Sciavicco, G.; Stan, E.     dettagli >>
Aachen University, Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020
Vol. 2644, No. 1, pp: 42-57, Anno: 2020

On (maximal, tractable) fragments of the branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano     dettagli >>
RWTH Aachen University, Proceedings of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020)
Vol. 2710, No. 1, pp: 113-126, Anno: 2020

Knowledge extraction with interval temporal logic decision trees
Sciavicco, Guido; Stan, IONEL EDUARD     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Vol. 178, No. 1, pp: 9-1-9-16, Anno: 2020

The horn fragment of branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Vol. 178, No. 1, pp: 5-1-5-16, Anno: 2020

Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling
LUCENA SANCHEZ, Estrella; Jimenez, Fernando; Sciavicco, Guido; Kaminska, Joanna     dettagli >>
Institute of Electrical and Electronics Engineers Inc., Proceedings of the 13th IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS 2020)
Vol. 2020, No. 1, pp: 9122765-1-9122765-8, Anno: 2020

Multi-Objective Evolutionary Optimization for Time Series Lag Regression
Jiménez, Fernando; Kaminska, Joanna; Estrella, LUCENA SANCHEZ; Palma, Josè; Sciavicco, Guido     dettagli >>
Godel Impresiones Digitales, Proceedings of the 6th International Conference on Time Series and Forecasting
pp: 373-384, Anno: 2019

Ultimately-periodic interval model checking for temporal dataset evaluation
Della Monica, Dario; Murano, Aniello; Montanari, Angelo; Sciavicco, Guido     dettagli >>
Easychair, GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Vol. 65, No. 1, pp: 28-41, Anno: 2019

Towards a General Method for Logical Rule Extraction from Time Series
Sciavicco, Guido; Stan, Ionel Eduard; Vaccari, Alessandro     dettagli >>
Springer, Proceedings of the 8th International Work-Conference on the Interplay Between Natural and Artificial Computation
Vol. 11487, No. 1, pp: 3-12, Anno: 2019

Interval Temporal Logic Decision Tree Learning
Brunello, Andrea; Sciavicco, Guido; Eduard Stan, Ionel     dettagli >>
Springer Verlag, Proceedings of the 16th European Conference on Logics in Artificial Intelligence
Vol. 11468, No. 1, pp: 778-793, Anno: 2019

Deciding the consistency of branching time interval networks
Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 25th International Symposium on Temporal Representation and Reasoning
Vol. 120, No. 1, pp: 12-1-12-15, Anno: 2018

J48S: a Sequence Classification Approach to Speech Analysis based on Decision Trees
Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido     dettagli >>
Springer, Information and Software Technologies. 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Vol. 920, No. 1, pp: 240-256, Anno: 2018

Extracting interval temporal logic rules: A first approach
Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 25th International Symposium on Temporal Representation and Reasoning
Vol. 120, No. 1, pp: 7-1-7-15, Anno: 2018

A novel decision tree approach for the handling of time series
Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido     dettagli >>
Springer, Proceedings of the 6th nternational Conference on Mining Intelligence and Knowledge Exploration
Vol. 11308, No. 1, pp: 351-368, Anno: 2018

A Model Checker for Interval Temporal Logics over Finite Structures
Della Monica, Dario; Cominato, Enrico; Montanari, Angelo; Sciavicco, Guido     dettagli >>
Technical University of Aachen, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32rd Italian Conference on Computational Logic
Vol. 1949, No. 1, pp: 63-74, Anno: 2017

Fast(er) reasoning in interval temporal logic
Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido     dettagli >>
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 26th Annual Conference on Computer Science Logic
Vol. 82, No. 1, pp: 1-17, Anno: 2017

Evaluation of temporal datasets via interval temporal logic model checking
Della Monica, Dario; de Frutos Escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido     dettagli >>
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Proceedings of the 24th International Symposium on Temporal Representation and Reasoning
Vol. 90, No. 1, pp: 1-18, Anno: 2017

Implementation of a Tableau-Based Satisfiability Checker for HS3
Muñoz Velasco, Emilio; Stan, Ionel Eduard; Sciavicco, Guido     dettagli >>
Technical University of Aachen, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32rd Italian Conference on Computational Logic
Vol. 1949, No. 1, pp: 326-340, Anno: 2017

1   2   3   4