Sfoglia per Autore
Mostrati risultati da 1 a 20 di 20
Standard completeness for extensions of MTL: An automated approach
2012 P. Baldi, A. Ciabattoni, L. Spendier
A note on standard completeness for some extensions of uninorm logic
2014 P. Baldi
Uniform proofs of standard completeness for extensions of first-order MTL
2015 P. Baldi, A. Ciabattoni
Standard Completeness for Uninorm-Based Logics
2015 P. Baldi, A. Ciabattoni
A Calculus for Rational Łukasiewicz Logic and Related Systems
2016 P. Baldi
Densification of FL chains via residuated frames
2016 P. Baldi, K. Terui
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
Translating Classical Probability Logics into Modal Fuzzy Logics
2019 P. Baldi, P. Cintula, C. Noguerac
Interview with Chris Fermueller
2019 P. Baldi
Depth-Bounded Approximations of Probability
2020 P. Baldi, M. D’Agostino, H. Hosni
On fuzzification mechanisms for unary quantification
2020 P. Baldi, C.G. Fermüller, M.F.J. Hofer
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
2020 P. Baldi, P. Cintula, C. Noguera
Depth-bounded Belief functions
2020 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
Logical Approximations of Qualitative Probability
2021 P. Baldi, H. Hosni
Bilattice CADIAG-II: Theory and Experimental Results
2021 P. Baldi, A. Ciabattoni, K.-. Adlassnig
Probability and Degrees of Truth
2022 P. Baldi, H. Hosni
A logic-based tractable approximation of probability
2022 P. Baldi, H. Hosni
What's hot in uncertain reasoning
2022 P. Baldi
Mostrati risultati da 1 a 20 di 20
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile