Skip to search formSkip to main contentSkip to account menu

First-order predicate

Known as: First-order, One-place predicate, Two-place predicate 
In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Recent work has demonstrated that deep neural networks are vulnerable to adversarial examples---inputs that are almost… 
Review
2003
Review
2003
A review of the literature suggests that few studies use formative indicator measurement models, even though they should… 
Highly Cited
2003
Highly Cited
2003
  • F. OchH. Ney
  • International Conference on Computational Logic
  • 2003
  • Corpus ID: 5219389
We present and compare various methods for computing word alignments using statistical or heuristic models. We consider the five… 
Highly Cited
2000
Highly Cited
2000
We discuss a multilinear generalization of the singular value decomposition. There is a strong analogy between several properties… 
Highly Cited
1997
Highly Cited
1997
Probability and Random Variables Mathematical Description of Random Signals Response of Linear Systems to Random Inputs Wiener… 
Highly Cited
1995
Highly Cited
1995
The long-anticipated revision of this #1 selling book offers the most comprehensive, state of the art introduction to the theory… 
Highly Cited
1987
Highly Cited
1987
  • R. Reiter
  • Artificial Intelligence
  • 1987
  • Corpus ID: 15629917
Highly Cited
1985
Highly Cited
1985
The course to be followed by a motorist having a preselected destination is indicated by a plurality of markers set in the center… 
Highly Cited
1976
Highly Cited
1976
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint… 
Highly Cited
1971
Highly Cited
1971