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

Related topics

Related topics

50 relations
Attempto Controlled EnglishBIT predicateBernays–Schönfinkel classBounded quantifier
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Lifted First-Order Belief Propagation
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
Markov logic networks
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
An infrastructure for context-awareness based on first order logic
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
Description logic programs: combining logic programs with description logic
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
First-Order Modal Logic
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
First-Order Logic and Automated Theorem Proving
  • 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 Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs
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
Introduction to Mathematical Logic
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
The Semantics of Predicate Logic as a Programming Language
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
A mathematical introduction to logic
USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC. 
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE