FIORINO, GUIDO GIUSEPPE

FIORINO, GUIDO GIUSEPPE  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 41 (tempo di esecuzione: 0.015 secondi).
Titolo Tipologia Data di pubblicazione Autori File
New Tableau Characterizations for Non-clausal MaxSAT Problem 01 - Articolo su rivista 2022 Fiorino, G
A non-clausal tableau calculus for MINSAT 01 - Articolo su rivista 2022 Fiorino G.
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic 99 - Altro 2021 Fiorino, GG
A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic 02 - Intervento a convegno 2019 Fiorino, G +
Forward countermodel construction in modal Logic K 02 - Intervento a convegno 2018 Fiorino. G +
Proof-search in Hilbert calculi 02 - Intervento a convegno 2017 Fiorino, G. +
JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi 01 - Articolo su rivista 2017 Fiorino, G. +
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations 02 - Intervento a convegno 2015 FIORINO, GUIDO GIUSEPPE +
An evaluation-driven decision procedure for G3i 01 - Articolo su rivista 2015 FIORINO, GUIDO GIUSEPPE +
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi 02 - Intervento a convegno 2014 FIORINO, GUIDO GIUSEPPE +
Terminating Calculi for Propositional Dummett Logic with Subformula Property 01 - Articolo su rivista 2014 FIORINO, GUIDO GIUSEPPE
How to reduce backtracking in propositional intuitionistic logic 02 - Intervento a convegno 2013 FIORINO, GUIDO GIUSEPPE
A Terminating Evaluation-Driven Variant of G3i 02 - Intervento a convegno 2013 FIORINO, GUIDO GIUSEPPE +
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models 01 - Articolo su rivista 2013 FIORINO, GUIDO GIUSEPPE +
Simplification Rules for Intuitionistic Propositional Tableaux 01 - Articolo su rivista 2012 FIORINO, GUIDO GIUSEPPE +
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World 02 - Intervento a convegno 2011 FIORINO, GUIDO GIUSEPPE
BCDL: Basic Constructive Description Logic 01 - Articolo su rivista 2010 FIORINO, GUIDO GIUSEPPE +
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus 01 - Articolo su rivista 2010 FIORINO, GUIDO GIUSEPPE
A Decidable Constructive Description Logic 02 - Intervento a convegno 2010 FIORINO, GUIDO GIUSEPPE +
fCube: An Efficient Prover for Intuitionistic Propositional Logic 02 - Intervento a convegno 2010 FIORINO, GUIDO GIUSEPPE +