Skip to search formSkip to main contentSkip to account menu

Skolem normal form

Known as: Skolem prenex form, Skolem Standard Form, Skolemization 
In mathematical logic, reduction to Skolem normal form (SNF) is a method for removing existential quantifiers from formal logic statements, often… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Automated theorem provingClause (logic)Conjunctive normal formDrinker paradox

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Fully Connected Object Proposals for Video Segmentation
We present a novel approach to video segmentation using multiple object proposals. The problem is formulated as a minimization of… 
Highly Cited
2012
Highly Cited
2012
Sparse projections onto the simplex
Most learning methods with rank or sparsity constraints use convex relaxations, which lead to optimization with the nuclear norm… 
Highly Cited
2011
Highly Cited
2011
Hyperspectral remote sensing for estimating aboveground biomass and for exploring species richness patterns of grassland habitats
Dry grassland sites are amongst the most species-rich habitats of central Europe and it is necessary to design effective… 
Highly Cited
2010
Highly Cited
2010
A Simple Algorithm for Nuclear Norm Regularized Problems
Optimization problems with a nuclear norm regularization, such as e.g. low norm matrix factorizations, have seen many… 
Highly Cited
2010
Highly Cited
2010
On the Impact of Design Flaws on Software Defects
The presence of design flaws in a software system has a negative impact on the quality of the software, as they indicate… 
Highly Cited
2006
Highly Cited
2006
Spatial distribution of PM2.5 associated organic compounds in central California
Highly Cited
2005
Highly Cited
2005
Pattern and process: competition causes regular spacing of individuals within plant populations
1 We used simulated and experimental plant populations to analyse mortality‐driven pattern formation under size‐dependent… 
Highly Cited
2002
Highly Cited
2002
Landscape ecology: a framework for integrating pattern and process in river corridors
Investigations of European floodplain rivers demonstrate how landscape ecology can provide an effective framework to integrate… 
Review
2001
Review
2001
The current and potential contribution of asymbiotic nitrogen fixation to nitrogen requirements on farms: a review
Significant levels of biological nitrogen fixation from sources other than nodulated legumes have become a tantalizing prospect… 
Highly Cited
1995
Highly Cited
1995
Embedding defaults into terminological knowledge representation formalisms
We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)