Pietro Codara

Dipartimento di Informatica, Università degli Studi di Milano
Via Comelico 39, I-20135 Milan, Italy

 

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

 

[IRIS-AIR] [Scholar] [ResearcherID] [Orcid] [dblp] [ResearchGate]

 

2016-2018 LaVague - A new logical and computational approach to vague real-world problems, COFUND 2012 INdAM Fellowships in Mathematics and/or Applications cofunded by Marie Curie Actions
Role: Proponent
Coordinators: Pietro Codara, Lluís Godo (IIIA-CSIC), Stefano Aguzzoli (Università degli Studi di Milano)

2015-2018 SYSMICS - Syntax meets Semantics: Methods, Interactions, and Connections in Substructural logics, H2020-MSCA-RISE-2015
Role: Member
Coordinator: Luca Spada, Università degli Studi di Salerno

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

 

[J6] P. Codara, O. M. D'Antona: Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles. Discrete Mathematics 339, pp. 270-282, ISSN 0012-365X, DOI 10.1016/j.disc.2015.08.012. Elsevier (2016) [Preprint] [Publisher] [IRIS-AIR]

[J5] 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] [IRIS-AIR]

[J4] 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] [IRIS-AIR]

[J3] 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] [IRIS-AIR]

[J2] 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] [IRIS-AIR]

[J1] 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] [IRIS-AIR]

 

[B1] 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] [IRIS-AIR]

 

[C15] P. Codara, L. Godo, F. Esteva, D. Valota: Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. IPMU 2018, Communications in Computer and Information Science (CCIS), vol. 854. Springer (2018). To appear [Preprint] [Publisher] [IRIS-AIR]

[C14] P. Codara, O. M. D'Antona: Dyck-Eulerian digraphs. DMD18, Electronic Notes in Discrete Mathematics 68. Elsevier (2018). To appear [Preprint] [Publisher] [IRIS-AIR]

[C13] P. Codara, D. Valota: On Gödel Algebras of Concepts. TbiLLC 2015: Logic, Language, and Computation, Lecture Notes in Computer Science (LNCS), vol. 10148, pp. 251-262, ISBN 9783662543320, DOI 10.1007/978-3-662-54332-0_14. Springer, Heidelberg (2017) [Preprint] [Publisher] [IRIS-AIR]

[C12] S. Aguzzoli, P. Codara: Recursive Formulas to Compute Coproducts of Finite Gödel Algebras and Related Structures. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2016, pp. 201-208, ISBN 9781509006267, DOI 10.1109/FUZZ-IEEE.2016.7737688. (2016) [Preprint] [Publisher] [IRIS-AIR]

[C11] S. Aguzzoli, P. Codara, T. Flaminio, B. Gerla, D. Valota: Querying with Łukasiewicz Logic. IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) 2015, pp.1-8, ISBN 9781467374286, DOI 10.1109/FUZZ-IEEE.2015.7338061. (2015) [Preprint] [Publisher] [IRIS-AIR]

[C10] 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) [Preprint] [Publisher] [IRIS-AIR]

[C9] 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] [IRIS-AIR]

[C8] 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] [IRIS-AIR]

[C7] 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] [IRIS-AIR]

[C6] 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] [IRIS-AIR]

[C5] 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] [IRIS-AIR]

[C4] 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] [IRIS-AIR]

[C3] 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] [IRIS-AIR]

[C2] 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] [IRIS-AIR]

[C1] 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] [IRIS-AIR]

 

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

[N4] 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] [IRIS-AIR]

[N3] 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] [IRIS-AIR]

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

[N1] 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] [IRIS-AIR]

 

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

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

 

[P5] P. Codara, O. M. D'Antona, M. Galasi, G. Lavado: Independent Sets of Families of Graphs via Finite State Automata. Malta Conference in Graph Theory and Combinatorics, Qawra, Malta. (2017)

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

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

[P2] 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] [IRIS-AIR]

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

 

[R1] 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]

 

[G5] A. Silberschatz, P. B. Galvin, G. Gagne: Sistemi Operativi. Concetti ed esempi. 10th Italian edition. Pearson Italia (to appear) [Link] [IRIS-AIR]

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

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

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

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

 

Independent Sets of Families of Graphs via Finite State Automata. The Second Malta Conference in Graph Theory and Combinatorics, Qawra, Malta, 2017. [Abstract] [Slides] [Link]

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] [IRIS-AIR]

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] [IRIS-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] [IRIS-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] [IRIS-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] [IRIS-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] [IRIS-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] [IRIS-AIR]