Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2007
Review
2007
Publisher Summary First-order modal logics are modal logics in which the underlying propositional logic is replaced by a first… Expand
Review
2003
Review
2003
A review of the literature suggests that few studies use formative indicator measurement models, even though they should… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Highly Cited
2003
Highly Cited
2003
We present and compare various methods for computing word alignments using statistical or heuristic models. We consider the five… Expand
Highly Cited
2000
Highly Cited
2000
We discuss a multilinear generalization of the singular value decomposition. There is a strong analogy between several properties… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
Highly Cited
1990
Highly Cited
1990
  • E. Emerson
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
  • Corpus ID: 6062082
Publisher Summary This chapter discusses temporal and modal logic. The chapter describes a multiaxis classification of systems of… Expand
Highly Cited
1988
Highly Cited
1988
It has often been noted that the performance of existing learning systems is strongly biased by the vocabulary provided in the… Expand
Review
1981
Review
1981
Abstract A computer program capable of acting intelligently in the world must have a general representation of the world in terms… Expand
  • figure 1
  • figure 3
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… Expand