Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Active Integrity Constraints with Existential Quantification
2022-01-01 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Activity daily living prediction with marked temporal point processes
2021-01-01 Fortino, G.; Guzzo, A.; Ianni, M.; Leotta, F.; Mecella, M.
Advancements in xASP, an XAI System for Answer Set Programming
2023-01-01 Alviano, M.; Trieu, L. L.; Son, T.; Balduccini, M.
AI and videogames: a “drosophila” for declarative methods
2022-01-01 Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L.
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results
2021-01-01 Ielo, Antonio; Ricca, Francesco
Answer set programming in healthcare: Extended overview
2020-01-01 Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M.
An Application of ASP for Procedural Content Generation in Video Games
2022-01-01 De Seta, A.; Alviano, M.
An approach to decision support in heart failure
2008-01-01 Colantonio, S.; Martinelli, M.; Moroni, D.; Salvetti, O.; Perticone, F.; Sciacqua, A.; Conforti, D.; Gualtieri, A.
Approximate Functional Dependencies for XML Data
2007-01-01 Fassetti, Fabio; Fazzinga, B.
Approximate Query Answering over Inconsistent Knowledge Bases
2018-01-01 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Argumentation meets Process Mining: An architecture for log interpretation
2021-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.; Pontieri, L.
Artificial Intelligence in Medicine: From Imaging to Omics
2023-01-01 Adornetto, Carlo; Bruno, Pierangela; Calimeri, Francesco; DE ROSE, Edoardo; Greco, Gianluigi
An ASP based solution for operating room scheduling with surgical teams in hospital environments
2020-01-01 Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I.
An ASP-based solution to the Operating Room Scheduling with care units
2021-01-01 Galata, G.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.
Augmented reality for the enhancement of archaeological heritage: A Calabrian experience
2019-01-01 Berlino, A.; Caroprese, L.; La Marca, A.; Vocaturo, E.; Zumpano, E.
Case studies for a new IoT programming paradigm: Fluidware
2019-01-01 Mariani, S.; Casadei, R.; Fornari, F.; Fortino, G.; Pianini, D.; Re, B.; Russo, W.; Savaglio, C.; Viroli, M.; Zambonelli, F.
Chemotherapy treatment scheduling via answer set programming
2020-01-01 Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Combining Semantic Web search with the power of inductive reasoning
2009-01-01 D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Compilation of aggregates in ASP: Preliminary results
2020-01-01 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
Compilation of ASP programs: Recent developments
2023-01-01 Dodaro, C.; Mazzotta, G.; Ricca, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Active Integrity Constraints with Existential Quantification | 1-gen-2022 | Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E. | |
| Activity daily living prediction with marked temporal point processes | 1-gen-2021 | Fortino, G.; Guzzo, A.; Ianni, M.; Leotta, F.; Mecella, M. | |
| Advancements in xASP, an XAI System for Answer Set Programming | 1-gen-2023 | Alviano, M.; Trieu, L. L.; Son, T.; Balduccini, M. | |
| AI and videogames: a “drosophila” for declarative methods | 1-gen-2022 | Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L. | |
| Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results | 1-gen-2021 | Ielo, Antonio; Ricca, Francesco | |
| Answer set programming in healthcare: Extended overview | 1-gen-2020 | Alviano, M.; Bertolucci, R.; Cardellini, M.; Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I.; Schouten, M. | |
| An Application of ASP for Procedural Content Generation in Video Games | 1-gen-2022 | De Seta, A.; Alviano, M. | |
| An approach to decision support in heart failure | 1-gen-2008 | Colantonio, S.; Martinelli, M.; Moroni, D.; Salvetti, O.; Perticone, F.; Sciacqua, A.; Conforti, D.; Gualtieri, A. | |
| Approximate Functional Dependencies for XML Data | 1-gen-2007 | Fassetti, Fabio; Fazzinga, B. | |
| Approximate Query Answering over Inconsistent Knowledge Bases | 1-gen-2018 | Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina | |
| Argumentation meets Process Mining: An architecture for log interpretation | 1-gen-2021 | Fazzinga, B.; Flesca, S.; Furfaro, F.; Pontieri, L. | |
| Artificial Intelligence in Medicine: From Imaging to Omics | 1-gen-2023 | Adornetto, Carlo; Bruno, Pierangela; Calimeri, Francesco; DE ROSE, Edoardo; Greco, Gianluigi | |
| An ASP based solution for operating room scheduling with surgical teams in hospital environments | 1-gen-2020 | Dodaro, C.; Galata, G.; Khan, M. K.; Maratea, M.; Porro, I. | |
| An ASP-based solution to the Operating Room Scheduling with care units | 1-gen-2021 | Galata, G.; Maratea, M.; Mochi, M.; Morozan, V.; Porro, I. | |
| Augmented reality for the enhancement of archaeological heritage: A Calabrian experience | 1-gen-2019 | Berlino, A.; Caroprese, L.; La Marca, A.; Vocaturo, E.; Zumpano, E. | |
| Case studies for a new IoT programming paradigm: Fluidware | 1-gen-2019 | Mariani, S.; Casadei, R.; Fornari, F.; Fortino, G.; Pianini, D.; Re, B.; Russo, W.; Savaglio, C.; Viroli, M.; Zambonelli, F. | |
| Chemotherapy treatment scheduling via answer set programming | 1-gen-2020 | Dodaro, C.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I. | |
| Combining Semantic Web search with the power of inductive reasoning | 1-gen-2009 | D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T. | |
| Compilation of aggregates in ASP: Preliminary results | 1-gen-2020 | Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F. | |
| Compilation of ASP programs: Recent developments | 1-gen-2023 | Dodaro, C.; Mazzotta, G.; Ricca, F. |
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