Sfoglia per Serie
On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance
2018-01-01 D'Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea
On the Incremental Computation of Argumentation Frameworks
2018-01-01 Alfano, Gianvincenzo; Greco, Sergio
On the semantics of recursive bipolar AFs and partial stable models
2020-01-01 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
On the Verification and Existence Problems in Epistemic Argumentation Framework
2023-01-01 Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I.
On Weak Constrained Argumentation Frameworks
2021-01-01 Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I.
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria
2023-01-01 Scanu, M.; Mochi, M.; Dodaro, C.; Galata, G.; Maratea, M.
An overview of ASP applications in the health-care domain
2018-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Porro, I.
Panel on "Past and Future of Computer Science Theory" (Discussion Paper)
2021-01-01 Fagin, Ronald; Gottlob, Georg; Papadimitriou, Christos H.; Vardi, Moshe Y.; Ausiello, Giorgio; Lenzerini, Maurizio; Saccà, Domenico; Palopoli, Luigi; Scarcello, Francesco
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images
2022-01-01 Scarfone, M.; Bruno, P.; Calimeri, F.
Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations
2015-01-01 Gottlob, Georg; Manna, Marco; Pieris, Andreas
Preface
2018-01-01 Oliveira, J.; De Farias, C. M.; Fortino, G.
Preface
2015-01-01 Cortellessa, G.; Magazzeni, D.; Maratea, M.; Serina, I.
Preface
2019-01-01 Alviano, M.; Greco, G.; Maratea, M.; Scarcello, F.
Preface
2021-01-01 Benedictis, R. D.; Maratea, M.; Micheli, A.; Scala, E.; Serina, I.; Vallati, M.; Umbrico, A.
Preface
2022-01-01 De Benedictis, R.; Gatti, N.; Maratea, M.; Micheli, A.; Murano, A.; Scala, E.; Serafini, L.; Serina, I.; Umbrico, A.; Vallati, M.
Preface
2016-01-01 Bistarelli, S.; Formisano, A.; Maratea, M.
Preface
2017-01-01 Maratea, M.; Serina, I.
Preface-AI & IoT 2019
2019-01-01 Savaglio, C.; Ciatto, G.; Omicini, A.; Fortino, G.
Preference-based inconsistency-tolerant query answering under existential rules
2021-01-01 Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the importance of simulation in enabling continuous delivery and evaluating deployment pipeline performance | 1-gen-2018 | D'Ambrogio, Andrea; Falcone, Alberto; Garro, Alfredo; Giglio, Andrea | |
| On the Incremental Computation of Argumentation Frameworks | 1-gen-2018 | Alfano, Gianvincenzo; Greco, Sergio | |
| On the semantics of recursive bipolar AFs and partial stable models | 1-gen-2020 | Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I. | |
| On the Verification and Existence Problems in Epistemic Argumentation Framework | 1-gen-2023 | Alfano, G.; Greco, S.; Mandaglio, D.; Parisi, F.; Trubitsyna, I. | |
| On Weak Constrained Argumentation Frameworks | 1-gen-2021 | Alfano, G.; Greco, S.; Parisi, F.; Trubitsyna, I. | |
| Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria | 1-gen-2023 | Scanu, M.; Mochi, M.; Dodaro, C.; Galata, G.; Maratea, M. | |
| An overview of ASP applications in the health-care domain | 1-gen-2018 | Dodaro, C.; Galata, G.; Maratea, M.; Porro, I. | |
| Panel on "Past and Future of Computer Science Theory" (Discussion Paper) | 1-gen-2021 | Fagin, Ronald; Gottlob, Georg; Papadimitriou, Christos H.; Vardi, Moshe Y.; Ausiello, Giorgio; Lenzerini, Maurizio; Saccà, Domenico; Palopoli, Luigi; Scarcello, Francesco | |
| A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images | 1-gen-2022 | Scarfone, M.; Bruno, P.; Calimeri, F. | |
| Polynomial combined rewritings for linear existential rules and DL-Lite with n-ary relations | 1-gen-2015 | Gottlob, Georg; Manna, Marco; Pieris, Andreas | |
| Preface | 1-gen-2018 | Oliveira, J.; De Farias, C. M.; Fortino, G. | |
| Preface | 1-gen-2015 | Cortellessa, G.; Magazzeni, D.; Maratea, M.; Serina, I. | |
| Preface | 1-gen-2019 | Alviano, M.; Greco, G.; Maratea, M.; Scarcello, F. | |
| Preface | 1-gen-2021 | Benedictis, R. D.; Maratea, M.; Micheli, A.; Scala, E.; Serina, I.; Vallati, M.; Umbrico, A. | |
| Preface | 1-gen-2022 | De Benedictis, R.; Gatti, N.; Maratea, M.; Micheli, A.; Murano, A.; Scala, E.; Serafini, L.; Serina, I.; Umbrico, A.; Vallati, M. | |
| Preface | 1-gen-2016 | Bistarelli, S.; Formisano, A.; Maratea, M. | |
| Preface | 1-gen-2017 | Maratea, M.; Serina, I. | |
| Preface-AI & IoT 2019 | 1-gen-2019 | Savaglio, C.; Ciatto, G.; Omicini, A.; Fortino, G. | |
| Preference-based inconsistency-tolerant query answering under existential rules | 1-gen-2021 | Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I. | |
| Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics | 1-gen-2023 | Alviano, M.; Giordano, L.; Dupre, D. T. |
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