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.
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 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.
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.
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
A compiler for stratified Datalog programs: preliminary results
2017-01-01 Cuteri, Bernardo; Ricca, Francesco
Computational strategies for trust-aware abstract argumentation frameworks
2020-01-01 Fazzinga, B.; Flesca, S.; Furfaro, 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. | |
| 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 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. | |
| 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. | |
| Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics | 1-gen-2023 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| A compiler for stratified Datalog programs: preliminary results | 1-gen-2017 | Cuteri, Bernardo; Ricca, Francesco | |
| Computational strategies for trust-aware abstract argumentation frameworks | 1-gen-2020 | Fazzinga, B.; Flesca, S.; Furfaro, 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