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).