Publications
P. Baldi. Logic-Based Approximations of Preferences. In: Malvone, V., Murano, A. (eds) Multi-Agent Systems. EUMAS 2023. Lecture Notes in Computer Science(), vol 14282. Springer, Cham. https://doi.org/10.1007/978-3-031-43264-4_18
P.Baldi, H. Hosni (2022). Probability and Degrees of Truth. In Igor Sedlár (ed.), The Logica Yearbook, 2021. College Publications. pp. 1-18.
P. Baldi, H. Hosni. A Logic-based tractable approximation of probability. Journal of Logic and Computation, 2022. DOI: 10.1093/logcom/exac038
F. D’Asaro, P. Baldi, and G. Primiero. “Introducing k-lingo: a k-depth Bounded Version of ASP System
Clingo”. In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Nov.2021, pp. 661–665. DOI: 10.24963/kr.2021/65. URL: https://doi.org/10.24963/kr.2021/65.
P. Baldi, H. Hosni. Logical Approximations of Qualitative Probability. ISIPTA 2021. Proceedings of the Twelveth International Symposium on Imprecise Probability: Theories and Applications, PMLR 147:12–21, 2021.
P. Baldi, A. Ciabattoni, KP. Adlassnig. Bilattice CADIAG-II: Theory and Experimental Results. In: Phuong N.H., Kreinovich V. (eds) Soft Computing: Biomedical and Related Applications. Studies in Computational Intelligence, vol 981. Springer, Cham, 2021. https://doi.org/10.1007/978-3-030-76620-7_1
P. Baldi, P. Cintula, C. Noguera. Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. International Journal of Computational Intelligence Systems 13(1):988–1001, 2020. https://doi.org/10.2991/ijcis.d.200703.001
P. Baldi, H. Hosni. Depth-bounded Belief Functions. International Journal of Approximate Reasoning. 123:26-40, 2020. https://doi.org/10.1016/j.ijar.2020.05.001
P. Baldi, M. D’Agostino, H. Hosni “Depth-Bounded Approximations of Probability”, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2020). https://doi.org/10.1007/978-3-030-50153-2_45
P. Baldi, P. Cintula, C. Noguera. Translating classical probability logics into modal fuzzy logics. In M. Štěpnička, editor: Proceedings of EUSFLAT 2019, Atlantis Studies in Uncertainty Modelling, pp. 342–349. AtlantisPress, 2019.
P. Baldi, C. Fermueller, M. Hofer. On fuzzification mechanisms for unary quantification, Fuzzy Sets and Systems, 388(1):90-123, 2020. https://doi.org/10.1016/j.fss.2019.12.009
P. Baldi, P. Cintula, C. Noguera.Translating logics of uncertainty into two-layered modal fuzzy logics, Advances in Modal Logic (AiML 2018).
P. Baldi, C. Fermuelller. From Semi-Fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games, The 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2017). pdf
P. Baldi, A. Ciabattoni, F. Gulisano. Standard completeness for extensions of IMTL , (FUZZ-IEEE 2017). pdf
P. Baldi. A Calculus for Rational Lukasiewicz Logic and Related Systems, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016). pdf
P. Baldi, K. Terui. Densification of FL chains via residuated frames. Algebra Universalis. (2016) 75: 169. https://doi.org/10.1007/s00012-016-0372-5. pdf
Standard completeness: Proof-theoretic and algebraic methods, Phd Thesis, Vienna University of Technology, 2015. pdf
P. Baldi, A. Ciabattoni. Standard completeness for uninorm-based logics. IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo (Canada). pdf
P. Baldi, A. Ciabattoni. Uniform proofs of standard completeness for extensions of first-order MTL. Theoretical Computer Science (2015). pdf
P. Baldi. A note on standard completeness for some axiomatic extensions of uninorm logic. Soft Computing. 18(8): 1463-1470 (2014).
P. Baldi, A. Ciabattoni, L. Spendier. Standard Completeness for Extensions of MTL: an Automated Approach.Workshop on Logic, Language, Information and Computation (WoLLIC 2012).
Selected Talks
Degrees of Truth and Probability. Contributed Talk at Logica 2021. Hejnice monastery, Czechia, 27 September – 1 October 2021.
Logical Approximations of Qualitative Probability. Contributed Talk at ISIPTA 2021. 6-9 July 2021, online (originally planned in Granada).
Depth-Bounded Approximations of Probability. Contributed Talk at IPMU 2020. 15-19 June 2020, online (originally planned in Lisbon).
Depth-Bounded Belief Functions. Contributed Talk at International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2019). Ghent, Belgium, 3-6 July 2019.
Translating logics of uncertainty into two-layered modal fuzzy logics. Short Contributed Talk at Advances in Modal Logic (AiML 2018), Bern, Switzerland, August 26-31, 2018
Modeling vague quantifiers with fuzzy logic: an alternative approach . Contributed Talk at Manyval 2017, Toulouse, France, November 15-17, 2017
Towards a proof theory for fuzzy quantifiers: a calculus for Rational Lukasiewicz Logic. Contributed Talk at Logic, Algebra and Truth Degress (LATD 2016), Phalaborwa , South Africa, June 28-30, 2016.
Standard Completeness: Proof-theoretical and algebraic methods. Phd Defence. Vienna, 12 August , 2015. pdf
Standard Completeness: a novel algebraic approach. Workshop on admissible rules and Unification, II (WARU II) Les Diablerets, 30 January - 2 February, 2015.
Standard Completeness for Extensions of MTL: an Automated Approach. Contributed Talk at Logic, Algebra and Truth Degress (LATD 2012), Kanazawa , Japan, September 10-14, 20