Sfoglia per Autore  BALDI, PAOLO

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