IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

FIORENTINI, CAMILLO

FIORENTINI, CAMILLO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.001 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic 2024 Fiorentini, CamilloFerrari, Mauro Article (author) -
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 2024 Fiorentini, CamilloFerrari, Mauro Book Part (author) -
A New Approach to Clausification for Intuitionistic Propositional Logic 2023 C. Fiorentini + Book Part (author) -
SAT-Based Proof Search in Intermediate Propositional Logics 2022 Camillo FiorentiniMauro Ferrari Book Part (author) -
Forward refutation for Gödel-Dummett Logics 2022 C. Fiorentini + Book Part (author) -
A forward internal calculus for model generation in S4 2021 Fiorentini, CamilloFerrari, Mauro Article (author) -
Efficient SAT-based Proof Search in Intuitionistic Propositional Logic 2021 Fiorentini Book Part (author) -
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 2020 C. FiorentiniM. Ferrari Book Part (author) -
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 2020 C. FiorentiniM. Ferrari Book Part (author) -
Reasoning on Information Term Semantics with ASP for Constructive ELꓕ 2020 C. Fiorentini + Book Part (author) -
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) 2020 C. Fiorentini + Book Part (author) -
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 2020 Fiorentini, CamilloFerrari, Mauro Article (author) -
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic 2019 Fiorentini, Camillo + Book Part (author) -
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic 2019 Fiorentini, Camillo Book Part (author) -
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic 2019 C. Fiorentini + Article (author) -
From Constructivism to Logic Programming: an Homage to Mario Ornaghi 2018 Fiorentini, CamilloMomigliano, Alberto + Article (author) -
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 2018 C. FiorentiniA. Momigliano + Journal volume (editor) -
Forward countermodel construction in modal Logic K 2018 C. Fiorentini + Book Part (author) -
JTabWb : a Java framework for implementing terminating sequent and tableau calculi 2017 C. Fiorentini + Article (author) -
LOGI: A didactic tool for a beginners' course in logic (system description) 2017 M. OrnaghiC. FiorentiniA. Momigliano Book Part (author) -