Comparing Space Efficiency of Propositional Knowledge Representation Formalisms

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

Proceedings of the LICS-99 workshop on Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model Theory


 @inproceedings{cado-etal-99-c,
 title = {Comparing Space Efficiency of Propositional Knowledge
 Representation Formalisms},
 year = {1999},
 author = {Cadoli, Marco and Donini, Francesco M. and Liberatore,
 Paolo and Schaerf, Marco},
 booktitle = {Proceedings of the LICS-99 workshop on
 Complexity-theoretic and Recursion-theoretic methods in
 Databases, Artificial Intelligence and Finite Model Theory},
 pages = {13-22},
 }