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

First-order logic

Known as: First-order-logic, First-order predicate calculus, FOL 
First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. It is also known as first… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining… Expand
  • table 1
  • table 3
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A… Expand
  • table I
  • figure 1
  • table II
  • table III
  • figure 2
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
2003
Highly Cited
2003
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • 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
1990
Highly Cited
1990
  • Melvin Fitting
  • Graduate Texts in Computer Science
  • 1990
  • Corpus ID: 10411039
This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to… Expand
  • table 2.1
  • table 2.2
  • figure 2.1
  • table 2.3
  • table 2.4
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The notion of a recognizable set of finite graphs is introduced. Every set of finite graphs, that is definable in monadic second… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal… 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
1972
Highly Cited
1972
USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC. 
Is this relevant?