Paolo Baldi

20 papers A* 1B 1C 2Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A logical framework for data-driven reasoning.
Log. J. IGPL
Paolo Baldi, Esther Anna Corsi, Hykel Hosni
2025 — conf
Weighted Assumption Based Argumentation to reason about ethical principles and actions.
CILC
Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca A. Lisi
2025 J jnl
Weighted Assumption Based Argumentation to reason about ethical principles and actions.
CoRR
Paolo Baldi, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca Alessandra Lisi
2023 J jnl
A logic-based tractable approximation of probability.
J. Log. Comput.
Paolo Baldi, Hykel Hosni
2023 C conf
Logic-Based Approximations of Preferences.
EUMAS
Paolo Baldi
2022 J jnl
A Logic-based Tractable Approximation of Probability.
CoRR
Paolo Baldi, Hykel Hosni
2021 A* conf
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo.
KR
Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero
2021 — conf
Logical Approximations of Qualitative Probability.
ISIPTA
Paolo Baldi, Hykel Hosni
2020 J jnl
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
Int. J. Comput. Intell. Syst.
Paolo Baldi, Petr Cintula, Carles Noguera
2020 — conf
Depth-Bounded Approximations of Probability.
IPMU (3)
Paolo Baldi, Marcello D'Agostino, Hykel Hosni
2020 J jnl
Depth-bounded Belief functions.
Int. J. Approx. Reason.
Paolo Baldi, Hykel Hosni
2020 J jnl
On fuzzification mechanisms for unary quantification.
Fuzzy Sets Syst.
Paolo Baldi, Christian G. Fermüller, Matthias F. J. Hofer
2019 — conf
Translating Classical Probability Logics into Modal Fuzzy Logics.
EUSFLAT Conf.
Paolo Baldi, Petr Cintula, Carles Noguera
2017 — conf
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games.
EUSFLAT/IWIFSGN (1)
Paolo Baldi, Christian G. Fermüller
2017 B conf
Standard completeness for extensions of IMTL.
FUZZ-IEEE
Paolo Baldi, Agata Ciabattoni, Francesca Gulisano
2016 — conf
A Calculus for Rational Łukasiewicz Logic and Related Systems.
IPMU (2)
Paolo Baldi
2015 — conf
Standard Completeness for Uninorm-Based Logics.
ISMVL
Paolo Baldi, Agata Ciabattoni
2015 J jnl
Uniform proofs of standard completeness for extensions of first-order MTL.
Theor. Comput. Sci.
Paolo Baldi, Agata Ciabattoni
2014 J jnl
A note on standard completeness for some extensions of uninorm logic.
Soft Comput.
Paolo Baldi
2012 C conf
Standard Completeness for Extensions of MTL: An Automated Approach.
WoLLIC
Paolo Baldi, Agata Ciabattoni, Lara Spendier