# Negation normal form

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- Constraints
- 2008

Various problems in artificial intelligence can be solved by translating them into a quantified boolean formula (QBF) andâ€¦Â (More)

Is this relevant?

2007

2007

- IJCAI
- 2007

Subsets of the Negation Normal Form formulas (NNFs) of propositional logic have received much attention in AI and proved asâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- ECAI
- 2004

We describe a new algorithm for compiling conjunctive normal form (CNF) into Deterministic Decomposable Negation Normal (d-DNNFâ€¦Â (More)

Is this relevant?

2004

2004

- Theor. Comput. Sci.
- 2004

Proving completeness ofNC-resolution under a linear restriction has been elusive; it is proved here for formulas in negationâ€¦Â (More)

Is this relevant?

2003

2003

- TABLEAUX
- 2003

Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkless, inâ€¦Â (More)

Is this relevant?

2003

2003

- 2003

Decomposable negation normal form (DNNF) was developed primarily for knowledge compilation. Formulas in DNNF are linkless, inâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- AAAI/IAAI
- 2002

We present a compiler for converting CNF formulas into deterministic, decomposable negation normal form (d-DNNF). This is aâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- J. ACM
- 2001

Knowledge compilation has been emerging recently as a new direction of research for dealing with the computational intractabilityâ€¦Â (More)

Is this relevant?

1999

1999

- IJCAI
- 1999

We propose a method for compiling proposit ional theories into a new tractable form that we refer to as decomposable negationâ€¦Â (More)

Is this relevant?

1997

1997

- ISMIS
- 1997

Completeness proofs that generalize the Anderson-Bledsoe excess literal argument are developed for calculi other than resolutionâ€¦Â (More)

Is this relevant?