CASINI, GIOVANNI
CASINI, GIOVANNI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Preface to 19th European Conference on Logics in Artificial Intelligence, JELIA 2025
2026 Casini, G.; Dundua, B.; Kutsia, T.
InfraScience research activity report 2024
2025 Angioni, S.; Artini, M.; Assante, M.; Atzori, C.; Baglioni, M.; Bardi, A.; Bosio, C.; Bove, P.; Calanducci, A.; Candela, L.; Casini, G.; Castelli, D.; Cirillo, R.; Coro, G.; De Bonis, M.; Debole, F.; Dell'Amico, A.; Frosini, L.; Ibrahim, Ahmed Salah Tawfik; La Bruzzo, S.; Lelii, L.; Manghi, P.; Mangiacrapa, F.; Mangione, D.; Mannocci, A.; Molinaro, E.; Oliviero, A.; Pagano, P.; Panichi, G.; Teresa, M. T.; Pavone, G.; Peccerillo, B.; Piccioli, T.; Procaccini, M.; Straccia, U.; Vannini, G. L.; Versienti, L.
ISTI-day 2025 Proceedings
2025 Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Z.; Miori, V.; Tolomei, G.; Waheed, T.; Marchetti, E.; Calabrò, A.; Rossetti, G.; Stella, M.; Cazabet, R.; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Moreo, A.; Sebastiani, F.; Sperduti, G.; Nguyen, D.; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, G.; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, J.; Meyer, T.; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, D.; Di Giandomenico, F.; Jee, E.; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, G.
Semantic bridges between first order c-representations and cost-based semantics: an initial perspective
2025 Leisegang, N.; Casini, G.; Meyer, T.
Defeasible justification for KLM-style logic
2024 Chama, V.; Wang, S.; Meyer, T.; Casini, G.
Defeasible RDFS via rational closure
2023 Casini, G; Straccia, U
InfraScience research activity report 2023
2023 Artini, M.; Assante, M.; Atzori, C.; Baglioni, M.; Bardi, A.; Bosio, C.; Bove, P.; Calanducci, A.; Candela, L.; Casini, G.; Castelli, D.; Cirillo, R.; Coro, G.; De Bonis, M.; Debole, F.; Dell'Amico, A.; Frosini, L.; Ibrahim, A. S. T.; La Bruzzo, S.; Lelii, L.; Manghi, P.; Mangiacrapa, F.; Mangione, D.; Mannocci, A.; Molinaro, E.; Pagano, P.; Panichi, G.; Paratore, M. T.; Pavone, G.; Piccioli, T.; Sinibaldi, F.; Straccia, U.; Vannini, G. L.
Preface for the first Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering (ENIGMA-2023)
2023 Benferhat S.; Casini G.; Meyer T.; Tettamanzi A.G.B.
Revising typical beliefs: one revision to rule them all
2023 Heyninck J.; Casini G.; Meyer T.; Straccia U.
Situated conditional reasoning
2023 Casini, G; Meyer, T; Varzinczak, I
A general framework for modelling conditional reasoning - Preliminary report
2022 Casini G.; Straccia U.
A general framework for modelling conditional reasoning - Preliminary report
2022 Casini, G; Straccia, U
A minimal deductive system for RDFS with negative statements
2022 Straccia, U; Casini, G
A minimal deductive system for RDFS with negative statements
2022 Straccia, U.; Casini, G.
A rational entailment for expressive description logics via description logic programs
2022 Casini G.; Straccia U.
Defeasible reasoning in RDFS
2022 Casini, G; Straccia, U
Handbook of legal AI
2022 Casini G.; Robaldo L.; van der Torre L.; Villata S.
InfraScience research activity report 2021
2022 Artini, M; Assante, M; Atzori, C; Baglioni, M; Bardi, A; Bove, P; Candela, L; Casini, G; Castelli, D; Cirillo, R; Coro, G; De Bonis, M; Debole, F; Dell'Amico, A; Frosini, L; La Bruzzo, S; Lazzeri, E; Lelii, L; Manghi, P; Mangiacrapa, F; Mangione, D; Mannocci, A; Ottonello, E; Pagano, P; Panichi, G; Pavone, G; Piccioli, T; Sinibaldi, F; Straccia, U
InfraScience research activity report 2022
2022 Artini, M; Assante, M; Atzori, C; Baglioni, M; Bardi, A; Bove, P; Candela, L; Casini, G; Castelli, D; Cirillo, R; Coro, G; De Bonis, M; Debole, F; Dell'Amico, A; Frosini, L; La Bruzzo, S; Lelii, L; Manghi, P; Mangiacrapa, F; Mangione, D; Mannocci, A; Ottonello, E; Pagano, P; Panichi, G; Pavone, G; Piccioli, T; Sinibaldi, F; Straccia, U; Zoppi, F
KLM-style defeasibility for restricted first-order logic
2022 Casini, G; Meyer, T; Patersonjones, G; Varzinczak, I
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Preface to 19th European Conference on Logics in Artificial Intelligence, JELIA 2025 | 1-gen-2026 | Casini, G.; Dundua, B.; Kutsia, T. | |
| InfraScience research activity report 2024 | 1-gen-2025 | Angioni, S.; Artini, M.; Assante, M.; Atzori, C.; Baglioni, M.; Bardi, A.; Bosio, C.; Bove, P.; Calanducci, A.; Candela, L.; Casini, G.; Castelli, D.; Cirillo, R.; Coro, G.; De Bonis, M.; Debole, F.; Dell'Amico, A.; Frosini, L.; Ibrahim, Ahmed Salah Tawfik; La Bruzzo, S.; Lelii, L.; Manghi, P.; Mangiacrapa, F.; Mangione, D.; Mannocci, A.; Molinaro, E.; Oliviero, A.; Pagano, P.; Panichi, G.; Teresa, M. T.; Pavone, G.; Peccerillo, B.; Piccioli, T.; Procaccini, M.; Straccia, U.; Vannini, G. L.; Versienti, L. | |
| ISTI-day 2025 Proceedings | 1-gen-2025 | Del Corso, G.; Pedrotti, A.; Federico, G.; Gennaro, C.; Carrara, F.; Amato, G.; Di Benedetto, M.; Gabrielli, E.; Belli, D.; Matrullo, Z.; Miori, V.; Tolomei, G.; Waheed, T.; Marchetti, E.; Calabrò, A.; Rossetti, G.; Stella, M.; Cazabet, R.; Abramski, K.; Cau, E.; Citraro, S.; Failla, A.; Mesina, V.; Morini, V.; Pansanella, V.; Colantonio, S.; Germanese, D.; Pascali, M. A.; Bianchi, L.; Messina, N.; Falchi, F.; Barsellotti, L.; Pacini, G.; Cassese, M.; Puccetti, G.; Esuli, A.; Volpi, L.; Moreo, A.; Sebastiani, F.; Sperduti, G.; Nguyen, D.; Broccia, G.; Ter Beek, M. H.; Ferrari, A.; Massink, M.; Belmonte, G.; Ciancia, V.; Papini, O.; Canapa, G.; Catricala', B.; Manca, M.; Paterno', F.; Santoro, C.; Zedda, E.; Gallo, S.; Maenza, S.; Mattioli, A.; Simeoli, L.; Rucci, D.; Carlini, E.; Dazzi, P.; Kavalionak, H.; Mordacchini, M.; Rulli, C.; Muntean, CRISTINA-IOANA; Nardini, F. M.; Perego, R.; Rocchietti, G.; Lettich, F.; Renso, C.; Pugliese, C.; Casini, G.; Haldimann, J.; Meyer, T.; Assante, M.; Candela, L.; Dell'Amico, A.; Frosini, L.; Mangiacrapa, F.; Oliviero, A.; Pagano, P.; Panichi, G.; Peccerillo, B.; Procaccini, M.; Mannocci, A.; Manghi, P.; Lonetti, F.; Kang, D.; Di Giandomenico, F.; Jee, E.; Lazzini, G.; Conti, F.; Scopigno, R.; D'Acunto, M.; Moroni, D.; Cafiso, M.; Paradisi, P.; Callieri, M.; Pavoni, G.; Corsini, M.; De Falco, A.; Sala, F.; Saraceni, Q.; Gattiglia, G. | |
| Semantic bridges between first order c-representations and cost-based semantics: an initial perspective | 1-gen-2025 | Leisegang, N.; Casini, G.; Meyer, T. | |
| Defeasible justification for KLM-style logic | 1-gen-2024 | Chama, V.; Wang, S.; Meyer, T.; Casini, G. | |
| Defeasible RDFS via rational closure | 1-gen-2023 | Casini, G; Straccia, U | |
| InfraScience research activity report 2023 | 1-gen-2023 | Artini, M.; Assante, M.; Atzori, C.; Baglioni, M.; Bardi, A.; Bosio, C.; Bove, P.; Calanducci, A.; Candela, L.; Casini, G.; Castelli, D.; Cirillo, R.; Coro, G.; De Bonis, M.; Debole, F.; Dell'Amico, A.; Frosini, L.; Ibrahim, A. S. T.; La Bruzzo, S.; Lelii, L.; Manghi, P.; Mangiacrapa, F.; Mangione, D.; Mannocci, A.; Molinaro, E.; Pagano, P.; Panichi, G.; Paratore, M. T.; Pavone, G.; Piccioli, T.; Sinibaldi, F.; Straccia, U.; Vannini, G. L. | |
| Preface for the first Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering (ENIGMA-2023) | 1-gen-2023 | Benferhat S.; Casini G.; Meyer T.; Tettamanzi A.G.B. | |
| Revising typical beliefs: one revision to rule them all | 1-gen-2023 | Heyninck J.; Casini G.; Meyer T.; Straccia U. | |
| Situated conditional reasoning | 1-gen-2023 | Casini, G; Meyer, T; Varzinczak, I | |
| A general framework for modelling conditional reasoning - Preliminary report | 1-gen-2022 | Casini G.; Straccia U. | |
| A general framework for modelling conditional reasoning - Preliminary report | 1-gen-2022 | Casini, G; Straccia, U | |
| A minimal deductive system for RDFS with negative statements | 1-gen-2022 | Straccia, U; Casini, G | |
| A minimal deductive system for RDFS with negative statements | 1-gen-2022 | Straccia, U.; Casini, G. | |
| A rational entailment for expressive description logics via description logic programs | 1-gen-2022 | Casini G.; Straccia U. | |
| Defeasible reasoning in RDFS | 1-gen-2022 | Casini, G; Straccia, U | |
| Handbook of legal AI | 1-gen-2022 | Casini G.; Robaldo L.; van der Torre L.; Villata S. | |
| InfraScience research activity report 2021 | 1-gen-2022 | Artini, M; Assante, M; Atzori, C; Baglioni, M; Bardi, A; Bove, P; Candela, L; Casini, G; Castelli, D; Cirillo, R; Coro, G; De Bonis, M; Debole, F; Dell'Amico, A; Frosini, L; La Bruzzo, S; Lazzeri, E; Lelii, L; Manghi, P; Mangiacrapa, F; Mangione, D; Mannocci, A; Ottonello, E; Pagano, P; Panichi, G; Pavone, G; Piccioli, T; Sinibaldi, F; Straccia, U | |
| InfraScience research activity report 2022 | 1-gen-2022 | Artini, M; Assante, M; Atzori, C; Baglioni, M; Bardi, A; Bove, P; Candela, L; Casini, G; Castelli, D; Cirillo, R; Coro, G; De Bonis, M; Debole, F; Dell'Amico, A; Frosini, L; La Bruzzo, S; Lelii, L; Manghi, P; Mangiacrapa, F; Mangione, D; Mannocci, A; Ottonello, E; Pagano, P; Panichi, G; Pavone, G; Piccioli, T; Sinibaldi, F; Straccia, U; Zoppi, F | |
| KLM-style defeasibility for restricted first-order logic | 1-gen-2022 | Casini, G; Meyer, T; Patersonjones, G; Varzinczak, I |