Camillo Fiorentini
Publications
-
M.Ferrari, C.Fiorentini, G.Fiorino.
fCube: An Efficient Prover for Intuitionistic Propositional Logic.
System Description,
In
Logic for Programming, Artificial Intelligence, and Reasoning
- 17th International Conference, LPAR-17, 2010.
Proceedings,
LNCS, vol. 6397/2010, pp. 294-301, 2010.
-
L.Bozzato, M.Ferrari, C.Fiorentini, G.Fiorino.
A Decidable Constructive Description Logic.
In Logics in Artificial Intelligence - 12th European Conference,
JELIA 2010. Proceedings,
LNCS, vol. 6341/2010, pp. 51-63, 2010.
-
C.Fiorentini, A.Momigliano, M.Ornaghi, I.Poernomo.
A constructive approach to testing model transformations.
In Theory and Practice of Model Transformations.
Third International Conference, ICMT 2010. Proceedings,
LNCS, vol. 6142/2010, pp. 77-92,2010.
-
M.Ferrari, C.Fiorentini, G.Fiorino.
BCDL: Basic Constructive Description Logic.
Journal of Automated Reasoning, vol. 44(4), pp. 503-524, 2010.
-
M.Ferrari, C.Fiorentini, G.Fiorino.
A tableau calculus for Propositional Intuitionistic Logic
with a refined treatment of implication.
Journal of Applied Non-classical Logics,
vol. 19(2), pp. 149-166, 2009.
-
M.Ornaghi, C.Fiorentini, A.Momigliano, F.Pagano.
Applying ASP to UML Model Validation.
In Logic Programming and Nonmonotonic Reasoning, LPNMR 2009,
LNCS, vol. 5753, pp. 457-463, 2009.
-
C.Fiorentini, A.Momigliano, M.Ornaghi.
A Constructive Object Oriented Modeling Language for Information Systems.
In Types for Proofs and Programs, International Conference, TYPES 2008.
Revised Selected Papers,
LNCS, vol. 5497, pp. 117-135, 2009
-
M.Ferrari, C.Fiorentini, A.Momigliano, M.Ornaghi.
Snapshot Generation in a Constructive Object-oriented Modeling Language.
In Logic Based Program Synthesis and Transformation, LOPSTR'07. Revised Selected Papers,
LNCS, vol. 4914, pp. 169-184, 2008.
-
C.Fiorentini, M.Ornaghi.
Model Validation through CooML Snapshot Generation.
In
Tests and Proofs: Papers Presented at the Second International Conference TAP 2008,
Prato, Italy, April 2008,
Reports of the Faculty of Informatics,
University of Koblenz-Landau, N. 5/2008, pp 17-32, 2008.
-
C.Fiorentini, M.Ornaghi.
Answer Set Semantics vs. Information Term Semantics.
In
Proceedings of the 4th Workshop on Answer Set
Programming: Advances in Theory and Implementation,
S. Costantini, R. Watson Eds., pp 241-254, 2007.
-
L.Bozzato, M.Ferrari, C.Fiorentini, G.Fiorino.
A Constructive Semantics for ALC.
In Proceedings of the 2007 International Workshop on Description
Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano,
Italy, 8-10 June, 2007,
CEUR Workshop Proceedings, vol. 250, pp. 219-226.
-
M.Ornaghi, M.Benini, M.Ferrari, C.Fiorentini, A.Momigliano.
A Constructive Object Oriented Modeling Language for Information Systems.
In
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering
(CLASE 2005),
ENTCS, 153(1): 55-75, 2006.
-
A.Avellone, M.Ferrari, C.Fiorentini, G.Fiorino, U.Moscato.
ESBC: an application for computing stabilization bounds.
In
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering
(CLASE 2005),
ENTCS, 153(1): 23-33, 2006.
-
M.Ferrari, C.Fiorentini, G.Fiorino. On the complexity of the
disjunction property in intuitionistic and modal logics.
ACM Transactions on Computational Logic (TOCL),
6(3):519-538, 2005.
- A. Avellone, C. Fiorentini, G. Fiorino, U. Moscato.
A space efficient implementation of a tableau calculus for a
logic with a constructive negation.
Computer Science Logic, LNCS, vol.3210. pp. 488-502, 2004.
-
M.Ferrari, C.Fiorentini, G.Fiorino. A secondary semantics for second
order intuitionistic propositional logic.
Mathematical Logic Quarterly, 50(2):202-210, 2004.
-
M.Ferrari, C.Fiorentini.
A proof-theoretical analysis of semiconstructive intermediate theories.
Studia Logica, 73(1):21-49, 2003.
-
C.Fiorentini and S.Ghilardi.
Combining word problems through rewriting in categories with products.
Theoretical Computer Science, 294:103-149, 2003.
-
M.Ferrari, C.Fiorentini, M.Ornaghi.
Extracting exact time bounds from logical proofs.
In Logic Based Program Synthesis and
Transformation, 11th International Workshop, LOPSTR 2001, Selected
Papers, LNCS, vol. 2372 pp. 245-265, 2002.
-
M.Ferrari, C.Fiorentini, G.Fiorino.
Tableau calculi for the logics of finite k-ary trees.
In TABLEAUX 2002, Automated Reasoning with Analytic Tableaux and Related
Methods, LNAI, vol. 2381, pp. 115-129, 2002.
-
M.Ferrari, C.Fiorentini, G.Fiorino.
On the complexity of disjunction and explicit definability properties in some
intermediate logics.
In LPAR 2002: Logic for Programming Artificial Intelligence and
Reasoning, LNAI, vol. 2514,
pp. 175-189, 2002.
-
C. Fiorentini.
Hypercanonicity, extensive canonicity, canonicity and strong completeness of
intermediate propositional logics.
Reports on Mathematical Logic, 35:3-46, 2001.
-
A. Avellone, M. Ferrari, C.Fiorentini.
A formal framework for synthesis and verification of logic programs.
In Logic Based Program Synthesis and Transformation. 10th International
Workshop, LOPSTR 2000, London, UK, July 24-28, 2000. Selected Papers.
LNCS, vol. 1559, pp. 1-17, 2001.
-
M.Ferrari, C.Fiorentini, P.Miglioli.
Extracting information from intermediate semiconstructive HA-systems
(extended abstract).
Mathematical Structures in Computer Science, 11, 2001.
-
C. Fiorentini.
All intermediate logics with extra axioms in one variable, except eight, are
not strongly ω-complete.
The Journal of Symbolic Logic, 65(4):1575-1604, 2000.
-
C. Fiorentini, P.Miglioli.
A cut-free sequent calculus for the logic of constant domains with a limited
amount of duplications.
Logic Journal of the IGPL, 7(6):733-753, 1999.
-
M.Ferrari, C.Fiorentini, P.Miglioli.
Goal oriented information extraction in uniformly constructive calculi.
In Proceedings of WAIT'99: Workshop Argentino de Informātica
Teōrica, pp. 51-63, 1999.
-
A. Avellone, C. Fiorentini, P. Mantovani, P.Miglioli.
On maximal intermediate predicate constructive logics.
Studia Logica, 57:373 - 408, 1996.