Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
file con accesso da definire2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido
Deciding the consistency of branching time interval networks
2018 Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido
Evaluation of temporal datasets via interval temporal logic model checking
file con accesso da definire2017 Della Monica, Dario; de Frutos Escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
Extracting interval temporal logic rules: A first approach
2018 Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido
Fast(er) reasoning in interval temporal logic
file con accesso da definire2017 Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido
The horn fragment of branching algebra
2020 Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit
2012 Cattafi, Massimiliano; R., Herrero; Gavanelli, Marco; Nonato, Maddalena; F., Malucelli; J., Ramos
Knowledge extraction with interval temporal logic decision trees
2020 Sciavicco, Guido; Stan, IONEL EDUARD
Mining significant temporal networks is polynomial
2020 Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification
file con accesso da definire2022 Pagliarini, Giovanni; Scaboro, Simone; Serra, Giuseppe; Sciavicco, Guido; Stan, IONEL EDUARD
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Decidability of the Interval Temporal Logic ABB over the Natural Numbers | 2010 | Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido | file con accesso da definire |
Deciding the consistency of branching time interval networks | 2018 | Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido | |
Evaluation of temporal datasets via interval temporal logic model checking | 2017 | Della Monica, Dario; de Frutos Escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido | file con accesso da definire |
Extracting interval temporal logic rules: A first approach | 2018 | Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido | |
Fast(er) reasoning in interval temporal logic | 2017 | Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido | file con accesso da definire |
The horn fragment of branching algebra | 2020 | Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Ste...fano | |
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit | 2012 | Cattafi, Massimiliano; R., Herrero; Gavanelli, Marco; Nonato, Maddalena; F., Malucelli; J., Ramos | |
Knowledge extraction with interval temporal logic decision trees | 2020 | Sciavicco, Guido; Stan, IONEL EDUARD | |
Mining significant temporal networks is polynomial | 2020 | Sciavicco, Guido; Villa, Tiziano; Zavatteri, Matteo | |
Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification | 2022 | Pagliarini, Giovanni; Scaboro, Simone; Serra, Giuseppe; Sciavicco, Guido; Stan, IONEL EDUARD | file con accesso da definire |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile