Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking., , , und . OVERLAY, Volume 2785 von CEUR Workshop Proceedings, Seite 11-15. CEUR-WS.org, (2020)Symbolic Learning with Interval Temporal Logic: the Case of Regression., , und . OVERLAY, Volume 2785 von CEUR Workshop Proceedings, Seite 5-9. CEUR-WS.org, (2020)(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data., , , , und . itaDATA, Volume 3606 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Fuzzy Halpern and Shoham's interval temporal logics., , , , und . Fuzzy Sets Syst., (März 2023)On Modal Logic Formulae Minimization., , , und . CILC, Volume 3733 von CEUR Workshop Proceedings, CEUR-WS.org, (2024)Interval Temporal Random Forests with an Application to COVID-19 Diagnosis., , , und . TIME, Volume 206 von LIPIcs, Seite 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Implementation of a Tableau-based Satisfiability Checker for HS3., , und . ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 326-340. CEUR-WS.org, (2017)Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation., , , , und . TIME, Volume 318 von LIPIcs, Seite 7:1-7:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Towards a General Method for Logical Rule Extraction from Time Series., , und . IWINAC (2), Volume 11487 von Lecture Notes in Computer Science, Seite 3-12. Springer, (2019)Knowledge Extraction with Interval Temporal Logic Decision Trees., und . CoRR, (2023)