Published in: LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, and Ionel Eduard Stan. Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 7:1-7:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{badia_et_al:LIPIcs.TIME.2024.7, author = {Badia, Guillermo and Noguera, Carles and Paparella, Alberto and Sciavicco, Guido and Stan, Ionel Eduard}, title = {{Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation}}, booktitle = {31st International Symposium on Temporal Representation and Reasoning (TIME 2024)}, pages = {7:1--7:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-349-2}, ISSN = {1868-8969}, year = {2024}, volume = {318}, editor = {Sala, Pietro and Sioutis, Michael and Wang, Fusheng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.7}, URN = {urn:nbn:de:0030-drops-212145}, doi = {10.4230/LIPIcs.TIME.2024.7}, annote = {Keywords: Interval temporal logic, many-valued logic, tableau system} }
Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, and Ionel Eduard Stan. A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic. In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 9:1-9:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{conradie_et_al:LIPIcs.TIME.2023.9, author = {Conradie, Willem and Monego, Riccardo and Mu\~{n}oz-Velasco, Emilio and Sciavicco, Guido and Stan, Ionel Eduard}, title = {{A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic}}, booktitle = {30th International Symposium on Temporal Representation and Reasoning (TIME 2023)}, pages = {9:1--9:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-298-3}, ISSN = {1868-8969}, year = {2023}, volume = {278}, editor = {Artikis, Alexander and Bruse, Florian and Hunsberger, Luke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.9}, URN = {urn:nbn:de:0030-drops-190996}, doi = {10.4230/LIPIcs.TIME.2023.9}, annote = {Keywords: Interval temporal logic, many-valued logic, tableau system} }
Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)
Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, and Ionel Eduard Stan. Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 13:1-13:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{pagliarini_et_al:LIPIcs.TIME.2022.13, author = {Pagliarini, Giovanni and Scaboro, Simone and Serra, Giuseppe and Sciavicco, Guido and Stan, Ionel Eduard}, title = {{Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification}}, booktitle = {29th International Symposium on Temporal Representation and Reasoning (TIME 2022)}, pages = {13:1--13:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-262-4}, ISSN = {1868-8969}, year = {2022}, volume = {247}, editor = {Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.13}, URN = {urn:nbn:de:0030-drops-172607}, doi = {10.4230/LIPIcs.TIME.2022.13}, annote = {Keywords: Machine learning, neural-symbolic, temporal logic, hybrid temporal decision trees} }
Published in: LIPIcs, Volume 206, 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)
Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, and Ionel Eduard Stan. Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. In 28th International Symposium on Temporal Representation and Reasoning (TIME 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 206, pp. 7:1-7:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{manzella_et_al:LIPIcs.TIME.2021.7, author = {Manzella, Federico and Pagliarini, Giovanni and Sciavicco, Guido and Stan, Ionel Eduard}, title = {{Interval Temporal Random Forests with an Application to COVID-19 Diagnosis}}, booktitle = {28th International Symposium on Temporal Representation and Reasoning (TIME 2021)}, pages = {7:1--7:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-206-8}, ISSN = {1868-8969}, year = {2021}, volume = {206}, editor = {Combi, Carlo and Eder, Johann and Reynolds, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2021.7}, URN = {urn:nbn:de:0030-drops-147837}, doi = {10.4230/LIPIcs.TIME.2021.7}, annote = {Keywords: Interval temporal logic, decision trees, random forests, sound-based diagnosis} }
Published in: LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Guido Sciavicco and Ionel Eduard Stan. Knowledge Extraction with Interval Temporal Logic Decision Trees. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 9:1-9:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{sciavicco_et_al:LIPIcs.TIME.2020.9, author = {Sciavicco, Guido and Stan, Ionel Eduard}, title = {{Knowledge Extraction with Interval Temporal Logic Decision Trees}}, booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)}, pages = {9:1--9:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-167-2}, ISSN = {1868-8969}, year = {2020}, volume = {178}, editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.9}, URN = {urn:nbn:de:0030-drops-129776}, doi = {10.4230/LIPIcs.TIME.2020.9}, annote = {Keywords: Interval Temporal Logic, Decision Trees, Explainable AI, Time series} }
Feedback for Dagstuhl Publishing