Paolo Baldi

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 15

Top Topics

Probability Mass

Belief Functions

Computationally Tractable

Top Venues

Int. J. Approx. Reason.

Publications

Paolo Baldi
Logic-Based Approximations of Preferences. EUMAS (2023)
Paolo Baldi, Hykel Hosni
A logic-based tractable approximation of probability. J. Log. Comput. 33 (3) (2023)
Paolo Baldi, Hykel Hosni
A Logic-based Tractable Approximation of Probability. CoRR (2022)
Paolo Baldi, Hykel Hosni
Logical Approximations of Qualitative Probability. ISIPTA (2021)
Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. KR (2021)
Paolo Baldi, Marcello D'Agostino, Hykel Hosni
Depth-Bounded Approximations of Probability. IPMU (3) (2020)
Paolo Baldi, Christian G. Fermüller, Matthias F. J. Hofer
On fuzzification mechanisms for unary quantification. Fuzzy Sets Syst. 388 (2020)
Paolo Baldi, Petr Cintula, Carles Noguera
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Paolo Baldi, Hykel Hosni
Depth-bounded Belief functions. Int. J. Approx. Reason. 123 (2020)
Paolo Baldi, Petr Cintula, Carles Noguera
Translating Classical Probability Logics into Modal Fuzzy Logics. EUSFLAT Conf. (2019)
Paolo Baldi, Christian G. Fermüller
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. EUSFLAT/IWIFSGN (1) (2017)
Paolo Baldi, Agata Ciabattoni, Francesca Gulisano
Standard completeness for extensions of IMTL. FUZZ-IEEE (2017)
Paolo Baldi
A Calculus for Rational Łukasiewicz Logic and Related Systems. IPMU (2) (2016)
Paolo Baldi, Agata Ciabattoni
Standard Completeness for Uninorm-Based Logics. ISMVL (2015)
Paolo Baldi, Agata Ciabattoni
Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603 (2015)
Paolo Baldi
A note on standard completeness for some extensions of uninorm logic. Soft Comput. 18 (8) (2014)
Paolo Baldi, Agata Ciabattoni, Lara Spendier
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC (2012)