Succinctness and Complexity of ALC with Counting Perceptrons

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]

Authors

Pietro Galliani

This author has not been identified. Look up 'Pietro Galliani' in Google

Oliver Kutz

This author has not been identified. Look up 'Oliver Kutz' in Google

Nicolas Troquard

This author has not been identified. Look up 'Nicolas Troquard' in Google