Melbourne, Australia. November 11-17, 2025.
ISSN: 2334-1033
ISBN: 978-1-956792-08-9
Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization
@inproceedings{KR2025-46,
title = {{Solving Unification in the Description Logic FL_bottom}},
author = {Morawska, Barbara and Marzec, Dariusz},
booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
pages = {467--476},
year = {2025},
month = {10},
doi = {10.24963/kr.2025/46},
url = {https://doi.org/10.24963/kr.2025/46},
}