A Survey on Knowledge Compilation (1998)
by
Marco Cadoli
,
Francesco M. Donini
| Citations: | 89 - 3 self |
BibTeX
@MISC{Cadoli98asurvey,
author = {Marco Cadoli and Francesco M. Donini},
title = {A Survey on Knowledge Compilation},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we survey recent results in knowledge compilation of propositional knowledge bases. We first define and limit the scope of such a technique, then we survey exact and approximate knowledge compilation methods. We include a discussion of compilation for non-monotonic knowledge bases. Keywords: Knowledge Representation, Efficiency of Reasoning
