Source: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)https://amu.hal.science/hal-0445735632nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Resolution Calculi for Non-normal Modal Logics ; Resolution Calculi for Non-normal Modal Logics: A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus

Authors : Pattinson, Dirk; Nalon, Cláudia; Olivetti, Nicola ...

Subjects: Intuitionistic Modal Logic; Axiomatization; CompletenessPrague (Czech Republic); Czech Republic

Source: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023 ; https://amu.hal.science/hal-04457384 ; Automated Reasoning with Analytic Tableaux and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Analytic proof theory for Åqvist's system F

Authors : Ciabattoni, Agata; Olivetti, Nicola; Parent, Xavier ...

Subjects: Dyadic deontic logic; analytic sequent calculi; hypersequentsTrois RivieresTrois Rivieres, Canada, Canada

Source: Deontic Logic and Normative Systems - 16th International Conference, DEON 2023 ; https://amu.hal.science/hal-04457336 ; Deontic Logic and Normative Systems - 16th International Conference, DEON 2023,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning

Authors : Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola ...

Subjects: [INFO]Computer Science [cs]

Source: ISSN: 0955-792X.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Theorem Proving for Non-normal Modal Logics

Authors : Dalmonte, Tiziano; Negri, Sara; Olivetti, Nicola ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Udine; Italy

Source: OVERLAY 2020 ; https://hal.science/hal-03159954 ; OVERLAY 2020, Sep 2021, Udine, Italy

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Terminating Calculi and Countermodels for Constructive Modal Logics

Authors : Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola ...

Subjects: [INFO]Computer Science [cs]Birmingham; United Kingdom

Source: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021 ; https://amu.hal.science/hal-03518430 ; Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Proof systems for the logics of bringing-it-about

Authors : Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola ...

Subjects: Logic of agency; logic of ability; coalition logicMunich; Germany

Source: 15th International Conference on Deontic Logic and Normative Systems DEON 2020/2021https://hal.science/hal-0352086915th International Conference on Deontic Logic and Normative Systems DEON

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Theorem proving for Lewis Logics of Counterfactual Reasoning

Authors : Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola ...

Subjects: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Rende / Virtual; Italy

Source: CILC 2020 - 35th Edition of the Italian Conference on Computational Logic ; https://hal.science/hal-03080670 ; CILC 2020 - 35th Edition of the Italian Conference on Computational Logic, Oct 2020,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Book

Reasoning About Typicality and Probabilities in Preferential Description Logics

Authors : Giordano, Laura; Gliozzi, Valentina; Lieto, Antonio ...

Subjects: Nonmonotonic Reasoning; Description Logics; Probabilistic Reasoning

Source: Applications and Practices in Ontology Design, Extraction, and Reasoning ; https://hal.science/hal-03599187 ; Giuseppe Cota; Marilena Daquino; Gian Luca Pozzato. Applications and Practices in Ontology

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (System Description)

Authors : Dalmonte, Tiziano; Olivetti, Nicola; Pozzato, Gian Luca ...

Subjects: Non-normal modal logics; Hypersequent calculi; PrologParis; France

Source: Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, ; IJCAR 2020 ; https://hal.science/hal-03159950 ; IJCAR 2020, Jul 2020, Paris,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي