Paolo Baldi

According to our database, Paolo Baldi authored at least 16 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A logic-based tractable approximation of probability.

Paolo Baldi, Hykel Hosni

J. Log. Comput., April, 2023

Logic-Based Approximations of Preferences.

Paolo Baldi

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2021

Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo.

Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Logical Approximations of Qualitative Probability.

Paolo Baldi, Hykel Hosni

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2021

2020

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.

Paolo Baldi, Petr Cintula, Carles Noguera

Int. J. Comput. Intell. Syst., 2020

Depth-bounded Belief functions.

Paolo Baldi, Hykel Hosni

Int. J. Approx. Reason., 2020

On fuzzification mechanisms for unary quantification.

Paolo Baldi, Christian G. Fermüller, Matthias F. J. Hofer

Fuzzy Sets Syst., 2020

Depth-Bounded Approximations of Probability.

Paolo Baldi, Marcello D'Agostino, Hykel Hosni

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019

Translating Classical Probability Logics into Modal Fuzzy Logics.

Paolo Baldi, Petr Cintula, Carles Noguera

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2017

Standard completeness for extensions of IMTL.

Paolo Baldi, Agata Ciabattoni, Francesca Gulisano

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games.

Paolo Baldi, Christian G. Fermüller

Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

2016

A Calculus for Rational Łukasiewicz Logic and Related Systems.

Paolo Baldi

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

2015

Uniform proofs of standard completeness for extensions of first-order MTL.

Paolo Baldi, Agata Ciabattoni

Theor. Comput. Sci., 2015

Standard Completeness for Uninorm-Based Logics.

Paolo Baldi, Agata Ciabattoni

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

2014

A note on standard completeness for some extensions of uninorm logic.

Paolo Baldi

Soft Comput., 2014

2012

Standard Completeness for Extensions of MTL: An Automated Approach.

Paolo Baldi, Agata Ciabattoni, Lara Spendier

Proceedings of the Logic, Language, Information and Computation, 2012