Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,213,918 papers from all fields of science
Search
Sign In
Create Free Account
First-order logic
Known as:
First-order-logic
, First-order predicate calculus
, FOL
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Attempto Controlled English
BIT predicate
Bernays–Schönfinkel class
Bounded quantifier
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Markov logic networks
Matthew Richardson
,
Pedro M. Domingos
Machine-mediated learning
2006
Corpus ID: 12698795
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A…
Expand
Highly Cited
2003
Highly Cited
2003
Description logic programs: combining logic programs with description logic
Benjamin N. Grosof
,
I. Horrocks
,
R. Volz
,
S. Decker
The Web Conference
2003
Corpus ID: 6381308
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic…
Expand
Highly Cited
2002
Highly Cited
2002
The complexity of first-order and monadic second-order logic revisited
M. Frick
,
Martin Grohe
Proceedings 17th Annual IEEE Symposium on Logic…
2002
Corpus ID: 1107899
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in…
Expand
Review
2001
Review
2001
Dynamic logic
D. Harel
,
D. Kozen
,
J. Tiuryn
SIGA
2001
Corpus ID: 9438806
From the Publisher: Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of…
Expand
Highly Cited
2001
Highly Cited
2001
Nominal Logic: A First Order Theory of Names and Binding
A. Pitts
Theoretical Aspects of Computer Software
2001
Corpus ID: 5634059
This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning…
Expand
Highly Cited
1997
Highly Cited
1997
On the Decision Problem for Two-Variable First-Order Logic
E. Grädel
,
Phokion G. Kolaitis
,
Moshe Y. Vardi
Bulletin of Symbolic Logic
1997
Corpus ID: 14868390
Abstract We identify the computational complexity of the satisfiability problem for FO2, the fragment of first-order logic…
Expand
Highly Cited
1994
Highly Cited
1994
Possibilistic logic
D. Dubois
,
J. Lang
,
H. Prade
1994
Corpus ID: 15754604
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent…
Expand
Highly Cited
1993
Highly Cited
1993
A translation approach to portable ontology specifications
T. Gruber
1993
Corpus ID: 15709015
Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common…
Expand
Highly Cited
1990
Highly Cited
1990
First-Order Logic and Automated Theorem Proving
M. 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
Highly Cited
1979
Highly Cited
1979
Introduction to Mathematical Logic
E. Mendelson
1979
Corpus ID: 120272612
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE