Skip to search formSkip to main contentSkip to account menu

Prenex normal form

Known as: Prenex form, PRENEX, Matrix (logic) 
A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers (referred to as the prefix) followed by a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
Analytical hierarchyArithmetical hierarchyBernays–Schönfinkel classConjunctive query

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
A Survey on Retrieval of Mathematical Knowledge
We present a survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 77 papers and… 
Highly Cited
2015
Highly Cited
2015
Solving QBF by Clause Selection
Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum… 
Highly Cited
2010
Highly Cited
2010
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two… 
Highly Cited
2005
Highly Cited
2005
Multiple Agent Event Detection and Representation in Videos
We propose a novel method to detect events involving multiple agents in a video and to learn their structure in terms of… 
Highly Cited
2000
Highly Cited
2000
PNF in Practice
Highly Cited
1998
Highly Cited
1998
Human action detection using PNF propagation of temporal constraints
In this paper we develop a representation for the temporal structure inherent in human actions and demonstrate an effective… 
Highly Cited
1996
Highly Cited
1996
Internal and External Evidence in the Identification and Semantic Categorization of Proper Names
We describe the proper name recognition and classification facility ("PNV') of the SPARSER natural language understanding system… 
Highly Cited
1993
Highly Cited
1993
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux
In this paper we have a closer look at one of the rules of the tableau calculus presented in [3], called the δ-rule, and the… 
Review
1985
Review
1985
Occupational Therapy: Practice Skills for Physical Dysfunction
PART ONE: HISTORY AND THEORY FOR THE TREATMENT OF PHYSICAL DYSFUNCTION Occupational performance and models for practice for… 
Highly Cited
1979
Highly Cited
1979
The decision problem: Solvable classes of quantificational formulas
Solvable Classes of Quantificational Formulas Burton Dreben and Warren D. Goldfarb, Harvard Univ. Skolem and Herbrand addressed… 
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)