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. In Proceedings of the 13th International Joint Conference on Automated Reasoning (IJCAR 2026). 2026. To appear. [Preprint].