Tommaso Flaminio ( CV )

Post Doctoral Fellow Artificial Intelligence Research Institute (IIIA) of Spanish National Research Council (CSIC) Juan de la Cierva Research Program

Contacts:

Research Interests:
• Uncertain Reasoning,
• Many-valued Logic,
• Probabilistic Logic,
• Algebraic Semantic of Many-valued Logic,
• Computational Complexity,

---

Publications (please also consult the BDLP database here):
• Edited Volumes:
  1. Flaminio T., Preining N., Spada L. Festschrift on the occasion of Franco Montagna's 60th birthday. Annals of Pure and Applied Logic 161 (2), 119-120, (2009).
• International Journals:
  1. Flaminio T., Montagna F., A Logical and Algebraic Approach to Conditional Probability, Arch. for Math. Logic, 44, vol. 4, (2005). (pdf)
  2. Flaminio T., A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability, in Lecture Notes in Computer Science, 3571, 714-725, (2005).
  3. Flaminio T., Marchioni E., T-norm Based Logics with an Independent Involutive Negation. Fuzzy Sets and Systems, 157, pp. 3125-3144. (2006). (pdf)
  4. Flaminio T., NP-Containment for the Coherence Tests of Assessment of Conditional Probability: a Fuzzy-Logical Approach. Arch. for Math. Logic, 46, 301-319 (2007). (pdf)
  5. Flaminio T., Marchioni E., Mixed rationales assessments of probabilistic and possibilistic measures. Eletronic Notes in Theoretical Computer Science, 169 , 33-42 (2007).
  6. Flaminio T., Godo L. , A logic for reasoning about probability of fuzzy events. Fuzzy Sets and Systems, 158 , 625-638 (2007). (pdf)
  7. Flaminio T., Strong non-standard completeness for fuzzy logics . Soft Computing. 12, 321-333 (2008). (pdf)
  8. Flaminio T., Pinna G. M., Tiezzi E. B. P., A complete fuzzy logical system to deal with trust management systems. Fuzzy Sets and Systems, 159, 1191-1207, (2008).
  9. Ciucci D., Flaminio T., Generalized rough approximations in ŁΠ½. International Journal of Approximate Reasoning, 48, pp. 544-558, (2008).
  10. Flaminio T., Montagna F., MV-algebras with internal states and probabilistic fuzzy logics International Journal of Approximate Reasoning 50, 138-152, (2009).
  11. Flaminio T., Tiezzi E. B.P, On Metric Temporal Łukasiewicz Logic Electronic Notes in Theoretical Computer Science 246 , pp. 71-85 (2009).
  12. Bova S., Flaminio T., The coherence of Łukasiewicz Assessments is NP-complete. International Journal of Approximare Reasoning 51, pp. 294-304 (2010).
  13. Flaminio T., Montagna F. , Models for many-valued probabilistic reasoning Journal of Logic and Computation 21(3), 447-464, (2011).
  14. Flaminio T., Godo L., Marchioni E. , Possibilistic states over finitely valued Łukasiewicz events Journal of Logic and Computation 21(3), 429-446, (2011).
  15. Fedel M., Flaminio T., Non-revesible betting games on fuzzy events: complexity and algebra. Fuzzy Sets and Systems 169, pp. 91-104 (2011).
  16. Flaminio T., Godo L., Marchioni E., Geometrical aspects of possibility measures on finite domain MV-clans, Soft Computing, to appear.
  17. Bastianoni S., Morandi F., Flaminio T., Pulselli R., Tiezzi E. B. P., Emergy and emergy algebra explained by means of ingenuous set theory, Ecological Modelling, to appear.
  
  
