Publications

Papers related to Fuzzy OSF Logic:

  • Gian Carlo Milanese and Gabriella Pasi. Fuzzy order-sorted feature logic. Fuzzy Sets and Systems, 477:108800, 2024. doi:https://doi.org/10.1016/j.fss.2023.108800.

  • Gian Carlo Milanese and Gabriella Pasi. Conjunctive reasoning on fuzzy taxonomies with order-sorted feature logic. In 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), volume, 1–7. 2021. doi:10.1109/FUZZ45933.2021.9494474.

Papers related to Similarity-based OSF Logic:

  • Gian Carlo Milanese and Gabriella Pasi. Similarity-based reasoning with order-sorted feature logic. IEEE Transactions on Fuzzy Systems, 32(5):2797–2810, 2024. doi:10.1109/TFUZZ.2024.3362897.

Papers related to the fosf library:

  • Gian Carlo Milanese and Gabriella Pasi. Implementing fuzzy osf logic unification and normalization (short paper). In Armin Biere, Carsten Lutz, and Sara Negri, editors, Automated Reasoning, 368–377. Cham, 2026. Springer Nature Switzerland. [Preprint], doi:10.1007/978-3-032-32592-1_22.