cody.it

" Ella in realtà è più radiosa del sole e supera ogni costellazione, paragonata alla luce risulta più luminosa "

Pietro Codara


DIPARTIMENTO DI INFORMATICA
(former DIPARTIMENTO DI INFORMATICA E COMUNICAZIONE)
UNIVERSITÀ DEGLI STUDI DI MILANO
VIA COMELICO, 39 - 20135 MILANO - ITALY

 

  • RESEARCH INTERESTS

  • Combinatorics, ordered structures, many-valued logics, categorical dualities, probability of non-classical events, reasoning under uncertainty, treatment of vague information, applications of fuzzy logic, rough set theory

     

  • PUBLIC PROFILES

  • [IRIS-AIR] [Scholar] [ResearcherID] [Orcid] [dblp] [ResearchGate] [MSAc] [ACM]

     

  • RESEARCH PROJECTS (selection)

  • Under review SYSMICS - Syntax meets Semantics: Methods, Interactions, and Connections in Substructural logics, H2020-MSCA-RISE-2015
    Role: Member


    Unfunded - Grade: B-Excellent Proposal MIUR - SIR 2014, RBSI14S7MD (National funding scheme explicitly modelled after the ERC’s Starting Grants)
    Role: proponent and principal investigator


    2013-2015 Logical methods of information management, MIUR PRIN 2010-2011, 2010FP79LR [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Antonio Di Nola, Università degli Studi di Salerno


    2012-2014 MaToMUVI: Mathematical Tools for Managing Uncertain and Vague Information, FP7-PEOPLE-2009-IRSES [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Luca Spada, Università degli Studi di Salerno


    2012-2016 Probability theory of non-classical events, FIRB - Futuro in ricerca 2010, RBFR10DGUA [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Vincenzo Marra, Università degli Studi di Milano


    2010-2012 Logic and algebra of uncertain information, MIUR PRIN 2008, 2008JKBJJF [Link]
    Role: Member
    Research unit: Università degli Studi di Milano
    Coordinator: Antonio Di Nola, Università degli Studi di Salerno

     

  • PUBLICATIONS - JOURNAL PAPERS

  • P. Codara, O. M. D'Antona: Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles. Discrete Mathematics. (2015) In press [Publisher]


    P. Codara, O. M. D'Antona, V. Marra: The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic. Fuzzy Sets and Systems 247, pp. 38-50, ISSN 0165-0114, DOI 10.1016/j.fss.2013.11.004. Elsevier (2014) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, P. Hell: A simple combinatorial interpretation of certain generalized Bell and Stirling numbers. Discrete Mathematics 318, pp. 53-57, ISSN 0012-365X, DOI 10.1016/j.disc.2013.11.010. Elsevier (2014) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona: Independent subsets of powers of paths, and Fibonacci cubes. Electronic Notes in Discrete Mathematics 40, pp. 65-69, ISSN 1571-0653, DOI 10.1016/j.endm.2013.05.013. Elsevier (2013) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Valuations in Gödel Logic, and the Euler Characteristic. Journal of Multiple-Valued Logic and Soft Computing 19 (1-3), pp. 71-84, ISSN 1542-3980. Old City Publishing (2012) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: An Analysis of Ruspini Partitions in Gödel Logic. International Journal of Approximate Reasoning 50(6), pp. 825-836, ISSN 0888-613X, DOI 10.1016/j.ijar.2009.02.007. Elsevier (2009) [Preprint] [Publisher] [AIR] [Scopus]

     

  • PUBLICATIONS - PAPERS IN COLLECTIONS AND BOOK CHAPTERS

  • P. Codara: Partitions of a Finite Partially Ordered Set. In: From Combinatorics to Philosophy: The Legacy of G.-C. Rota, pp. 45-59, ISBN 9780387887524, DOI 10.1007/978-0-387-88753-1_4. Springer US, New York (2009) [Preprint] [Publisher] [AIR]

     

  • PUBLICATIONS - INTERNATIONAL CONFERENCE PROCEEDINGS

  • S. Aguzzoli, P. Codara, T. Flaminio, B. Gerla, D. Valota: Querying with Łukasiewicz Logic. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2015. (2015) In press [Conference]


    P. Codara, D. Valota: Valuations in Nilpotent Minimum Logic. 45th IEEE International Symposium on Multiple-Valued Logic (ISMVL) 2015, pp. 90-95, ISSN 0195-623X, DOI 10.1109/ISMVL.2015.19. (2015) In press [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara: On the Structure of Indiscernibility Relations Compatible with a Partially Ordered Set. In: L. Rutkowski et al. (eds.) ICAISC 2012, Part II, Lecture Notes in Computer Science (LNAI), vol. 7268, pp. 47-55, ISSN 0302-9743, ISBN 9783642293498, DOI 10.1007/978-3-642-29350-4_6. Springer, Heidelberg (2012) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara: Indiscernibility Relations on Partially Ordered Sets. IEEE International Conference on Granular Computing (GrC) 2011, pp. 150-155, ISBN 9781457703720, DOI 10.1109/GRC.2011.6122584. (2011) [Preprint] [Publisher] [AIR] [Scopus]


    S. Bova, P. Codara, D. Maccari, V. Marra: A Logical Analysis of Mamdani-type Fuzzy Inference, II. An Experiment on the Technical Analysis of Financial Markets. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2010, pp. 262-269, ISSN 1098-7584, ISBN 9781424469192, DOI 10.1109/FUZZY.2010.5584834. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    S. Bova, P. Codara, D. Maccari, V. Marra: A Logical Analysis of Mamdani-type Fuzzy Inference, I. Theoretical Bases. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2010, pp. 254-261, ISSN 1098-7584, ISBN 9781424469192, DOI 10.1109/FUZZY.2010.5584830. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: The Euler Characteristic of a Formula in Gödel Logic. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL) 2010, pp. 108-112, ISSN 0195-623X, ISBN 9781424467525, DOI 10.1109/ISMVL.2010.28. (2010) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: A Characterisation of Bases of Triangular Fuzzy Sets. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2009, pp. 604-609, ISSN 1098-7584, ISBN 9781424435968, DOI 10.1109/FUZZY.2009.5277272. (2009) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Open Partitions and Probability Assignments in Gödel Logic. In: C. Sossai, G. Chemello (eds.) ECSQARU 2009, Lecture Notes in Computer Science (LNAI), vol. 5590, pp. 911-922, ISSN 0302-9743, ISBN 9783642029059, DOI 10.1007/978-3-642-02906-6_78. Springer, Heidelberg (2009) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Best Approximation of Ruspini Partitions in Gödel Logic. In: K. Melloudi (ed.) ECSQARU 2007, Lecture Notes in Computer Science (LNAI), vol. 4724, pp. 161-172, ISSN 0302-9743, ISBN 9783540752554, DOI 10.1007/978-3-540-75256-1_17. Springer, Heidelberg (2007) [Preprint] [Publisher] [AIR] [Scopus]


    P. Codara, O. M. D'Antona, V. Marra: Propositional Gödel Logic and Delannoy Paths. IEEE International Fuzzy Systems Conference (FUZZ-IEEE) 2007, pp. 1228-1232, ISSN 1098-7584, ISBN 9781424412099, DOI 10.1109/FUZZY.2007.4295542. (2007) [Preprint] [Publisher] [AIR] [Scopus]

     

  • PUBLICATIONS - NATIONAL CONFERENCE PROCEEDINGS

  • P. Codara, O. M. D'Antona: Investigating indipendent subsets of graphs, with Mathematica. Mathematica Italia User Group Meeting (UGM) 2013, ISBN 9788896810033. (2013) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, F. Marigo, C. Monti: Making simple proofs simpler. Mathematica Italia User Group Meeting (UGM) 2013, ISBN 9788896810033. (2013) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, D. Filaretti: Building bricks with bricks, with Mathematica. Mathematica Italia User Group Meeting (UGM) 2011, ISBN 9788896810026. (2011) [Preprint] [AIR]


    P. Codara: A Mathematica package to cope with partially ordered sets. Mathematica Italia User Group Meeting (UGM) 2010, ISBN 9788896810002. (2010) [Preprint] [AIR]


    P. Codara, O. M. D'Antona, E. Munarini: Mathematica sa fare le somme?. Mathematica Italia User Group Meeting (UGM) 2010, ISBN 9788896810002, Italian. (2010) [Preprint] [AIR]

     

  • THESIS

  • P. Codara: A theory of partitions of partially ordered sets. Ph.D. Thesis, Università degli Studi di Milano, 2004. [pdf] [AIR]


    P. Codara: Un ambiente di programmazione simbolica per lo studio di MV insiemi. Computer Science Degree Thesis, Università degli Studi di Milano, 2004. [pdf]

     

  • ABSTRACTS & ARXIV (selection)

  • D. Valota, P. Codara: Formal Concepts of Gödel Logic formulas. Trends in Logic XV, 2015: Logics for Social Behaviour, Delft, The Netherlands. (2015)


    D. Valota, P. Codara: Toward a Formal Concept Semantics for Gödel Logic. TbiLLC, Tbilisi, Georgia. (2015) Accepted


    P. Codara, O. M. D'Antona, M. Genuzio: Eulerian digraphs and Dyck words, a bijection. GASCom 2014, 9th edition, Bertinoro, Italy. arXiv:1407.2461 [cs.DM] (2014) [Preprint] [Conference] [AIR]


    P. Codara, O. M. D'Antona: On the independent subsets of powers of paths and cycles. arXiv:1210.5561 [cs.DM], 2012. [Preprint] [Publisher]

     

  • TECHNICAL REPORTS

  • P. Codara: Enumerazione di morfismi tra classi di MV insiemi. Internal Report 02-04, Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, 2004. [pdf]

     

  • TRANSLATION OF BOOKS

  • A. Silberschatz, P. B. Galvin, G. Gagne: Sistemi Operativi. Concetti ed esempi. 9th Italian edition, ISBN 9788865183717. Pearson Italia (2014) [Link] [AIR]


    A. S. Tanenbaum, T. Austin: Architettura dei calcolatori. Un approccio strutturale. 6th Italian edition, ISBN 9788871929620. Pearson Italia (2013) [Link] [AIR]


    W. Stallings: Architettura e organizzazione dei calcolatori. Progetto e prestazioni. 8th Italian edition, ISBN 9788871925974. Pearson Education Italia (2010) [Link] [AIR]


    A. Silberschatz, P. B. Galvin, G. Gagne: Sistemi Operativi. Concetti ed esempi. 8th Italian edition, ISBN 9788871925691. Pearson Education Italia (2009) [Link] [AIR]

     

  • TALKS IN CONFERENCES/SEMINARS

  • Querying with Łukasiewicz Logic. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2015, Istanbul, Turkey, 2015. [Slides] [Link]


    Products in the category of forests and p-morphisms via Delannoy paths on Cartesian products. Topology, Algebra, and Categories in Logic (TACL) 2015, Ischia, Italy, 2015. [Abstract] [Slides] [Link]


    Valuations in Nilpotent Minimum Logic. 45th IEEE International Symposium on Multiple-Valued Logic (ISMVL) 2015, Waterloo, Canada, 2015. [Slides] [Link]


    Combinatorial descriptions of products in the category of forests and open order-preserving maps, Combinatorics 2014, Gaeta, Italy, 2014. [Abstract] [Slides] [Link]


    Investigating indipendent subsets of graphs, with Mathematica, Mathematica UGM 2013, Bologna, Italy, 2013. [Abstract] [Slides] [Link]


    On Valuations in Gödel and Nilpotent Minimum Logics, World Congress and School on Universal Logic (UNILOG) 2013, Rio de Janeiro, Brazil, 2013 [Abstract] [Slides] [Link] [AIR]


    Euler Characteristic in Gödel and Nilpotent Minimum Logics, Seminário Lógica, Conjuntos e Topologia, Instituto de Matemática, Universidade Federal da Bahia, Salvador, Bahia, Brazil, 2013. [Abstract] [Slides]


    The independent subsets of powers of paths and cycles, Combinatorics 2012, Perugia, Italy, 2012. [Abstract] [Slides] [Link] [AIR]


    On the Structure of Indiscernibility Relations Compatible with a Partially Ordered Set, International Conference on Artificial Intelligence and Soft Computing (ICAISC) 2012, Zakopane, Poland, 2012. [Poster] [Example] [Link]


    Indiscernibility Relations on Partially Ordered Sets, IEEE International Conference on Granular Computing (GrC) 2011, Kaohsiung, Taiwan, R.O.C., 2011. [Slides] [Link]


    Building bricks with bricks, with Mathematica, Mathematica UGM 2011, Turin, Italy, 2011. [Abstract] [Link]


    A Mathematica package to cope with partially ordered sets, Mathematica UGM 2010, Milan, Italy, 2010. [Abstract] [Slides] [Link]


    The Euler Characteristic of a formula in many-valued logic, Combinatorics 2010, Verbania, Italy, 2010. [Abstract] [Slides] [Link] [AIR]


    A Characterisation of Bases of Triangular Fuzzy Sets, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2009, Jeju Island, South Korea, 2009. [Slides] [Link]


    Profinite Heyting Algebras, and Partitions of Image-Finite Posets under Open Maps, Topology, Algebra and Categories in Logic (TACL) ‘09, Amsterdam, Netherlands, 2009. [Abstract] [Slides] [Link] [AIR]


    Examples of Topoi, The Topos Theory Seminar, Università degli Studi di Milano, Italy, 2009. [Link]


    A Combinatorial Expansion arising from Łukasiewicz Logic, International conference on pure and applied combinatorics and its connections with Geometry, Graph Theory and Algebra (Combinatorics 2008), Costermano (VR), Italy, 2008. [Abstract] [Slides] [Link] [AIR]


    Best Approximation of Ruspini Partitions in Gödel Logic, Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, Tunisia, 2007. [Slides] [Link]


    Propositional Gödel Logic and Delannoy Paths, IEEE International Fuzzy Systems Conference (FUZZ-IEEE) 2007, London, UK, 2007. [Slides]


    Propositional Gödel logic, Delannoy paths and ordered partitions, Symposium Ordered Structures in Many-Valued Logic, Massa Lubrense (NA), Italy, 2006. [Abstract] [Link] [AIR]