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
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
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
Highly Cited
2002
Highly Cited
2002
Using First-Order Logic for Product Line Model Validation
Product line models are used to drive the generation of requirements for single systems in the product line. They are difficult… Expand
Review
2001
Review
2001
Dynamic logic
From the Publisher: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of… Expand
  • figure 9.2
  • figure 9.3
Highly Cited
1997
Highly Cited
1997
On the decision problem for two-variable first-order logic
We identify the computational complexity of the satisfiability problem for FO2, the fragment of first-order logic consisting of… Expand
Highly Cited
1996
Highly Cited
1996
First-Order Logic and Automated Theorem Proving
  • M. Fitting
  • Graduate Texts in Computer Science
  • 1996
    • 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
Highly Cited
1994
Highly Cited
1994
Possibilistic logic
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent… Expand
  • figure 2
Highly Cited
1993
Highly Cited
1993
A translation approach to portable ontology specifications
Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common… Expand
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
Highly Cited
1972
Highly Cited
1972
A mathematical introduction to logic
USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC. 
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