Sfoglia per Serie
Optimizing answer set computation via heuristic-based decomposition
2018-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
Outlier Explanation Through Masking Models
2022-01-01 Angiulli, F.; Fassetti, F.; Nistico', S.; Palopoli, L.
Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions
2020-01-01 Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M.
Parallel Algorithms for Multifractal Analysis of River Networks
2019-01-01 Primavera, L.; Florio, E.
Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network
2020-01-01 Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M.
Pinpointing Axioms in Ontologies via ASP
2022-01-01 Penaloza, R.; Ricca, F.
Preface
2022-01-01 Gottlob, G.; Inclezan, D.; Maratea, M.
Preface
2016-01-01 Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M.
Preface (LNCS volume 11973)
2020-01-01 Sergeev, Y; Kvasov, D
Preface (LNCS volume 11974)
2020-01-01 Sergeev, Y; Kvasov, D
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures
2020-01-01 Manna, Marco; Pieris, Andreas
Rethinking Answer Set Programming Templates
2024-01-01 Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica
A Semi-automatic Data Generator for Query Answering
2022-01-01 Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona
SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language
2024-01-01 Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele
Skipping the Storage Phase in Container Transshipment Operations
2018-01-01 Monaco, M. F.; Sammarra, M.
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
2022-01-01 Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Solving Problems in the Polynomial Hierarchy with ASP(Q)
2022-01-01 Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities
2022-01-01 Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica
Time-Scale Transformations: Effects on VaR models
2004-01-01 Lamantia, FABIO GIOVANNI; Ortobelli, S; Rachev, S.
Tree Projections: Hypergraph Games and Minimality
2008-01-01 Greco, Gianluigi; Scarcello, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Optimizing answer set computation via heuristic-based decomposition | 1-gen-2018 | Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica | |
Outlier Explanation Through Masking Models | 1-gen-2022 | Angiulli, F.; Fassetti, F.; Nistico', S.; Palopoli, L. | |
Paradoxes of the Infinite and Ontological Dilemmas Between Ancient Philosophy and Modern Mathematical Solutions | 1-gen-2020 | Caldarola, F.; Cortese, D.; D'Atri, G.; Maiolo, M. | |
Parallel Algorithms for Multifractal Analysis of River Networks | 1-gen-2019 | Primavera, L.; Florio, E. | |
Performance Management of Demand and Pressure Drive Analysis in a Monitored Water Distribution Network | 1-gen-2020 | Bonora, M. A.; Carini, M.; Capano, G.; Cotrona, R.; Pantusa, D.; Sousa, J.; Maiolo, M. | |
Pinpointing Axioms in Ontologies via ASP | 1-gen-2022 | Penaloza, R.; Ricca, F. | |
Preface | 1-gen-2022 | Gottlob, G.; Inclezan, D.; Maratea, M. | |
Preface | 1-gen-2016 | Adorni, G.; Cagnoni, S.; Gori, M.; Maratea, M. | |
Preface (LNCS volume 11973) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
Preface (LNCS volume 11974) | 1-gen-2020 | Sergeev, Y; Kvasov, D | |
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures | 1-gen-2020 | Manna, Marco; Pieris, Andreas | |
Rethinking Answer Set Programming Templates | 1-gen-2024 | Alviano, Mario; Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica | |
A Semi-automatic Data Generator for Query Answering | 1-gen-2022 | Angiulli, Fabrizio; Del Prete, Alessandra; Fassetti, Fabio; Nistico', Simona | |
SigIL: A Signature-Based Approach of Malware Detection on Intermediate Language | 1-gen-2024 | Fortino, Giancarlo; Greco, Claudia; Guzzo, Antonella; Ianni, Michele | |
Skipping the Storage Phase in Container Transshipment Operations | 1-gen-2018 | Monaco, M. F.; Sammarra, M. | |
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications | 1-gen-2022 | Reale, Kristian; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco | |
Solving Problems in the Polynomial Hierarchy with ASP(Q) | 1-gen-2022 | Amendola, Giovanni; Cuteri, Bernardo; Ricca, Francesco; Truszczynski, Mirek | |
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities | 1-gen-2022 | Calimeri, Francesco; Mastria, Elena; Perri, Simona; Zangari, Jessica | |
Time-Scale Transformations: Effects on VaR models | 1-gen-2004 | Lamantia, FABIO GIOVANNI; Ortobelli, S; Rachev, S. | |
Tree Projections: Hypergraph Games and Minimality | 1-gen-2008 | Greco, Gianluigi; Scarcello, Francesco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile