Dipartimento di Scienze dell'Informazione
Via Comelico, 39-41
20135 MILANO
aguzzoli@dsi.unimi.it
tel.: +39-02- 50316-356
fax : +39-02- 50316-276
room: S204
Geometric and Proof-Theoretic
Issues in Łukasiewicz Propositional Logics, PhD Program in
Mathematical Logic and Theoretical Computer Science,
University of Siena, 1998.
Stefano Aguzzoli, Daniele Mundici: An Algorithmic Desingularization of 3-Dimensional Toric Varieties, Tôhoku Mathematical Journal, 46, pp. 557-572, 1994.
Stefano Aguzzoli: The Complexity of McNaughton Functions of One Variable, Advances in Applied Mathematics, 21, pp. 58-77, 1998.
Stefano Aguzzoli: A Note on the Representation of McNaughton Lines by Basic Literals, Soft Computing, 2, pp. 111-115, 1998.
Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola: Sequent Calculi for Finite-Valued Łukasiewicz Logics via Boolean Decompositions, Journal of Logic and Computation,10, pp. 213-222, 2000.
Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Łukasiewicz Logic, Journal of Logic, Language and Information,9, pp. 5-29, 2000.
Stefano Aguzzoli, Brunella Gerla: Finite-Valued Reductions of Infinite-Valued Logics, Archive for Mathematical Logic, 41, pp. 361-399, 2002.
Stefano Aguzzoli, Brunella Gerla: On Countermodels in Basic Logic, Neural Network World, 12, pp. 407-420, 2002.
Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková: Complexity Issues in Basic Logic, Soft Computing, 9, pp. 919-934, 2005.
Stefano Aguzzoli: An Asymptotically Tight Bound on Countermodels for Łukasiewicz Logic, International Journal of Approximate Reasoning , 43, pp. 76-89, 2006.
Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra: Spectral duality for finitely generated nilpotent minimum algebras, with applications, Journal of Logic and Computation , 17, pp. 749-765, 2007.
Stefano Aguzzoli, Brunella Gerla: Normal Forms and Free Algebras for Some Extensions of MTL, Fuzzy Sets and Systems, 159, pp. 1131-1152, 2008.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Gödel Algebras Free over Finite Distributive Lattices, Annals of Pure and Applied Logic, 155, pp. 183-193, 2008.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: De Finetti's no-Dutch-book criterion for Gödel logic, Studia Logica, 90, pp. 25-41, 2008.
Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra: A temporal semantics for Basic Logic, Studia Logica, 92, pp. 147-162, 2009.
Stefano Aguzzoli, Brunella Gerla: Probability measures in the logic of Nilpotent Minimum, Studia Logica, 94, pp. 151-176, 2010.
Stefano Aguzzoli, Simone Bova: The Free n-Generated BL-Algebra, Annals of Pure and Applied Logic, 161, pp. 1144-1170, 2010.
Stefano Aguzzoli, Vincenzo Marra: Finitely presented MV-algebras with finite automorphism group, Journal of Logic and Computation, 20, pp. 811-822, 2010.
Stefano Aguzzoli, Ottavio D'Antona, Vincenzo Marra: Computing minimal axiomatisations in Gödel propositional logic, Journal of Logic and Computation, 21, pp. 791-812, 2011.
Stefano Aguzzoli, Daniele Mundici: Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. In Beyond Two: Theory and Applications of Multiple Valued Logic . Melvin Fitting and Ewa Orłowska Eds., Physica-Verlag, Springer, pp. 315-335, 2003.
Stefano Aguzzoli, Simone Bova, Brunella Gerla: Free Algebras and Functional Representation for Fuzzy Logics. Chapter IX of Handbook of Mathematical Fuzzy Logic - Volume 2. P. Cintula, P. Hájek, C. Noguera Eds., Studies in Logic, vol. 38, College Publications, London, pp. 713-791, 2011.
Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Artificial Intelligence, volume 4460, Springer, 2007.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic. Journal of Logic and Computation, 21, Editorial pp. 405-406, 2011.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Many-Valued Logic: Beyond Algebraic Semantics. Soft Computing, to appear.
Stefano Aguzzoli: McNaughton Functions of One Variable for Automated Deduction in Łukasiewicz Logics, Dagstuhl Seminar 9744, COST-MVL Conference, Dagstuhl, Germany, 1997.
Stefano Aguzzoli: Resolution and literals in the infinite-valued propositional calculus of Łukasiewicz, XVIII Incontro AILA di Logica Matematica, Pontignano, Italy, 1998.
Stefano Aguzzoli, Brunella Gerla: Finite-Valued Approximations of Product Logic. Proceedings of The 30th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2000 , Portland, USA. IEEE Computer Society Press, pp. 179-184, 2000.
Stefano Aguzzoli, Daniele Mundici: Weierstrass Approximations by Łukasiewicz Formulas with One Quantified Variable. Proceedings of The 31st IEEE International Symposium On Multiple-Valued Logic, ISMVL'2001, Warsaw, Poland. IEEE Computer Society Press, pp. 361-366, 2001.
Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Compositional CBR via collaborative filtering. Proceedings of ICCBR'01 Workshop on CBR in Electronic Commerce, Vancouver, Canada, 2001.
Stefano Aguzzoli: Upper bounds for critical denominators of Łukasiewicz formulas, XXI Incontro AILA di Logica Matematica, Pontignano, Italy, 2001.
Stefano Aguzzoli, Vincenzo Marra, Daniele Mundici: A note on finitely generated subalgebras of free MV-algebras, 2nd Workshop on Soft Computing at SOFSEM 2001, Piestany, Slovakia, 2001.
Stefano Aguzzoli, Paolo Avesani, Brunella Gerla: A logical framework for fuzzy collaborative filtering. Proceedings of The 10th IEEE International Conference On Fuzzy Systems, FUZZ-IEEE 2001, Melbourne, Australia, 2001. IEEE Computer Society Press, pp. 1043-1046, 2001.
Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Compositional Recommender Systems Using Case-Based Reasoning Approach . Proceedings of ACM SIGIR'01 Workshop on Recommender Systems, New Orleans, USA, 2001.
Stefano Aguzzoli, Paolo Avesani, Paolo Massa: Collaborative Case-Based Recommender Systems. Proceedings of Advances in Case-Based Reasoning, 6th European Conference, ECCBR 2002, Aberdeen, Scotland, UK. Lecture Notes in Computer Science, 2416 Springer, pp. 460-474, 2002.
Stefano Aguzzoli: Uniform Description of Calculi for All t-norm Logics. Proceedings of The 34th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2004, Toronto, Canada. IEEE Computer Society Press, pp. 38-43, 2004.
Stefano Aguzzoli, Daniela Besozzi, Brunella Gerla, Corrado Manara: P systems with vague boundaries: the t-norm approach. Proceedings of Brainstorming workshop on uncertainty in membrane computing, Palma de Mallorca, Spain, pp. 97-105, 2004.
Stefano Aguzzoli, Ioan I. Ardelean, Daniela Besozzi, Brunella Gerla, Corrado Manara: P systems under uncertainty: the case of transmembrane proteins. Proceedings of Brainstorming workshop on uncertainty in membrane computing, Palma de Mallorca, Spain, pp. 107-117, 2004.
Stefano Aguzzoli, Brunella Gerla: Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. Proceedings of The 35th IEEE International Symposium On Multiple-Valued Logic, ISMVL'2005, Calgary, Canada. IEEE Computer Society Press, pp. 284-289, 2005.
Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Poset Representation of Free Algebras in Some Varieties of Residuated Structures. Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain, 2005.
Stefano Aguzzoli, Ottavio D'Antona, Vincenzo Marra: Brun Normal Forms for Co-Atomic Łukasiewicz Logics. Proceedings of The 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, Barcelona, Spain. Lecture Notes in Artificial Intelligence, 3571 Springer, pp. 650-661, 2005.
Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Poset Representation for Gödel and Nilpotent Minimum Logics. Proceedings of The 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, Barcelona, Spain. Lecture Notes in Artificial Intelligence, 3571 Springer, pp. 662-674, 2005.
Stefano Aguzzoli, Brunella Gerla, Corrado Manara: Structure of the algebras of NMG-formulas. Proceedings of The 11th Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2006 , Paris, France, pp. 1620-1627, 2006.
Stefano Aguzzoli, Brunella Gerla: Comparing the expressive power of some fuzzy logics based on residuated t-norms. Proceedings of The IEEE International Conference On Fuzzy Systems, FUZZ IEEE 2006, Vancouver, Canada, pp. 2012-2019, 2006.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Defuzzifying formulas in Gödel logic through finitely additive measures. Proceedings of The IEEE International Conference On Fuzzy Systems, FUZZ IEEE 2008, Hong Kong, China, pp. 1886-1893, 2008.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Embedding Gödel propositional logic into Prior's tense logic. Proceedings of The 12th Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2008, Malaga, Spain, pp. 992-999, 2008.
Stefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. Proceedings of LFCS 2009, Symposium on Logical Foundations of Computer Science, Deerfield Beach, Florida, USA. Lecture Notes in Computer Science, 5407 Springer, pp. 1-15, 2009.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms. Proceedings of The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009, Verona, Italy. Lecture Notes in Artificial Intelligence, 5590 Springer, pp. 875-886, 2009.
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra: The Automorphism Group of Finite Gödel Algebras. Proceedings of The 40th IEEE International Symposium On Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain. IEEE Computer Society Press, 21-26, 2010.
Stefano Aguzzoli, Simone Bova: Schauder Hats for the Two-variable Fragment of BL. Proceedings of The 40th IEEE International Symposium On Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain. IEEE Computer Society Press, 27-32, 2010.
Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Łukasiewicz Logic, ITC-IRST Tech. Rep. No 9906-07, 1999.
Stefano Aguzzoli, Brunella Gerla: Finite-Valued Approximations of Product Logic, ITC-IRST Tech. Rep. No 0003-29, 2000.
Stefano Aguzzoli, Brunella Gerla: Finite-Valued Reductions of Infinite-Valued Logics, ITC-IRST Tech. Rep. No 0003-30, 2000.
Stefano Aguzzoli, Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz, Bollettino U.M.I., Serie VIII, Vol. III-A, Suppl. April 2000, pp. 9-12.