Sfoglia per Serie
Preface
2019-01-01 Alviano, M.; Greco, G.; Maratea, M.; Scarcello, F.
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
2021-01-01 Benedictis, R. D.; Maratea, M.; Micheli, A.; Scala, E.; Serina, I.; Vallati, M.; Umbrico, A.
Preface
2015-01-01 Cortellessa, G.; Magazzeni, D.; 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.
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
A Preliminary Evaluation of a Privacy-Preserving Dialogue System
2021-01-01 Fazzinga, B.; Galassi, A.; Torroni, P.
Probabilistic Answers over Inconsistent Knowledge Bases
2020-01-01 Calautti, M.; Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), Torino, Italy, October 22, 2018
2019-01-01 Cuzzocrea, Alfredo Massimiliano; Bonchi, Francesco; Gunopulos, Dimitrios
Querying cultural heritage knowledge bases in natural language: Discussion paper
2019-01-01 Cuteri, B.; Reale, K.; Ricca, F.
Querying Data Exchange Settings beyond Positive Queries
2022-01-01 Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, G.; Leone, N.; Manna, M.
Querying large expressive horn ontologies
2019-01-01 Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J.
Random models of very hard 2QBF and disjunctive programs: An overview
2018-01-01 Amendola, G.; Ricca, F.; Truszczynski, M.
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study
2018-01-01 Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
A reputation mechanism to support cooperation of IoT devices
2019-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.
Scheduling Periodic Treatments via Answer Set Programming
2023-01-01 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Preface | 1-gen-2019 | Alviano, M.; Greco, G.; Maratea, M.; Scarcello, F. | |
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-2021 | Benedictis, R. D.; Maratea, M.; Micheli, A.; Scala, E.; Serina, I.; Vallati, M.; Umbrico, A. | |
Preface | 1-gen-2015 | Cortellessa, G.; Magazzeni, D.; 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. | |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases | 1-gen-2023 | Alviano, M.; Giordano, L.; Dupre, D. T. | |
A Preliminary Evaluation of a Privacy-Preserving Dialogue System | 1-gen-2021 | Fazzinga, B.; Galassi, A.; Torroni, P. | |
Probabilistic Answers over Inconsistent Knowledge Bases | 1-gen-2020 | Calautti, M.; Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I. | |
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), Torino, Italy, October 22, 2018 | 1-gen-2019 | Cuzzocrea, Alfredo Massimiliano; Bonchi, Francesco; Gunopulos, Dimitrios | |
Querying cultural heritage knowledge bases in natural language: Discussion paper | 1-gen-2019 | Cuteri, B.; Reale, K.; Ricca, F. | |
Querying Data Exchange Settings beyond Positive Queries | 1-gen-2022 | Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I. | |
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again | 1-gen-2017 | Amendola, G.; Leone, N.; Manna, M. | |
Querying large expressive horn ontologies | 1-gen-2019 | Allocca, C.; Alviano, M.; Calimeri, F.; Civili, C.; Costabile, R.; Cuteri, B.; Fiorentino, A.; Fusca, D.; Germano, S.; Laboccetta, G.; Leone, N.; Manna, M.; Perri, S.; Reale, K.; Ricca, F.; Veltri, P.; Zangari, J. | |
Random models of very hard 2QBF and disjunctive programs: An overview | 1-gen-2018 | Amendola, G.; Ricca, F.; Truszczynski, M. | |
Re-engineering IoT systems through ACOSO-Meth: The IETF CoRE based agent framework case study | 1-gen-2018 | Savaglio, C.; Leppänen, T.; Russo, W.; Riekki, J.; Fortino, G. | |
Reasoning about Smart Contracts via LTL Encoding | 1-gen-2022 | Fionda, V.; Greco, G.; Mastratisi, M. A. | |
A reputation mechanism to support cooperation of IoT devices | 1-gen-2019 | Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L. | |
Scheduling Periodic Treatments via Answer Set Programming | 1-gen-2023 | Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M. |
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