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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALC… (More)
Is this relevant?
Review
2017
Review
2017
This article reviews the design and analysis of simulation experiments. It focusses on analysis via either low-order polynomial… (More)
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Unifying first-order logic and probability is a long-standi g goal of AI, and in recent years many representations combining… (More)
  • table 1
  • table 3
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
➤ Inference: combine variable elimination and unification ➣ One step of first-order variable elimination corresponds to an… (More)
Is this relevant?
2003
2003
We present an extension of Binary Decision Diagrams BDDs such that they can be used for predicate logic We present a sound and… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we define a translation of UML class diagrams with OCL constraints into first-order predicate logic. The goal is… (More)
  • figure 1
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We study mobile systems, i.e. systems with a dynamically changing communication topology, from a process algebras point of view… (More)
  • table 2-2
  • table 5-1
  • table 5-2
Is this relevant?
1984
1984
Some problems concerning the satistiability of first-order predicate calculus formulae in Schonfinkel-Bernays form provide a… (More)
  • table I
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… (More)
Is this relevant?
1969
1969
This paper is concerned with the relationship of the termination problem for programs and abstract programs to the validity of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?