UNIF 2025
- Sławomir Kost and Barbara Morawska. The unification type of the description logic FL⊥ is nullary. In Informal Proceedings of the 39th International Workshop on Unification (UNIF 2025), Birmingham, UK, July 2025. Presented at UNIF 2025. https://inria.hal.science/UNIF2025/hal-05148632v1
- Barbara Morawska, Sławomir Kost, Dariusz Marzec, and Michał Henne. FILO: unication solver for FL0. In Informal Proceedings of the 39th International Workshop on Unification (UNIF2025), Birmingham, United Kingdom, July 2025. https://inria.hal.science/UNIF2025/hal-05148721v1
DL 2025
- Barbara Morawska and Sławomir Kost. Around Unification in FL⊥- Three Related Problems (extended abstract). In Proceedings of the 38th International Workshop on Description Logics (DL 2025), CEUR Workshop Proceedings, Vol-4091, 2025. https://ceur-ws.org/Vol-4091/paper30.pdf
- Barbara Morawska, Dariusz Marzec, Sławomir Kost, and Michał Henne. Filo: Unification solver for FL0 (extended abstract). In Proceedings of the 38th International Workshop on Description Logics (DL 2025), volume 4091. CEUR Workshop Proceedings, 2025. https://ceur-ws.org/Vol-4091/paper31.pdf
KR 2025
- Barbara Morawska and Dariusz Marzec. Solving Unification in the Description Logic FL⊥. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), pages 467 476. IJCAI Organization, 2025. https://proceedings.kr.org/2025/46/
Technical Reports
- Barbara Morawska and Dariusz Marzec. Solving unification in the description logic FL⊥. arXiv preprint arXiv:2405.00912, 2025. https: //arxiv.org/abs/2405.00912.
- Barbara Morawska, Dariusz Marzec, Sławomir Kost, and Michał Henne. Filo automated unification in FL0. arXiv preprint arXiv:2502.14130, February 2025. https://arxiv.org/abs/2502.14130
MA Thesis
- Michał Henne. Pushdown games and their application in the description logic FL0. Master’s thesis, University of Opole, Opole, Poland, 2025.
