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.

  • Gian Carlo Milanese and Gabriella Pasi. Similarity-based OSF logic for flexible sparql query answering. Accepted at the 25th International Semantic Web Conference (ISWC 2026), Posters and Demo Track, 2026. To appear. [Preprint].