40 citations · 44 across the 2 of their papers we have counts for
2 papers
cs.AI2011★ 40 cited
Space Efficiency of Propositional Knowledge Representation Formalisms
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…
cs.AI1993★ 4 cited
Decidable Reasoning in Terminological Knowledge Representation Systems
M. Buchheit, F. M. Donini, A. Schaerf
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analy…