Ionel Eduard Stan

According to our database, Ionel Eduard Stan authored at least 25 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Fuzzy Halpern and Shoham's interval temporal logics.

Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan

Fuzzy Sets Syst., March, 2023

The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests.

Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Artif. Intell. Medicine, March, 2023

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.

Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.

Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data.

Patrik Cavina, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), 2023

Evolutionary Explainable Rule Extraction from (Modal) Random Forests.

Michele Ghiotti, Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

A Post-Modern Approach to Automatic Metaphor Identification.

Dario Del Fante, Federico Manzella, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 9th Italian Conference on Computational Linguistics, Venice, Italy, November 30, 2023

Efficient Modal Decision Trees.

Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

2022

Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification.

Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

On Modal Logic Association Rule Mining.

Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Decision Trees with a Modal Flavor.

Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction.

Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

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

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

Algorithms, 2021

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

Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Multi-Frame Modal Symbolic Learning.

Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

Knowledge Extraction with Interval Temporal Logic Decision Trees.

Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

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

Joanna Kaminska, Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

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

Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Symbolic Learning with Interval Temporal Logic: the Case of Regression.

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

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Time Series Checking with Fuzzy Interval Temporal Logics.

Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019

On coarser interval temporal logics.

Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan

Artif. Intell., 2019

Interval Temporal Logic Decision Tree Learning.

Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Towards a General Method for Logical Rule Extraction from Time Series.

Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari

Proceedings of the From Bioinspired Systems and Biomedical Applications to Machine Learning, 2019

Towards Interval Temporal Logic Rule-Based Classification.

Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2017

Implementation of a Tableau-based Satisfiability Checker for HS3.

Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017