• Workshop and Conferences:
  1. Flaminio T., Montagna F.: A Logical and Algebraic Approach to Conditional Probability in Proceedings of IPMU'04, Perugia (Italy), april 2004.
  2. Flaminio T., Marchioni E.: Adding an Independent Involutive Negation to Monoidal T-norm Based Logic in ATNCL II, Barcelona (Spain), june, 2005. (pdf)
  3. Flaminio T., Marchioni E.: Adding an Independent Involutive Negation to Monoidal T-norm Based Logic in Proceedings of EUSFLAT'05, Barcelona (Spain), september 2005.
  4. Flaminio T., Godo L.: A logic for reasoning on fuzzy events. The Logic of Soft Computing IV, Ostrava (Czech Republic), october, 2005. (pdf)
  5. Flaminio T., Marchioni E.: Mixed rational assessments of probabilistic and possibilistic measures. Logic, Model and Computer Science (LMCS'06), Camerino (Italy), may 2006. (pdf)
  6. Flaminio T.: Ultraproduct in Fuzzy Logics. Symposium on Ordered Structures in Many-valued Logics, Massa Lubrense (Italy), june 2006. (pdf)
  7. Flaminio T., Pinna G.M., Tiezzi E.B.P.: A fuzzy approach to trust management systems . The Logic of Soft Computing V, Malaga (Spain), september 2006. (pdf)
  8. Ciucci D., Flaminio T.: Generalizing Rough Approzimation in ŁΠ½ . ISFUROS2006, Cuba, december 2006.
  9. Flaminio T., Montagna F.: An algebraic approach to states on MV-algebras. EUSFLAT 2007, Ostrava (Czech Republic), september 2007. (pdf)
  10. Flaminio T.: Probability on MV-events: a Many-Valued Logical Approach. Invited talk at "Foundations and Applications in Non-classical Logic". Pisa (Italy), april 2008. (pdf)
  11. Flaminio T., Montagna F.: SMV-algebras and Probabilistic Kripke Models. ManyVal'08. Milano (Italy), may 2008. (pdf)
  12. Godo L., Marchioni E., Flaminio T.: Possibilistic states: a logical formalization. ManyVal'08. Milano (Italy), may 2008.
  13. Flaminio T., Montagna F.: Integral representation for divisible SMVDelta-algebras. IPMU'08. Torremolinos (Spain), june 2008.
  14. Flaminio T., Montagna F.: SMV-algebras and probabilistic Kripke models: comparing the semantics. IPMU'08. Torremolinos (Spain), june 2008.
  15. Flaminio T., Tiezzi E. B. P., Metric Temporal Lukasiewicz Logic. WFLP'08. Siena (Italy), july 2008.
  16. Flaminio T., Hosni H.: On conditional many-valued events algebras. Algebra and Probability in Many-Valued Logics. Darmstadt (Germany), april 2009. (pdf)
  17. Bova S., Flaminio T.: On the complexity of de Finetti coherence criterion for Lukasiewicz Events. LoMoReVI, Cejcovice (Czech Republic), september 2009.
  18. Flaminio T., Godo L, Marchioni E.: Towards a betting interpretation for necessity measures on many-valued events ManyVal'10. Varese (Italy), may 2010.
  19. Di Nola A., Flaminio T. Generating the Variety of SMV-Algebras. ISMVL 2010, pages 140-143, Barcelona (Spain), may 2010.
  20. Fedel M., Flaminio T.: On the Complexity of Non-reversible Betting Games on Many-Valued Events. IPMU 2010, Vol 1, pages 90-97, Dortmund (Germany), june 2010.
  21. Di Nola A., Flaminio T.: On the hyperreal state space. LATD 2010, Prague (Czech Republic), september 2010.
  22. Aguzzoli S., Flaminio T., Marchioni E.: Some Categorical Equivalences Involving Godel Algebras. LATD 2010, Prague (Czech Republic), september 2010.
  23. Flaminio T., Godo L., Marchioni E.,: A modal logic for belief functions on MV-algebras. ASUV 2011, Salerno (Italy), may 2011.
  
  

  ---

  Invited Talks and Seminars:
  1. (November 2005). Testing the Coherence of Assessments of Conditional Probability in a Fuzzy Logical Setting. University of Milan, Italy. (pdf)
  2. (October 2006). A modal-logical approach to probability: from crisp to fuzzy events. University of Salerno, Italy. (pdf- in Italian)
  3. (June 2008). Probability of infinite-valued events: a many-valued logical approach. Institut d'Investigacio en Intelligencia Artificial (IIIA), Bellaterra, Barcelona, Spain.
  4. (October 2008). Algebraic and Kripke-style models for many-valued probabilistic logics University of Milan, Italy.
  5. (November 2009). The Coherence of Lukasiewicz Assessments is NP-complete. Probability, Uncertainty and Rationality, International workshop, 1-3 November 2009. Certosa di Pontignano, Siena, Italy.

  ---

  Last Modified: 01/2011

  ---