@inproceedings{16369, title = "The Transformation Logics", author = "Alessandro Ronca", year = "2024", booktitle = "Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI)", keywords = "Knowledge Representation and Reasoning: KRR: Knowledge representation languages; Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning; Knowledge Representation and Reasoning: KRR: Qualitative, geometric, spatial, and temporal reasoning", url = "https://doi.org/10.24963/ijcai.2024/393", }