Guido Fiorino
Orcid: 0000-0002-0556-0723
According to our database1,
Guido Fiorino
authored at least 31 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
J. Autom. Reason., 2023
2022
2018
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
2017
Fundam. Informaticae, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2015
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations.
Proceedings of the 30th Italian Conference on Computational Logic, 2015
2014
J. Autom. Reason., 2014
2013
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models.
J. Autom. Reason., 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
2012
ACM Trans. Comput. Log., 2012
2011
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.
Proceedings of the IJCAI 2011, 2011
2010
<i>BC</i><i>D</i><i>L</i>\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic.
J. Autom. Reason., 2010
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus.
Inf. Sci., 2010
Proceedings of the 8th International Workshop on the Implementation of Logics, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
2009
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.
J. Appl. Non Class. Logics, 2009
2008
Optimization techniques for propositional intuitionistic logic and their implementation.
Theor. Comput. Sci., 2008
2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
2005
ACM Trans. Comput. Log., 2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
2004
Math. Log. Q., 2004
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
2002
Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics.
J. Log. Comput., 2002
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.
Proceedings of the Logic for Programming, 2002
2001
J. Autom. Reason., 2001
1995
Inf. Process. Lett., 1995