Space Efficiency of Propositional Knowledge Representation Formalisms

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf

Journal of Artificial Intelligence Research


 @article{cado-etal-00,
 title = {Space Efficiency of Propositional Knowledge
 Representation Formalisms},
 year = {2000},
 author = {Cadoli, Marco and Donini, Francesco M. and Liberatore,
 Paolo and Schaerf, Marco},
 journal = {Journal of Artificial Intelligence Research},
 pages = {1-31},
 volume = {13},
 }
 
HTTP download.
doi: doi:10.1613/jair.664