( en | de | ru )

 

Disambiguation of "Sciavicco, Guido"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

Other publications of authors with the same name

Interval Temporal Logic Decision Tree Learning., , and . CoRR, (2020)On coarser interval temporal logics., , , , and . Artif. Intell., (2019)Towards semi-automatic human performance evaluation: The case study of a contact center., , , , , and . Intell. Data Anal., 22 (4): 867-880 (2018)Metric propositional neighborhood logics on natural numbers., , , , and . Softw. Syst. Model., 12 (2): 245-264 (2013)Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization., , , and . IEEE Trans. Learn. Technol., 12 (2): 225-236 (2019)Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals., , , , and . IWINAC (1), volume 13258 of Lecture Notes in Computer Science, page 536-546. Springer, (2022)Decision Tree Learning with Spatial Modal Logics., and . GandALF, volume 346 of EPTCS, page 273-290. (2021)On Intelligent Fingerprinting of Antique Buildings from Clay Composition., , , and . CITI, volume 1460 of Communications in Computer and Information Science, page 33-47. Springer, (2021)A First Study of the Horn Fragment of the Modal Logic of Time Intervals., , and . CILC, volume 1195 of CEUR Workshop Proceedings, page 314-318. CEUR-WS.org, (2014)Multi-Frame Modal Symbolic Learning., , and . OVERLAY@GandALF, volume 2987 of CEUR Workshop Proceedings, page 37-41. CEUR-WS.org, (2021)