BALDI, PAOLO
BALDI, PAOLO
Dipartimento di Filosofia Piero Martinetti
Probability and Degrees of Truth
2022 P. Baldi, H. Hosni
What's hot in uncertain reasoning
2022 P. Baldi
A logic-based tractable approximation of probability
2022 P. Baldi, H. Hosni
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
2021 F.A. D'Asaro, P. Baldi, G. Primiero
Bilattice CADIAG-II: Theory and Experimental Results
2021 P. Baldi, A. Ciabattoni, K.-. Adlassnig
Logical Approximations of Qualitative Probability
2021 P. Baldi, H. Hosni
Depth-bounded Belief functions
2020 P. Baldi, H. Hosni
Depth-Bounded Approximations of Probability
2020 P. Baldi, M. D’Agostino, H. Hosni
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
2020 P. Baldi, P. Cintula, C. Noguera
On fuzzification mechanisms for unary quantification
2020 P. Baldi, C.G. Fermüller, M.F.J. Hofer
Interview with Chris Fermueller
2019 P. Baldi
Translating Classical Probability Logics into Modal Fuzzy Logics
2019 P. Baldi, P. Cintula, C. Noguerac
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games
2017 P. Baldi, C. Fermueller
Standard completeness for extensions of IMTL
2017 P. Baldi, A. Ciabattoni, F. Gulisano
A Calculus for Rational Łukasiewicz Logic and Related Systems
2016 P. Baldi
Densification of FL chains via residuated frames
2016 P. Baldi, K. Terui
Standard Completeness for Uninorm-Based Logics
2015 P. Baldi, A. Ciabattoni
Uniform proofs of standard completeness for extensions of first-order MTL
2015 P. Baldi, A. Ciabattoni
A note on standard completeness for some extensions of uninorm logic
2014 P. Baldi
Standard completeness for extensions of MTL: An automated approach
2012 P. Baldi, A. Ciabattoni, L. Spendier