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
2003
Highly Cited
2003
  • F. Och, H. Ney
  • Computational Linguistics
  • 2003
  • Corpus ID: 5219389
We present and compare various methods for computing word alignments using statistical or heuristic models. We consider the five… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of context… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
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
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Probability and Random Variables Mathematical Description of Random Signals Response of Linear Systems to Random Inputs Wiener… Expand
  • figure 1.2
  • figure 1.2
  • figure 1.3
  • table 1.1
  • table 1.2
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
1975
Highly Cited
1975
sprightly style and is interesting from cover to cover. The comments, critiques, and summaries that accompany the chapters are… Expand
Is this relevant?