Pietro Galliani, Oliver Kutz, Nicolas Troquard. Succinctness and Complexity of ALC with Counting Perceptrons. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. pages 291-300, 2023. [doi]
@inproceedings{GallianiKT23,
title = {Succinctness and Complexity of ALC with Counting Perceptrons},
author = {Pietro Galliani and Oliver Kutz and Nicolas Troquard},
year = {2023},
doi = {10.24963/kr.2023/29},
url = {https://doi.org/10.24963/kr.2023/29},
researchr = {https://researchr.org/publication/GallianiKT23},
cites = {0},
citedby = {0},
pages = {291-300},
booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
isbn = {978-1-956792-02-7},
}