Sfoglia per Autore BALDI, PAOLO
Standard completeness for extensions of MTL: An automated approach
2012-01-01 Baldi, P.; Ciabattoni, A.; Spendier, L.
A note on standard completeness for some extensions of uninorm logic
2014-01-01 Baldi, P
Standard Completeness for Uninorm-Based Logics
2015-01-01 Baldi, P.; Ciabattoni, A.
Uniform proofs of standard completeness for extensions of first-order MTL
2015-01-01 Baldi, P.; Ciabattoni, A.
Densification of FL chains via residuated frames
2016-01-01 Baldi, P; Terui, K
A calculus for rational Łukasiewicz logic and related systems
2016-01-01 Baldi, P.
Standard completeness for extensions of IMTL
2017-01-01 Baldi, Paolo; Ciabattoni, Agata; Gulisano, Francesca
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games
2018-01-01 Baldi, P.; Fermuller, C. G.
Translating Classical Probability Logics into Modal Fuzzy Logics
2019-01-01 Baldi, P.; Cintula, P.; Noguera, C.
Interview with Chris Fermueller
2019-01-01 Baldi, P.
Depth-bounded Belief functions
2020-01-01 Baldi, P.; Hosni, H.
Depth-Bounded Approximations of Probability
2020-01-01 Baldi, P.; D'Agostino, M.; Hosni, H.
On fuzzification mechanisms for unary quantification
2020-01-01 Baldi, Paolo.; Fermueller, Christian G; Hofer, Matthias
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
2020-01-01 Baldi, P.; Cintula, P.; Noguera, C.
Logical Approximations of Qualitative Probability
2021-01-01 Baldi, P.; Hosni, H.
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
2021-01-01 D'Asaro, F. A.; Baldi, P.; Primiero, G.
Bilattice CADIAG-II: Theory and Experimental Results
2021-01-01 Baldi, P.; Ciabattoni, A.; Adlassnig, K. -P.
Probability and Degrees of Truth
2022-01-01 Baldi, P.; Hosni, H.
What's hot in uncertain reasoning
2022-01-01 Baldi, P.
Logic-Based Approximations of Preferences
2023-01-01 Baldi, Paolo
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