Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Implementation of a Tableau-based Satisfiability Checker for HS3., , and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 326-340. CEUR-WS.org, (2017)Fuzzy Halpern and Shoham's interval temporal logics., , , , and . Fuzzy Sets Syst., (March 2023)(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data., , , , and . itaDATA, volume 3606 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking., , , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 11-15. CEUR-WS.org, (2020)Symbolic Learning with Interval Temporal Logic: the Case of Regression., , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 5-9. CEUR-WS.org, (2020)Interval Temporal Random Forests with an Application to COVID-19 Diagnosis., , , and . TIME, volume 206 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Towards a General Method for Logical Rule Extraction from Time Series., , and . IWINAC (2), volume 11487 of Lecture Notes in Computer Science, page 3-12. Springer, (2019)Interval Temporal Logic Decision Tree Learning., , and . CoRR, (2020)Interval Temporal Logic Decision Tree Learning., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 778-793. Springer, (2019)On coarser interval temporal logics., , , , and . Artif. Intell., (2019)