Search Results - "Sciavicco, Guido"
-
1
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling
Published in Algorithms (2021)“…Air quality modelling that relates meteorological, car traffic, and pollution data is a fundamental problem, approached in several different ways in the recent…”
Get full text
Journal Article -
2
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Published in Logical methods in computer science (01-04-2020)“…There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal…”
Get full text
Journal Article -
3
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression
Published in IEEE access (2021)“…When investigating the causes of contamination in specific contexts, such as in underground water wells, multivariate regression is commonly used to establish…”
Get full text
Journal Article -
4
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data
Published in Computers (Basel) (05-03-2019)“…Temporal information plays a very important role in many analysis tasks, and can be encoded in at least two different ways. It can be modeled by discrete…”
Get full text
Journal Article -
5
Temporal Aspects in Air Quality Modeling—A Case Study in Wrocław
Published in Air, soil and water research (01-12-2020)“…Anthropogenic environmental pollution is a known and indisputable issue, and the importance of searching for reliable mathematical models that help…”
Get full text
Journal Article -
6
Multi-Objective Evolutionary Rule-Based Classification with Categorical Data
Published in Entropy (Basel, Switzerland) (07-09-2018)“…The ease of interpretation of a classification model is essential for the task of validating it. Sometimes it is required to clearly explain the classification…”
Get full text
Journal Article -
7
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Published in Logical methods in computer science (19-06-2018)“…There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal…”
Get full text
Journal Article -
8
On Sub-Propositional Fragments of Modal Logic
Published in Logical methods in computer science (22-06-2018)“…In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their…”
Get full text
Journal Article -
9
Lag Variables in Nitrogen Oxide Concentration Modelling: A Case Study in Wrocław, Poland
Published in Atmosphere (2020)“…Due to the unwavering interest of both residents and authorities in the air quality of urban agglomerations, we pose the following question in this paper: What…”
Get full text
Journal Article -
10
On the Expressive Power of Sub-Propositional Fragments of Modal Logic
Published in Electronic proceedings in theoretical computer science (13-09-2016)“…Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical…”
Get full text
Journal Article -
11
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Published in Electronic proceedings in theoretical computer science (07-10-2012)“…Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken…”
Get full text
Journal Article -
12
An Optimal Decision Procedure for MPNL over the Integers
Published in Electronic proceedings in theoretical computer science (04-06-2011)“…Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of…”
Get full text
Journal Article -
13
Decision Tree Learning with Spatial Modal Logics
Published in Electronic proceedings in theoretical computer science (17-09-2021)Get full text
Journal Article -
14
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Published in Electronic proceedings in theoretical computer science (09-06-2010)“…Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied…”
Get full text
Journal Article -
15
Multiobjective Evolutionary Feature Selection for Fuzzy Classification
Published in IEEE transactions on fuzzy systems (01-05-2019)“…The interpretability of classification systems refers to the ability of these to express their behavior in a way that is easily understandable by a user…”
Get full text
Journal Article -
16
Mining CSTNUDs significant for a set of traces is polynomial
Published in Information and computation (01-12-2021)“…A Conditional Simple Temporal Network with Uncertainty and Decisions (CSTNUD) is a formalism for temporal plans that models controllable and uncontrollable…”
Get full text
Journal Article -
17
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning
Published in Information and computation (01-10-2021)Get full text
Journal Article -
18
A time series forecasting based multi-criteria methodology for air quality prediction
Published in Applied soft computing (01-12-2021)“…There is a very extensive literature on the design and test of models of environmental pollution, especially in the atmosphere. Current and recent models,…”
Get full text
Journal Article -
19
Fuzzy Halpern and Shoham's interval temporal logics
Published in Fuzzy sets and systems (30-03-2023)“…The most representative interval temporal logic, called HS, was introduced by Halpern and Shoham in the nineties. Recently, HS has been proposed as a suitable…”
Get full text
Journal Article -
20
Neural-symbolic temporal decision trees for multivariate time series classification
Published in Information and computation (01-12-2024)“…Multivariate time series classification is an ubiquitous and widely studied problem. Due to their strong generalization capability, neural networks are…”
Get full text
Journal Article