Pietro Codara

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

 

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

 

2012-2013 MaToMUVI: Mathematical Tools for Managing Uncertain and Vague Information, FP7-PEOPLE-2009-IRSES
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
Role: Collaborator
Research unit: Università degli Studi di Milano
Coordinator: Vincenzo Marra, Università degli Studi di Milano

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

 

P. Codara, O. M. D'Antona: Independent subsets of powers of paths, and Fibonacci cubes. Submitted (2012)

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]

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. Elsevier (2009) [Preprint] [Publisher]

 

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. Springer US, New York (2009) [Preprint] [Publisher]

 

P. Codara: On the Structure of Indiscernibility Relations Compatible with a Partially Ordered Set. In: L. Rutkowski et al. (eds.) ICAISC 2012, Part II, LNCS (LNAI), vol. 7268, pp. 47-55, ISBN 9783642293498. Springer, Heidelberg (2012) [Preprint] [Publisher]

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

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. (2010) [Preprint] [Publisher]

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. (2010) [Preprint] [Publisher]

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. (2010) [Preprint] [Publisher]

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. (2009) [Preprint] [Publisher]

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, LNCS (LNAI), vol. 5590, pp. 911-922, ISBN 9783642029059. Springer, Heidelberg (2009) [Preprint] [Publisher]

P. Codara, O. M. D'Antona, V. Marra: Best Approximation of Ruspini Partitions in Gödel Logic. In: K. Melloudi (ed.) ECSQARU 2007, LNCS (LNAI), vol. 4724, pp. 161-172, ISBN 9783540752554. Springer, Heidelberg (2007) [Preprint] [Publisher]

P. Codara, O. M. D'Antona, V. Marra: Propositional Gödel Logic and Delannoy Paths. IEEE International Fuzzy Systems Conference (FUZZ-IEEE) 2007, pp. 1-5, ISSN 1098-7584, ISBN 1424412099. (2007) [Preprint] [Publisher]

 

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]

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

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]

 

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

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

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]

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

 

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

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

 

P. Codara, Rough partially ordered sets.

P. Codara, From Sets To Functions: Yet Another Elementary Example.

P. Codara, Regular Sublattices of a Finite Distributive Lattice.

P. Codara, et al., Enumeration of Partitions of Partially Ordered Sets.

P. Codara, O. D'Antona, V. Marra, Expressibility of fuzzy partitions in Łukasiewicz logic.

 

The independent subsets of powers of paths and cycles, Combinatorics 2012, Perugia, Italy, 2012. [abstract] [slides] [link]

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]

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]

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]

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]