Succinctness and Complexity of ALC with Counting Perceptrons.

Pietro Galliani, Oliver Kutz, Nicolas Troquard

Browse the full KR paper archive.