Decomposable negation normal form.
Knowledge compilation has been emerging recently as a new direction of research for dealing with the computational intractability of general propositional reasoning. According to this approach, the reasoning process is split into two phases: an off-line compilation phase and an on-line query-answeri...
| 發表在: | Journal of the ACM 48, 4 (2001). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |