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...

Full beskrivning

Bibliografiska uppgifter

I publikationen:	Journal of the ACM 48, 4 (2001).
Huvudupphovsman:	Darwiche, A.
Materialtyp:	Artikel
Språk:	English
Ämnen:	Computing methodologies. Symbolic and algebraic manipulation. Artificial intelligence. Applications and expert systems. Deduction and theorem proving. Knowledge representation formalisms and methods. Algorithms. Languages.