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 31 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A boolean extension of KLM-Style conditional reasoning 1-gen-2020 Patersonjones, G; Casini, G; Meyer, T
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.
A rational entailment for expressive description logics via description logic programs 1-gen-2021 Casini, G; Straccia, U
BKLM - An expressive logic for defeasible reasoning 1-gen-2020 Patersonjones, G; Casini, G; Meyer, T
Contextual conditional reasoning 1-gen-2021 Casini, G; Meyer, T; Varzinczak, I
Defeasible RDFS via rational closure 1-gen-2020 Casini G.; Straccia U.
Defeasible RDFS via rational closure 1-gen-2023 Casini G.; Straccia U.
Defeasible reasoning in RDFS 1-gen-2022 Casini, G; Straccia, U
Guest editorial Special Issue: Mining and Reasoning with Legal Texts 1-gen-2021 Robaldo L; van der Torre L.; Casini G.; Villata S.
Handbook of legal AI 1-gen-2022 Casini G.; Robaldo L.; van der Torre L.; Villata S.
InfraScience Research Activity Report 2020 1-gen-2021 Artini, M; Assante, M; Atzori, C; Baglioni, M; Bardi, A; Candela, L; Casini, G; Castelli, D; Cirillo, R; Coro, G; Debole, F; Dell'Amico, A; Frosini, L; La Bruzzo, S; Lazzeri, E; Lelii, L; Manghi, P; Mangiacrapa, F; Mannocci, A; Pagano, P; Panichi, G; Piccioli, T; Sinibaldi, F; Straccia, U
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
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.
KLM-style defeasibility for restricted first-order logic 1-gen-2022 Casini, G; Meyer, T; Patersonjones, G; Varzinczak, I
KLM-style defeasibility for restricted first-order logic 1-gen-2021 Casini, G; Meyer, T; Patersonjones, G