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
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
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
Highly Cited
2002
Highly Cited
2002
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
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
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
  • 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 is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent… Expand
  • figure 2
Highly Cited
1993
Highly Cited
1993
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
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
USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC.