Tommaso Flaminio

Orcid: 0000-0002-9180-7808

According to our database1, Tommaso Flaminio authored at least 76 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Counterfactuals as modal conditionals, and their probability.
Artif. Intell., October, 2023

On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals.
Int. J. Approx. Reason., August, 2023

Reasoning about Probability via Continuous Functions.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

A modal logic for uncertainty: a completeness theorem.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

A Logic to Reason About f-Indices of Inclusion over Ł<sub>n</sub>.
Proceedings of the Fuzzy Logic and Technology, and Aggregation Operators, 2023

Conditional Objects as Possibilistic Variables.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

2022
On the expressive power of Łukasiewicz square operator.
J. Log. Comput., 2022

Prelinearity in (quasi-)Nelson logic.
Fuzzy Sets Syst., 2022

An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Towards a Unified View on Logics for Uncertainty.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Compound Conditionals as Random Quantities and Boolean Algebras.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Rotations of Gödel Algebras with Modal Operators.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Canonical Extensions of Conditional Probabilities and Compound Conditionals.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

2021
Logics of formal inconsistency based on distributive involutive residuated lattices.
J. Log. Comput., 2021

On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events.
Int. J. Approx. Reason., 2021

When Belief Functions and Lower Probabilities are Indistinguishable.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2021

Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
Three Characterizations of Strict Coherence on Infinite-Valued Events.
Rev. Symb. Log., 2020

Boolean algebras of conditionals, probability and logic.
Artif. Intell., 2020

On the representation of (weak) nilpotent minimum algebras.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019
Many-valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday.
Soft Comput., 2019

A Representation Theorem for Finite Gödel Algebras with Operators.
Proceedings of the Logic, Language, Information, and Computation, 2019

Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Sure-Wins Under Coherence: A Geometrical Perspective.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018
Convex MV-Algebras: Many-Valued Logics Meet Decision Theory.
Stud Logica, 2018

Strict Coherence on Many-Valued Events.
J. Symb. Log., 2018

Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218].
Int. J. Approx. Reason., 2018

Towards a probability theory for product logic: States, integral representation and reasoning.
Int. J. Approx. Reason., 2018

Logics for Strict Coherence and Carnap-Regular Probability Functions.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

2017
Layers of zero probability and stable coherence over Łukasiewicz events.
Soft Comput., 2017

Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.
J. Log. Comput., 2017

States of finite GBL-algebras with monoidal sum.
Fuzzy Sets Syst., 2017

On Boolean Algebras of Conditionals and Their Logical Counterpart.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

2016
Franco Montagna's Work on Provability Logic and Many-valued Logic.
Stud Logica, 2016

Graded logical approaches and their applications.
Fuzzy Sets Syst., 2016

Rational Beliefs Real Agents Can Have - A Logical Point of View.
Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers: Admitting Real-World Rationality, 2016

2015
Paraconsistency properties in degree-preserving fuzzy logics.
Soft Comput., 2015

Coherence in the aggregate: A betting method for belief functions on many-valued events.
Int. J. Approx. Reason., 2015

On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief.
Fuzzy Sets Syst., 2015

Heyting algebras with indiscernibility relations.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

Querying with Łukasiewicz logic.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

MTL-algebras that define the dual monoidal operation.
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015

On the Algebraic Structure of Conditional Events.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

2014
On the logical structure of de Finetti's notion of event.
J. Appl. Log., 2014

Lexicographic MV-algebras and lexicographic states.
Fuzzy Sets Syst., 2014

Exploring Infinitesimal Events through MV-algebras and non-Archimedean States.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

A Logical Descriptor for Regular Languages via Stone Duality.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Logics for belief functions on MV-algebras.
Int. J. Approx. Reason., 2013

Exploring Paraconsistency in Degree-Preserving Fuzzy Logics.
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, 2013

Zero-Probability and Coherent Betting: A Logical Point of View.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012
Geometrical aspects of possibility measures on finite domain MV-clans.
Soft Comput., 2012

A Note on the Convex Structure of Uncertainty Measures on MV-algebras.
Proceedings of the Synergies of Soft Computing and Statistics for Intelligent Data Analysis, 2012

Combination and Soft-Normalization of Belief Functions on MV-Algebras.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

The Epistemic Structure of de Finetti's Betting Problem.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Models for Many-Valued Probabilistic Reasoning.
J. Log. Comput., 2011

On the Logical Formalization of Possibilistic Counterparts of States over <i>n</i>-valued Łukasiewicz Events.
J. Log. Comput., 2011

Non-reversible betting games on fuzzy events: Complexity and algebra.
Fuzzy Sets Syst., 2011

Characterization of Generalized Necessity Functions in Łukasiewicz Logic.
Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
The coherence of Lukasiewicz assessments is NP-complete.
Int. J. Approx. Reason., 2010

Generating the Variety of SMV-Algebras.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

On the Complexity of Non-reversible Betting Games on Many-Valued Events.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods, 2010

2009
MV-algebras with internal states and probabilistic fuzzy logics.
Int. J. Approx. Reason., 2009

2008
Strong non-standard completeness for fuzzy logics.
Soft Comput., 2008

Generalized rough approximations in PI 1/2.
Int. J. Approx. Reason., 2008

A complete fuzzy logical system to deal with trust management systems.
Fuzzy Sets Syst., 2008

On Metric Temporal Lukasiewicz Logic.
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

2007
A logic for reasoning about the probability of fuzzy events.
Fuzzy Sets Syst., 2007

NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach.
Arch. Math. Log., 2007

An Algebraic Approach to States on MV-algebras.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
T-norm-based logics with an independent involutive negation.
Fuzzy Sets Syst., 2006

Mixed Rational Assessments of Possibility and Probability Measures.
Proceedings of the Workshop on Logic, Models and Computer Science, 2006

2005
A logical and algebraic treatment of conditional probability.
Arch. Math. Log., 2005

Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation.
Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, 2005

A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005


  Loading...