Tommaso Flaminio (40 publications)
In Press
"Logics for belief functions on MV-algebras",
International Journal of Approximate Reasoning, In Press.
Abstract
2013
"A note on the convex structure of uncertainty measures on MV-algebras",
6th International Conference on Soft Methods for Probability and Statistics (SMPS 2012). Advances in Intelligent and Soft Computing, R. Kruse et al. (eds.) , vol. 190, Konstanz (Germany), Springer Berlin Heidelberg, pp. 73-82, 04/10/2012.
Abstract
2012
"The epistemic structure of de Finetti's betting problem ",
9th Italian Convention on Computational Logic (CILC 2012). CEUR Workshop Proceedings Series, vol. 857, Rome, pp. 241--245, 6/06/2012.
Abstract
"De Finetti’s bets on partially evaluated Kripke frames",
Computability in Europe - Turing's Centenary, Cambridge, UK, 19/6/2012.
Abstract
"Relating fuzzy autoepistemic logic and Lukasiewicz KD45 modal logic",
Logic, Algebra and Truth Degrees 2012 (LATD 2012), Kanazawa, Japan, Japan Advanced Institute of Science and Technology & Kurt Gödel Society, pp. 35-39, 10/09/2012.
"Combination and Soft-Normalization of Belief Functions on MV-Algebras",
Modeling Decisions for Artificial Intelligence, MDAI 2012. Lecture Notes in Artificial Intelligence, V. Torra et al. (eds.) , vol. 7647, Girona (Spain), Springer-Verlag Berlin Heidelberg, pp. 23-34, 2012.
Abstract
"Finite Fortes. Their Algebras and Logics",
Logic, Algebra and Truth Degrees 2012 (LATD 2012), Kanazawa, Japan, Japan Advanced Institute of Science and Technology & Kurt Gödel Society, 2012.
"Geometrical aspects of possibility measures on finite domain MV-clans",
Soft Computing - A Fusion of Foundations, Methodologies and Applications, vol. 16, issue 11: Springer, pp. 1863-1873, 2012.
Abstract
2011
"Belief Functions on MV-algebras of Fuzzy Events Based on Fuzzy Evidence",
ECSQARU 2011. Lecture Notes in Artificial Intelligence, Weiru Liu (eds.) , vol. 6717, Belfast, Northern Ireland, UK, Springer, pp. 628-639, 29/06/2011.
Abstract
"A modal logic for belief functions on MV-algebras",
Algebraic Semantics for Uncertainty and Vagueness, Salerno, Italia, 18/05/2011.
"Characterization of Generalized Necessity Functions in Lukasiewicz Logic",
Nonlinear Mathematics for Uncertainty and Its Applications. Advances in Intelligent and Soft Computing, vol. 100, Beijing, China , pp. 619--626, 2011.
"Emergy and emergy algebra explained by means of ingenuous set theory",
Ecological Modelling, 2011.
"Models for Many-Valued Probabilistic Reasoning ",
Journal of Logic and Computation, vol. 21, issue 3, pp. 447--464, 2011.
"Non-reversible betting games on fuzzy events: Complexity and algebra",
Fuzzy Sets and Systems, vol. 169, pp. 91--104, 2011.
"On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events",
Journal of Logic and Computation, vol. 21, issue 3, pp. 429-446, 2011.
"Reasoning about Uncertainty of Fuzzy Events: an Overview",
Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives. Studies in Logic, P. Cintula, C. G.. Fermüller, L. Godo and P. Hájek (eds.) , no. 36, London, College Publications, pp. 367 - 401, 2011.
Abstract
2010
"A characterization of admissible Lukasiewicz assessments through t-SMV-algebras",
ManyVal 2010, Milan, Italy, 2010.
"Generating the Variety of SMV-Algebras",
ISMVL 2010. IEEE Computer Society 2010, 2010.
"On the Complexity of Non-reversible Betting Games on Many-Valued Events",
IPMU 2010. Communications in Computer and Information Science, E. Hüllermeier, R. Kruse, F. Hoffmann (eds.) , vol. 80, Dortmund, Germany, Springer, pp. 90-97, 2010.
"On the hyperreal state space",
Logic, Algebra and Truth Degrees 2010, Prague, Czech Republic, 2010.
"Some categorical equivalences involving Goedel algebras ",
Logic, Algebra and Truth Degrees 2010, Prague, Czech Republic, 2010.
"The coherence of Lukasiewicz assessments is NP-complete",
International Journal of Approximate reasoning, vol. 51, issue 3, pp. 294--304, 2010.
"Towards a betting interpretation for necessity measures of many-valued events",
ManyVal 2010, Milan, Italy, 2010.
2009
"MV-algebras with internal states and probabilistic fuzzy logics",
Internationa Journal of Approximate Reasoning, vol. 50, issue 1, pp. 138--152, 2009.
"On Metric Temporal Lukasiewicz Logic",
Electronic Notes in Theoretical Computer Science, vol. 246, pp. 71--85, 2009.
