Talks
11 talks and presentations, 2017–2024, newest first, read from content/talks.bib when this page was built — the same file the printed CV's presentations are generated from. The badge on each row is that entry's own keywords field (7 oral, 3 invited, 1 poster); nothing is relabelled here and nothing is left out.
Talks and presentationscontent/talks.bib
- Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and ImplementationoralOral presentation31st International Symposium on Temporal Representation and Reasoning, TIME 2024Montpellier, France
- Modal Isolation Forest: Harnessing Modal Logic in Isolation-based Anomaly DetectioninvitedInvited talkAnnual Meeting of the GNCS (Gruppo Nazionale Calcolo Scientifico) / INdAM (Istituto Nazionale di Alta Matematica) ProjectRome, Italy
- Evolutionary Explainable Rule Extraction from (Modal) Random ForestsposterPoster presentation26th European Conference on Artificial Intelligence, ECAI 2023Kraków, Poland
- NLP meets Modal LogicinvitedInvited talkAnnual Meeting of the GNCS (Gruppo Nazionale Calcolo Scientifico) / INdAM (Istituto Nazionale di Alta Matematica) ProjectRome, Italy
- On Modal Logic Association Rule MiningoralOral presentation23rd Italian Conference on Theoretical Computer Science, ICTCS 2022Rome, Italy
- Modal Symbolic LearninginvitedInvited talkSeminar for the Faculty of Computer ScienceIasi, Romania (virtual due to COVID-19 pandemic)
- Multi-Frame Modal Symbolic LearningoralOral presentation3rd 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 2021Padua, Italy
- A Note on Ultimately-Periodic Finite Interval Temporal Logic Model CheckingoralOral presentation2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge, (BOSK 2020)Bozen-Bolzano, Italy
- Knowledge Extraction with Interval Temporal Logic Decision TreesoralOral presentation27th International Symposium on Temporal Representation and Reasoning, TIME 2020Bozen-Bolzano, Italy
- Rule Extraction via Dynamic Discretization with an Application to Air Quality ModellingoralOral presentation14th 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 2020Oslo, Norway (virtual due to COVID-19 pandemic)
- Implementation of a Tableau-based Satisfiability Checker for HS3oralOral presentation32nd Italian Conference on Computational Logic, CILC 2017 Naples, Italy, September 26-28, 2017Naples, Italy
content/talks.bib — 11 @unpublished entries, parsed by the same BibTeX reader as content/publications.bib and sorted by their own date field, newest first. Each row is one entry: title, then note and keywords, then eventtitleand venue, then date.
Categories, counted from the keywords field: oral 7, invited 3, poster 1. Every entry states a full ISO 8601 day, so every date below is shown as a day rather than widened or narrowed.
The same file feeds the news feed, where each of these talks is announced on the date it carries. Published work is separate and lives in the publications index.