Lately
All 70 items, newest first, in 9 years, generated when this page was built from the facts they announce rather than from a second set of files written by hand. Filter by kind below — it is a radio button and a stylesheet, so it works with JavaScript off. 12 further facts could be announced but carry no defensible date; turn inspect sources on, in the bar above, to see which — and to see the exact record every item below was generated from.
2025
- · Service
Program Committee, IJCAI 2026.
content/cv.yaml (service[] · Program Committee, IJCAI · 2026 edition) — announced 2025-12-10 (day precision), kind Service. Anchor
#2025-12-10-program-committee-ijcai-2026. - · Editorial
Associate Editor, Elsevier Neurocomputing Journal.
content/cv.yaml (service[] · Associate Editor, Elsevier Neurocomputing Journal) — announced 2025-10-26T10:00:00+02:00 (minute precision), kind Editorial. Anchor
#2025-10-26t10-00-00-02-00-associate-editor-elsevier-neurocomputing-journal. - · Software
ModalAssociationRules.jl, DROPS Artifacts.
content/publications.bib (DBLP:data/11/MilellaPSS25a) — announced 2025-10 (month precision), kind Software. Anchor
#2025-10-modalassociationrules-jl-drops-artifacts. - · Software
Sole.jl, DROPS Artifacts.
content/publications.bib (DBLP:data/11/MilellaPSS25) — announced 2025-10 (month precision), kind Software. Anchor
#2025-10-sole-jl-drops-artifacts. - · Service
Program Committee, ICLR 2026.
content/cv.yaml (service[] · Program Committee, ICLR · 2026 edition) — announced 2025-09-23 (day precision), kind Service. Anchor
#2025-09-23-program-committee-iclr-2026. - · Service
Area Chair, ICASSP 2026.
content/cv.yaml (service[] · Area Chair, ICASSP · 2026 edition) — announced 2025-09-09 (day precision), kind Service. Anchor
#2025-09-09-area-chair-icassp-2026. - · Service
Program Committee, AAAI 2026.
content/cv.yaml (service[] · Program Committee, AAAI · 2026 edition) — announced 2025-07-18 (day precision), kind Service. Anchor
#2025-07-18-program-committee-aaai-2026. - · Service
Program Committee, ECAI 2025.
content/cv.yaml (service[] · Program Committee, ECAI · 2025 edition) — announced 2025-04-22 (day precision), kind Service. Anchor
#2025-04-22-program-committee-ecai-2025. - · Service
Technical Committee Member, CTSoc.
content/cv.yaml (service[] · Technical Committee Member) — announced 2025-04-01T10:00:00+02:00 (minute precision), kind Service. Anchor
#2025-04-01t10-00-00-02-00-technical-committee-member-ctsoc. - · Editorial
Associate Editor, Frontiers in Artificial Intelligence Journal, Pattern Recognition Section.
content/cv.yaml (service[] · Associate Editor, Frontiers in Artificial Intelligence Journal) — announced 2025-03-03T10:00:00+02:00 (minute precision), kind Editorial. Anchor
#2025-03-03t10-00-00-02-00-associate-editor-frontiers-in-artificial-intelligence. - · Journal
Authenticated Robotic Teleoperation With Task Recognition, IEEE Consumer Electron. Mag.
content/publications.bib (DBLP:journals/cem/StanAND26) — announced 2025-02-18T10:00:00+02:00 (minute precision), kind Journal. Anchor
#2025-02-18t10-00-00-02-00-authenticated-robotic-teleoperation-with-task-recognit. - · Service
Program Committee, IJCAI 2025.
content/cv.yaml (service[] · Program Committee, IJCAI · 2025 edition) — announced 2025-01-13T16:00:00+02:00 (minute precision), kind Service. Anchor
#2025-01-13t16-00-00-02-00-program-committee-ijcai-2025. - · Service
Reviewer, Elsevier Engineering Applications of Artificial Intelligence Journal.
content/cv.yaml (service[] · Reviewer, Elsevier Engineering Applications of Artificial Intelligence Journal) — announced 2025-01-13T10:00:00+02:00 (minute precision), kind Service. Anchor
#2025-01-13t10-00-00-02-00-reviewer-elsevier-engineering-applications-of-artifici. - · Writing
content/posts/2025/latex-mistakes-and-solutions.md — announced 2025-01-13 (day precision), kind Writing. Anchor
#2025-01-13-mastering-latex. - · Service
Area Chair, IJCNN 2025.
content/cv.yaml (service[] · Area Chair, IJCNN · 2025 edition) — announced 2025-01-11 (day precision), kind Service. Anchor
#2025-01-11-area-chair-ijcnn-2025. - · Journal
A Systematic Literature Review of Innovations, Challenges, and Future Directions in Telemonitoring and Wearable Health Technologies, IEEE Journal of Biomedical and Health Informatics.
content/publications.bib (11122906) — announced 2025 (year precision), kind Journal. Anchor
#2025-a-systematic-literature-review-of-innovations-challenges-and-future-directi. - · Conference
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic, 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025.
content/publications.bib (DBLP:conf/time/BellodiCPSS25) — announced 2025 (year precision), kind Conference. Anchor
#2025-assessing-the-in-ability-of-llms-to-reason-in-interval-temporal-logic-32nd. - · Conference
Temporal Association Rules from Motifs (Short Paper), 32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025.
content/publications.bib (DBLP:conf/time/MilellaPSS25) — announced 2025 (year precision), kind Conference. Anchor
#2025-temporal-association-rules-from-motifs-short-paper-32nd-international-sympo.
2024
- · Oral presentation
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation, 31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France.
content/talks.bib (talk_oral_time_2024) — announced 2024-10-29 (day precision), kind Oral presentation. Anchor
#2024-10-29-fitting-s-style-many-valued-interval-temporal-logic-tableau-system-th. - · Conference
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation, 31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024.
content/publications.bib (DBLP:conf/time/BadiaNPSS24) — announced 2024-10-22T10:00:00+02:00 (minute precision), kind Conference. Anchor
#2024-10-22t10-00-00-02-00-fitting-s-style-many-valued-interval-temporal-logic-ta. - · Service
Program Committee, ICLR 2025.
content/cv.yaml (service[] · Program Committee, ICLR · 2025 edition) — announced 2024-08-28 (day precision), kind Service. Anchor
#2024-08-28-program-committee-iclr-2025. - · Service
Reviewer, IEEE Journal of Biomedical and Health Informatics.
content/cv.yaml (service[] · Reviewer, IEEE Journal of Biomedical and Health Informatics) — announced 2024-08-21T10:00:00+02:00 (minute precision), kind Service. Anchor
#2024-08-21t10-00-00-02-00-reviewer-ieee-journal-of-biomedical-and-health-informa. - · Journal
Neural-symbolic temporal decision trees for multivariate time series classification, Inf. Comput.
content/publications.bib (DBLP:journals/iandc/PagliariniSSSS24) — announced 2024-08-07T10:00:00+02:00 (minute precision), kind Journal. Anchor
#2024-08-07t10-00-00-02-00-neural-symbolic-temporal-decision-trees-for-multivaria. - · Writing
Understanding the Future of Explainable Artificial Intelligence (XAI).
content/posts/2024/xai2-manifesto.md — announced 2024-08-02 (day precision), kind Writing. Anchor
#2024-08-02-understanding-the-future-of-explainable-artificial-intelligence-xai. - · Conference
Symbolic Audio Classification via Modal Decision Tree Learning, Proceedings of the 3rd Italian Conference on Big Data and Data Science (ITADATA 2024), Pisa, Italy, September 17-19, 2024.
content/publications.bib (marzano_itadata2024) — announced 2024-07-22T10:00:00+02:00 (minute precision), kind Conference. Anchor
#2024-07-22t10-00-00-02-00-symbolic-audio-classification-via-modal-decision-tree. - · Conference
ModalFP-Growth: Efficient Extraction of Modal Association Rules from Non-Tabular Data, Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024.
content/publications.bib (DBLP:conf/ictcs/MilellaPSS24) — announced 2024-07-22T09:00:00+02:00 (minute precision), kind Conference. Anchor
#2024-07-22t09-00-00-02-00-modalfp-growth-efficient-extraction-of-modal-associati. - · Appointment
Assistant Professor (RTD/a), University of Milano-Bicocca (Intelligent Sensing Laboratory—ISLab).
content/cv.yaml (appointments[] · Assistant Professor (RTD/a)) — announced 2024-07-16T10:00:00+02:00 (minute precision), kind Appointment. Anchor
#2024-07-16t10-00-00-02-00-assistant-professor-rtd-a-university-of-milano-bicocca. - · Invited talk
Modal Isolation Forest: Harnessing Modal Logic in Isolation-based Anomaly Detection, Annual Meeting of the GNCS (Gruppo Nazionale Calcolo Scientifico) / INdAM (Istituto Nazionale di Alta Matematica) Project, Rome, Italy.
content/talks.bib (talk_invited_unife_2024) — announced 2024-06-25 (day precision), kind Invited talk. Anchor
#2024-06-25-modal-isolation-forest-harnessing-modal-logic-in-isolation-based-anom. - · Service
Program Committee, AAAI 2025.
content/cv.yaml (service[] · Program Committee, AAAI · 2025 edition) — announced 2024-06-10 (day precision), kind Service. Anchor
#2024-06-10-program-committee-aaai-2025. - · Conference
On Modal Logic Formulae Minimization, Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024.
content/publications.bib (DBLP:conf/cilc/PagliariniPSS24) — announced 2024 (year precision), kind Conference. Anchor
#2024-on-modal-logic-formulae-minimization-proceedings-of-the-39th-italian-confer. - · Workshop
Towards Modern Rule-Based Learning, Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, Bolzano, Italy, November 28-29, 2024.
content/publications.bib (DBLP:conf/overlay/PagliariniPSS24) — announced 2024 (year precision), kind Workshop. Anchor
#2024-towards-modern-rule-based-learning-short-paper-proceedings-of-the-6th-inter.
2023
- · Poster presentation
Evolutionary Explainable Rule Extraction from (Modal) Random Forests, 26th European Conference on Artificial Intelligence, ECAI 2023, Kraków, Poland.
content/talks.bib (poster_ecai_2023) — announced 2023-10-04 (day precision), kind Poster presentation. Anchor
#2023-10-04-evolutionary-explainable-rule-extraction-from-modal-random-forests-26. - · Invited talk
NLP meets Modal Logic, Annual Meeting of the GNCS (Gruppo Nazionale Calcolo Scientifico) / INdAM (Istituto Nazionale di Alta Matematica) Project, Rome, Italy.
content/talks.bib (talk_invited_gncs_2023) — announced 2023-05-11 (day precision), kind Invited talk. Anchor
#2023-05-11-nlp-meets-modal-logic-annual-meeting-of-the-gncs-gruppo-nazionale-cal. - · Conference
(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data, Proceedings of the 2nd Italian Conference on Big Data and Data Science (ITADATA 2023), Naples, Italy, September 11-13, 2023.
content/publications.bib (DBLP:conf/itadata/CavinaMPSS23) — announced 2023 (year precision), kind Conference. Anchor
#2023-un-supervised-univariate-feature-extraction-and-selection-for-dimensional-d. - · Conference
A Post-Modern Approach to Automatic Metaphor Identification, Proceedings of the 9th Italian Conference on Computational Linguistics, Venice, Italy, November 30 - December 2, 2023.
content/publications.bib (DBLP:conf/clic-it/FanteMSS23) — announced 2023 (year precision), kind Conference. Anchor
#2023-a-post-modern-approach-to-automatic-metaphor-identification-proceedings-of. - · Conference
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic, 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023.
content/publications.bib (DBLP:conf/time/ConradieMMSS23) — announced 2023 (year precision), kind Conference. Anchor
#2023-a-sound-and-complete-tableau-system-for-fuzzy-halpern-and-shoham-s-interval. - · Conference
Efficient Modal Decision Trees, AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings.
content/publications.bib (DBLP:conf/aiia/ManzellaPSS23) — announced 2023 (year precision), kind Conference. Anchor
#2023-efficient-modal-decision-trees-aixia-2023-advances-in-artificial-intelligen. - · Conference
Evolutionary Explainable Rule Extraction from (Modal) Random Forests, ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023).
content/publications.bib (DBLP:conf/ecai/ManzellaPSS23) — announced 2023 (year precision), kind Conference. Anchor
#2023-evolutionary-explainable-rule-extraction-from-modal-random-forests-ecai-202. - · Journal
Fuzzy Halpern and Shoham's interval temporal logics, Fuzzy Sets Syst.
content/publications.bib (DBLP:journals/fss/ConradieMMSS23) — announced 2023 (year precision), kind Journal. Anchor
#2023-fuzzy-halpern-and-shoham-s-interval-temporal-logics-fuzzy-sets-syst. - · Workshop
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas, Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023.
content/publications.bib (DBLP:conf/overlay/PagliariniPRSS23) — announced 2023 (year precision), kind Workshop. Anchor
#2023-heuristic-minimization-modulo-theory-of-modal-decision-trees-class-formulas. - · Journal
Statistical Rule Extraction for Gas Turbine Trip Prediction, Journal of Engineering for Gas Turbines and Power.
content/publications.bib (10.1115/1.4056287) — announced 2023 (year precision), kind Journal. Anchor
#2023-statistical-rule-extraction-for-gas-turbine-trip-prediction-journal-of-engi. - · Journal
The voice of COVID-19: Breath and cough recording classification with temporal decision trees and random forests, Artif. Intell. Medicine.
content/publications.bib (DBLP:journals/artmed/ManzellaPSS23) — announced 2023 (year precision), kind Journal. Anchor
#2023-the-voice-of-covid-19-breath-and-cough-recording-classification-with-tempor.
2022
- · Oral presentation
On Modal Logic Association Rule Mining, 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy.
content/talks.bib (talk_oral_ictcs_2022) — announced 2022-09-10 (day precision), kind Oral presentation. Anchor
#2022-09-10-on-modal-logic-association-rule-mining-23rd-italian-conference-on-the. - · Conference
Decision Trees with a Modal Flavor, AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings.
content/publications.bib (DBLP:conf/aiia/MonicaPSS22) — announced 2022 (year precision), kind Conference. Anchor
#2022-decision-trees-with-a-modal-flavor-aixia-2022-advances-in-artificial-intell. - · Workshop
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022.
content/publications.bib (DBLP:conf/aiia/MilellaPPS22) — announced 2022 (year precision), kind Workshop. Anchor
#2022-multi-models-and-multi-formulas-finite-model-checking-for-modal-logic-formu. - · Conference
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification, 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, Virtual Conference, November 7-9, 2022.
content/publications.bib (DBLP:conf/time/PagliariniS0SS22) — announced 2022 (year precision), kind Conference. Anchor
#2022-neural-symbolic-temporal-decision-trees-for-multivariate-time-series-classi. - · Conference
On Modal Logic Association Rule Mining, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022.
content/publications.bib (DBLP:conf/ictcs/StanSMPMP22) — announced 2022 (year precision), kind Conference. Anchor
#2022-on-modal-logic-association-rule-mining-proceedings-of-the-23rd-italian-conf.
2021
- · Invited talk
Modal Symbolic Learning, Seminar for the Faculty of Computer Science, Iasi, Romania (virtual due to COVID-19 pandemic).
content/talks.bib (talk_invited_romania_2021) — announced 2021-11-07 (day precision), kind Invited talk. Anchor
#2021-11-07-modal-symbolic-learning-seminar-for-the-faculty-of-computer-science-i. - · Award
Finalist (2nd place) & Team Leader, Huawei Italy University Challenge.
content/cv.yaml (awards[] · Finalist (2nd place) & Team Leader) — announced 2021-11 (month precision), kind Award. Anchor
#2021-11-finalist-2nd-place-team-leader-huawei-italy-university-challenge. - · Oral presentation
Multi-Frame Modal Symbolic Learning, 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy.
content/talks.bib (talk_oral_overlay_2021) — announced 2021-09-22 (day precision), kind Oral presentation. Anchor
#2021-09-22-multi-frame-modal-symbolic-learning-3rd-workshop-on-artificial-intell. - · Journal
Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling, Algorithms.
content/publications.bib (DBLP:journals/algorithms/Lucena-SanchezS21) — announced 2021 (year precision), kind Journal. Anchor
#2021-feature-and-language-selection-in-temporal-symbolic-regression-for-interpre. - · Conference
Interval Temporal Random Forests with an Application to COVID-19 Diagnosis, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021.
content/publications.bib (DBLP:conf/time/ManzellaPSS21) — announced 2021 (year precision), kind Conference. Anchor
#2021-interval-temporal-random-forests-with-an-application-to-covid-19-diagnosis. - · Workshop
Multi-Frame Modal Symbolic Learning, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
content/publications.bib (DBLP:conf/gandalf/PagliariniSS21) — announced 2021 (year precision), kind Workshop. Anchor
#2021-multi-frame-modal-symbolic-learning-proceedings-of-the-3rd-workshop-on-arti.
2020
- · Oral presentation
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking, 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge, (BOSK 2020), Bozen-Bolzano, Italy.
content/talks.bib (talk_oral_overlay_2020) — announced 2020-09-25 (day precision), kind Oral presentation. Anchor
#2020-09-25-a-note-on-ultimately-periodic-finite-interval-temporal-logic-model-ch. - · Oral presentation
Knowledge Extraction with Interval Temporal Logic Decision Trees, 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy.
content/talks.bib (talk_oral_time_2020) — announced 2020-09-24 (day precision), kind Oral presentation. Anchor
#2020-09-24-knowledge-extraction-with-interval-temporal-logic-decision-trees-27th. - · Oral presentation
Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling, 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).
content/talks.bib (talk_oral_rule_rr_2020) — announced 2020-06-30 (day precision), kind Oral presentation. Anchor
#2020-06-30-rule-extraction-via-dynamic-discretization-with-an-application-to-air. - · Workshop
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
content/publications.bib (DBLP:conf/overlay/MonicaMSS20) — announced 2020 (year precision), kind Workshop. Anchor
#2020-a-note-on-ultimately-periodic-finite-interval-temporal-logic-model-checking. - · Conference
Knowledge Extraction with Interval Temporal Logic Decision Trees, 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020.
content/publications.bib (DBLP:conf/time/SciaviccoS20) — announced 2020 (year precision), kind Conference. Anchor
#2020-knowledge-extraction-with-interval-temporal-logic-decision-trees-27th-inter. - · Conference
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 - 1 July, 2020.
content/publications.bib (DBLP:conf/ruleml/KaminskaLSS20) — announced 2020 (year precision), kind Conference. Anchor
#2020-rule-extraction-via-dynamic-discretization-with-an-application-to-air-quali. - · Workshop
Symbolic Learning with Interval Temporal Logic: the Case of Regression, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
content/publications.bib (DBLP:conf/overlay/Lucena-SanchezS20) — announced 2020 (year precision), kind Workshop. Anchor
#2020-symbolic-learning-with-interval-temporal-logic-the-case-of-regression-proce. - · Conference
Time Series Checking with Fuzzy Interval Temporal Logics, Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020.
content/publications.bib (DBLP:conf/ictcs/ConradieMMSS20) — announced 2020 (year precision), kind Conference. Anchor
#2020-time-series-checking-with-fuzzy-interval-temporal-logics-proceedings-of-the.
2019
- · Award
3-year Ph.D. Full Scholarship, Ministero dell'Istruzione, dell'Università e della Ricerca (MIUR).
content/cv.yaml (awards[] · 3-year Ph.D. Full Scholarship) — announced 2019-09 (month precision), kind Award. Anchor
#2019-09-3-year-ph-d-full-scholarship-ministero-dell-istruzione-dell-universita-e. - · Award
Best M.Sc. Graduate Student in Computer Science, University of Udine.
content/cv.yaml (awards[] · Best M.Sc. Graduate Student in Computer Science) — announced 2019-09 (month precision), kind Award. Anchor
#2019-09-best-m-sc-graduate-student-in-computer-science-university-of-udine. - · Conference
Interval Temporal Logic Decision Tree Learning, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings.
content/publications.bib (DBLP:conf/jelia/BrunelloSS19) — announced 2019 (year precision), kind Conference. Anchor
#2019-interval-temporal-logic-decision-tree-learning-logics-in-artificial-intelli. - · Journal
On coarser interval temporal logics, Artif. Intell.
content/publications.bib (DBLP:journals/ai/Munoz-VelascoPS19) — announced 2019 (year precision), kind Journal. Anchor
#2019-on-coarser-interval-temporal-logics-artif-intell. - · Conference
Towards a General Method for Logical Rule Extraction from Time Series, From Bioinspired Systems and Biomedical Applications to Machine Learning - 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II.
content/publications.bib (DBLP:conf/iwinac/SciaviccoSV19) — announced 2019 (year precision), kind Conference. Anchor
#2019-towards-a-general-method-for-logical-rule-extraction-from-time-series-from. - · Workshop
Towards Interval Temporal Logic Rule-Based Classification, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019.
content/publications.bib (DBLP:conf/aiia/Lucena-SanchezM19) — announced 2019 (year precision), kind Workshop. Anchor
#2019-towards-interval-temporal-logic-rule-based-classification-proceedings-of-th.
2017
- · Oral presentation
Implementation of a Tableau-based Satisfiability Checker for HS3, 32nd Italian Conference on Computational Logic, CILC 2017 Naples, Italy, September 26-28, 2017, Naples, Italy.
content/talks.bib (talk_oral_cilc_2017) — announced 2017-09-27 (day precision), kind Oral presentation. Anchor
#2017-09-27-implementation-of-a-tableau-based-satisfiability-checker-for-hs3-32nd. - · Conference
Implementation of a Tableau-based Satisfiability Checker for HS3, 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), Naples, Italy, September 26-28, 2017.
content/publications.bib (DBLP:conf/ictcs/Munoz-VelascoSS17) — announced 2017 (year precision), kind Conference. Anchor
#2017-implementation-of-a-tableau-based-satisfiability-checker-for-hs3-joint-proc.
2016
- · Award
Erasmus⁺ Full Scholarship, University of Ferrara.
content/cv.yaml (awards[] · Erasmus⁺ Full Scholarship) — announced 2016-09 (month precision), kind Award. Anchor
#2016-09-erasmus-full-scholarship-university-of-ferrara.
70 announcements in 9 years, read at build from content/cv.yaml, content/publications.bib, content/talks.bib, content/posts/**/*.{md,mdx}. A fact is announced on the date it carries; an announced key is written onto a fact only where the announcement happened on a date the fact does not otherwise state. Dates are shown at the precision the source states and no finer, so an item shown as a year is one whose source records only a year.
21 conference, 12 service, 8 journal, 7 oral presentation, 7 workshop, 4 award, 3 invited talk, 2 editorial, 2 software, 2 writing, 1 appointment, 1 poster presentation. The filter above is one radio input per kind and one generated CSS rule per kind; the kinds themselves are the ones the records state — a CV section's own name, a talk's note field, a bibliography section's short name.
12 announceable facts carry no defensible date and are listed below rather than given an invented one. They are not missing from the site: a manuscript under review is on /publications/ like any other entry.
content/cv.yaml (service[] · Tutorials/Special Session Co-Chair · 2026 edition) — “Tutorials/Special Session Co-Chair, IEEE International Conference on Intelligent Reality (ICIR) 2026” is not announced: the edition records a year but no announcement date, and the CV states no finer date for it.
content/cv.yaml (service[] · Area Chair, IJCNN · 2026 edition) — “Area Chair, IEEE International Joint Conference on Neural Networks (IJCNN) 2026” is not announced: the edition records a year but no announcement date, and the CV states no finer date for it.
content/cv.yaml (service[] · Program Committee, AAAI · 2024 edition) — “Program Committee, Association for the Advancement of Artificial Intelligence (AAAI) Conference on Artificial Intelligence 2024” is not announced: the edition records a year but no announcement date, and the CV states no finer date for it.
content/cv.yaml (service[] · Reviewer, AI Access Foundation Journal of Artificial Intelligence Research) — “Reviewer, AI Access Foundation Journal of Artificial Intelligence Research” is not announced: the entry records no announcement date, no term and no editions.
content/cv.yaml (service[] · Reviewer, PeerJ Computer Science Journal) — “Reviewer, PeerJ Computer Science Journal” is not announced: the entry records no announcement date, no term and no editions.
content/cv.yaml (service[] · Reviewer, Elsevier Information and Computation Journal) — “Reviewer, Elsevier Information and Computation Journal” is not announced: the entry records no announcement date, no term and no editions.
content/publications.bib (stan_kr2026) — “A Semantics-First Contract for Neuro-Symbolic Reasoning” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.
content/publications.bib (stan_ijcai2026) — “From forests to minimal formulas: A logic-driven framework to explain ensemble models” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.
content/publications.bib (stan_jair2026b) — “Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.
content/publications.bib (stan_jair2026) — “Symbols and Neurons: A Review of Symbolic XAI in Deep Learning” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.
content/publications.bib (stan_thms2026) — “Towards Wearable Teleoperation for Human-to-Robot Teaching” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.
content/publications.bib (stan_array2025) — “Beyond Tabular Data: Feature Extraction and Selection for High-Dimensional Data” is not announced: a manuscript under review states the year it is aimed at, not a date anything happened on; add `announced` with the submission date to announce it.