BALDI, PAOLO

BALDI, PAOLO  

Dipartimento di Filosofia Piero Martinetti  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A logic-based tractable approximation of probability 2022 Paolo BaldiHykel Hosni Article (author) -
Probability and Degrees of Truth 2022 P. BaldiH. Hosni Book Part (author) -
What's hot in uncertain reasoning 2022 P. Baldi Article (author) -
Bilattice CADIAG-II: Theory and Experimental Results 2021 Baldi P. + Book Part (author) -
Logical Approximations of Qualitative Probability 2021 P. BaldiH. Hosni Book Part (author) -
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo 2021 Fabio Aurelio D'AsaroPaolo BaldiGiuseppe Primiero Book Part (author) -
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory 2020 Baldi P. + Article (author) -
On fuzzification mechanisms for unary quantification 2020 Baldi, Paolo + Article (author) -
Depth-Bounded Approximations of Probability 2020 Baldi, PaoloD’Agostino, MarcelloHosni, Hykel Book Part (author) -
Depth-bounded Belief functions 2020 P. BaldiH. Hosni Article (author) -
Interview with Chris Fermueller 2019 P. Baldi Article (author) -
Translating Classical Probability Logics into Modal Fuzzy Logics 2019 P. Baldi + Book Part (author) -
Standard completeness for extensions of IMTL 2017 Baldi P. + Book Part (author) -
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games 2017 P. Baldi + Book Part (author) -
A Calculus for Rational Łukasiewicz Logic and Related Systems 2016 P. Baldi Book Part (author) -
Densification of FL chains via residuated frames 2016 Baldi P. + Article (author) -
Uniform proofs of standard completeness for extensions of first-order MTL 2015 Baldi P. + Article (author) -
Standard Completeness for Uninorm-Based Logics 2015 Baldi P. + Book Part (author) -
A note on standard completeness for some extensions of uninorm logic 2014 Baldi P. Article (author) -
Standard completeness for extensions of MTL: An automated approach 2012 Baldi P. + Book Part (author) -