40 citations · 61 across the 6 of their papers we have counts for
1 paper · 1 filter
M. Cadoli, F. M. Donini, P. Liberatore +1
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece…