Negation normal form

Known as: NNF, Negational normal form, Normal form

In mathematical logic, a formula is in negation normal form if the negation operator (, not) is only applied to variables and the only other allowed…

Papers overview

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

2017

Recently, the fate of endocrine disruptors in environmentally relevant samples has attracted considerable attention…

2010

Throughout the 1990s, there were significant changes in population and employment distribution throughout many regions of…

2007

In this communication we present a new algorithm of lane detection and tracking. In the detection step, from the first frame of a…

2007

This paper proposes novel and effective techniques to estimate a radius to answer k-nearest neighbor queries. The first technique…

2005

This paper deals with mining the logical layer of the Semantic Web. Our approach adopts the hybrid system \(\mathcal{AL}\)-log as…

2003

A new probabilistic nearest neighbor (NN) filter algorithm which accounts for the probability that the NN measurement is a false…

2003

This paper presents a new algorithm to answer k -nearest neighbor queries called the Fractal k -Nearest Neighbor (k NNF ()). This…

1999

We present a proof procedure based on the KE calculus for propositional logic and its implementation as a short Prolog program…

1999

This thesis focuses on the second language (L2) acquisition of intonation by Dutch near-native speakers of (Modern) Greek. Five…

1993

We provide syntactic characterizations for a number of propositional model-based belief revision and update operators proposed in…