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.
Agents in Software Development Architectures
2023-01-01 Loaiza, M.; Savaglio, C.; Arijo, N. H.; Aloi, G.; Fortino, G.; Gravina, R.
AI and videogames: a “drosophila” for declarative methods
2022-01-01 Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L.
AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights
2024-01-01 Adornetto, C.; Bruno, P.; Calimeri, F.; De Rose, E.; Greco, G.; Quarta, A.
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 and Large Language Models interaction with YAML: Preliminary Report
2024-01-01 Alviano, M.; Grillo, L.
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.
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors
2024-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.; Monterosso, G.; Trubitsyna, 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.
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. | |
Agents in Software Development Architectures | 1-gen-2023 | Loaiza, M.; Savaglio, C.; Arijo, N. H.; Aloi, G.; Fortino, G.; Gravina, R. | |
AI and videogames: a “drosophila” for declarative methods | 1-gen-2022 | Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L. | |
AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights | 1-gen-2024 | Adornetto, C.; Bruno, P.; Calimeri, F.; De Rose, E.; Greco, G.; Quarta, A. | |
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 and Large Language Models interaction with YAML: Preliminary Report | 1-gen-2024 | Alviano, M.; Grillo, L. | |
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. | |
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors | 1-gen-2024 | Fazzinga, B.; Flesca, S.; Furfaro, F.; Monterosso, G.; Trubitsyna, 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. |
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