CNR Institutional Research Information System

CASINI, GIOVANNI

CASINI, GIOVANNI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
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
Normative change: an AGM approach 1-gen-2022 Maranhão, Jsa; Casini, G; van der Torre, L; Pigozzi, G
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) 1-gen-2022 Arieli O.; Casini G.; Giordano L.
Situated conditionals - A brief introduction 1-gen-2022 Casini, G; Meyer, T; Varzinczak, I
A rational entailment for expressive description logics via description logic programs 1-gen-2021 Casini, G; Straccia, U