Publications
P. Baldi, F.A D’Asaro, A Dyoub, FA Lisi. Weighted Assumption Based Argumentation to reason about ethical principles and actions. Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025), Alghero, Italy, June 25-27, 2025. ISSN 1613-0073
Baldi, P., & D’Asaro, F. A. (2025). Non-monotonic bounded reasoners. The Reasoner, 19(1). https://doi.org/10.54103/1757-0522/27548
Landes, J., Corsi, E.A., Baldi, P. (2024). Knowledge Representation, Scientific Argumen tation and Non-monotonic Logic. In: Hosni, H., Landes, J. (eds) Perspectives on Logics for Data-driven Reasoning. Logic, Argumentation & Reasoning, vol 35. Springer, Cham. https://doi.org/10.1007/978-3-031-77892-6_8.
P. Baldi, E. Corsi, H. Hosni, A logical framework for data-driven reasoning, Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, https://doi.org/10.1093/jigpal/jzae113
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).