Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
An improved method for forecasting enrollments based on fuzzy time series and particle swarm optimization
Highly Cited
2002
Highly Cited
2002
Quantitative considerations of dissolved barium as a tracer in the Arctic Ocean
[1] Dissolved barium (Ba) was measured along transects across Fram and Denmark Straits as part of the 1998 ARK-XIV/2 Polarstern… 
1999
1999
Do Not Claim Too Much: Second-order Logic and First-order Logic
The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is… 
Highly Cited
1996
Highly Cited
1996
Attempto Controlled English (ACE)
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain… 
Highly Cited
1990
Highly Cited
1990
Analysis, simulation and experimental study of chaos in the buck converter
A buck DC-DC power converter, whose input voltage is controlled by naturally sampled, constant-frequency PWM (pulse width… 
Highly Cited
1987
Highly Cited
1987
An Approach to Default Reasoning Based on a First-Order Conditional Logic
This paper presents an approach to default reasoning based on an extension to classical first-order logic. In this approach… 
Highly Cited
1983
Highly Cited
1983
Classification in the KL-ONE Knowledge Representation System
KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A… 
Highly Cited
1982
Highly Cited
1982
Completely Non-Clausal Theorem Proving
1967
1967
First Order Mathematical Logic
Where you can find the first order mathematical logic easily? Is it in the book store? On-line book store? are you sure? Keep in… 
Highly Cited
1966
Highly Cited
1966
The GUHA method of automatic hypotheses determination
SummaryThe presented method is an application of the mathematical logic and computer technique to the research problems of… 
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)