Guido Sciavicco
Orcid: 0000-0002-9221-879X
According to our database1,
Guido Sciavicco
authored at least 139 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests.
Artif. Intell. Medicine, March, 2023
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the 9th Italian Conference on Computational Linguistics, Venice, Italy, November 30, 2023
Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023
2022
Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches.
Eng. Appl. Artif. Intell., 2022
A combined approach to the analysis of speech conversations in a contact center domain.
CoRR, 2022
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022
Proceedings of the Artificial Intelligence in Neuroscience: Affective Analysis and Health Applications, 2022
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
J. Biomed. Informatics, 2021
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning.
Inf. Comput., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
A time series forecasting based multi-criteria methodology for air quality prediction.
Appl. Soft Comput., 2021
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling.
Algorithms, 2021
Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression.
IEEE Access, 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Proceedings of the Technologies and Innovation - 7th International Conference, 2021
2020
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).
Log. Methods Comput. Sci., 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling.
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
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling.
Proceedings of the 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems, 2020
Proceedings of the Technologies and Innovation - 6th International Conference, 2020
Proceedings of the Technologies and Innovation - 6th International Conference, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
2019
IEEE Trans. Learn. Technol., 2019
IEEE Trans. Fuzzy Syst., 2019
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data.
Expert Syst. J. Knowl. Eng., 2019
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data.
Comput., 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the From Bioinspired Systems and Biomedical Applications to Machine Learning, 2019
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
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.
Proceedings of the New Trends in Databases and Information Systems, 2019
2018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).
Log. Methods Comput. Sci., 2018
Towards semi-automatic human performance evaluation: The case study of a contact center.
Intell. Data Anal., 2018
Entropy, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the Mining Intelligence and Knowledge Exploration, 2018
Proceedings of the Information and Software Technologies - 24th International Conference, 2018
2017
ACM Trans. Comput. Log., 2017
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
J. Multiple Valued Log. Soft Comput., 2017
Neurocomputing, 2017
Unsupervised feature selection for interpretable classification in behavioral assessment of children.
Expert Syst. J. Knowl. Eng., 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
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
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
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
2016
Proceedings of the Seventh International Symposium on Games, 2016
CoRR, 2016
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
Acta Informatica, 2016
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Informatica, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
2015
Bull. EATCS, 2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the Advances in Artificial Intelligence, 2015
2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014
Ann. Math. Artif. Intell., 2014
Ann. Math. Artif. Intell., 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013
Softw. Syst. Model., 2013
Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.
Ann. Math. Artif. Intell., 2013
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
Proceedings of the Foundations of Genetic Algorithms XII, 2013
2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. Univers. Comput. Sci., 2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012
A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012
Proceedings of the ECAI 2012, 2012
2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Proceedings of Second International Symposium on Games, 2011
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
Proceedings of the Advances in Artificial Intelligence, 2011
2010
Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010
Proceedings of the Proceedings First Symposium on Games, 2010
Proceedings of the TIME 2010, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
CoRR, 2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Log., 2009
Proceedings of the TIME 2009, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Bioinspired Applications in Artificial and Natural Computation, 2009
2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
2007
J. Autom. Reason., 2007
A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Ann. Math. Artif. Intell., 2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the IJCAI 2007, 2007
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
Proceedings of the Computer Aided Systems Theory, 2007
2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Appl. Log., 2006
J. Appl. Log., 2006
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
2004
J. Appl. Non Class. Logics, 2004
2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002