Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Abstract Answer Set Solvers for Cautious Reasoning
2015-01-01 Brochenin, Remi; Maratea, Marco
Agents, web services and ontologies, integrated methodologies, MALLOW-AWESOME'009
2009-01-01 Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Mascardi, Viviana
AI for Zero-Touch Management of Satellite Networks in B5G and 6G Infrastructures
2022-01-01 Galli, A.; Giardina, P.; Guta, M.; Lossi, L.; Mancina, A.; Moscato, V.; Patrone, F.; Roseti, C.; Romano, S. P.; Sperli, G.; Zampognaro, F.
Are you (Google) home? Detecting users’ presence through traffic analysis of smart speakers
2020-01-01 Caputo, D.; Verderame, L.; Merlo, A.; Ranieri, A.; Caviglione, L.
An ASP-based Approach to Master Surgical Scheduling.
2022-01-01 Cadermatori, Linda; Galatà, Giuseppe; Lo Monaco, Carola; Maratea, Marco; Mochi, Marco; Schouten, Marco
Blended and Hybrid Learning:what kind of integration is possible?
2021-01-01 Arsena, A; Scarinci, A
Building VECM-based Systems with a Model Driven Approach: an Experience Report
2011-01-01 Leotta, Maurizio; Reggio, Gianna; Ricca, Filippo; Astesiano, Egidio
Capture the Flag competitions for Higher Education
2021-01-01 Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro
Chemotherapy Treatment Scheduling via Answer Set Programming
2020-01-01 Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan
A Cloud Architecture for Emotion Recognition Based on the Appraisal Theory
2023-01-01 Demutti, M.; D'Amato, V.; Recchiuto, C.; Oneto, L.; Sgorbissa, A.
Cloud Services for Social Robots and Artificial Agents
2022-01-01 Grassi, Lucrezia; Recchiuto, C.; Sgorbissa, A.
CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra
2016-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Coherence, similarity, and concept generalisation
2017-01-01 Confalonieri, R.; Kutz, O.; Galliani, P.; Penaloza, R.; Porello, D.; Schorlemmer, M.; Troquard, N.
Computational Logic in Genova
2008-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Computing answer sets of a logic program via-enumeration of SAT certificates
2003-01-01 Lierler, Yuliya; Maratea, Marco
Concept combination inweighted logic
2021-01-01 Righetti, G.; Masolo, C.; Troquard, N.; Kutz, O.; Porello, D.
Context Aware Source Selection for Linked Data
2018-01-01 Catania, Barbara; Guerrini, Giovanna; Yaman, Beyza
Contexts in Philosophy
2017-01-01 Penco, Carlo; Vignolo, Massimiliano
A core ontology on decision making
2020-01-01 Guizzardi, R.; Carneiro, B. G.; Porello, D.; Guizzardi, G.
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Answer Set Solvers for Cautious Reasoning | 1-gen-2015 | Brochenin, Remi; Maratea, Marco | |
| Agents, web services and ontologies, integrated methodologies, MALLOW-AWESOME'009 | 1-gen-2009 | Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Mascardi, Viviana | |
| AI for Zero-Touch Management of Satellite Networks in B5G and 6G Infrastructures | 1-gen-2022 | Galli, A.; Giardina, P.; Guta, M.; Lossi, L.; Mancina, A.; Moscato, V.; Patrone, F.; Roseti, C.; Romano, S. P.; Sperli, G.; Zampognaro, F. | |
| Are you (Google) home? Detecting users’ presence through traffic analysis of smart speakers | 1-gen-2020 | Caputo, D.; Verderame, L.; Merlo, A.; Ranieri, A.; Caviglione, L. | |
| An ASP-based Approach to Master Surgical Scheduling. | 1-gen-2022 | Cadermatori, Linda; Galatà, Giuseppe; Lo Monaco, Carola; Maratea, Marco; Mochi, Marco; Schouten, Marco | |
| Blended and Hybrid Learning:what kind of integration is possible? | 1-gen-2021 | Arsena, A; Scarinci, A | |
| Building VECM-based Systems with a Model Driven Approach: an Experience Report | 1-gen-2011 | Leotta, Maurizio; Reggio, Gianna; Ricca, Filippo; Astesiano, Egidio | |
| Capture the Flag competitions for Higher Education | 1-gen-2021 | Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro | |
| Chemotherapy Treatment Scheduling via Answer Set Programming | 1-gen-2020 | Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan | |
| A Cloud Architecture for Emotion Recognition Based on the Appraisal Theory | 1-gen-2023 | Demutti, M.; D'Amato, V.; Recchiuto, C.; Oneto, L.; Sgorbissa, A. | |
| Cloud Services for Social Robots and Artificial Agents | 1-gen-2022 | Grassi, Lucrezia; Recchiuto, C.; Sgorbissa, A. | |
| CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra | 1-gen-2016 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| Coherence, similarity, and concept generalisation | 1-gen-2017 | Confalonieri, R.; Kutz, O.; Galliani, P.; Penaloza, R.; Porello, D.; Schorlemmer, M.; Troquard, N. | |
| Computational Logic in Genova | 1-gen-2008 | Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio | |
| Computing answer sets of a logic program via-enumeration of SAT certificates | 1-gen-2003 | Lierler, Yuliya; Maratea, Marco | |
| Concept combination inweighted logic | 1-gen-2021 | Righetti, G.; Masolo, C.; Troquard, N.; Kutz, O.; Porello, D. | |
| Context Aware Source Selection for Linked Data | 1-gen-2018 | Catania, Barbara; Guerrini, Giovanna; Yaman, Beyza | |
| Contexts in Philosophy | 1-gen-2017 | Penco, Carlo; Vignolo, Massimiliano | |
| A core ontology on decision making | 1-gen-2020 | Guizzardi, R.; Carneiro, B. G.; Porello, D.; Guizzardi, G. | |
| Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. |
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