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.
2005
2005
A first order logic classifier system
Motivated by the intention to increase the expressive power of learning classifier systems, we developed a new Xcs derivative… 
Highly Cited
2002
Highly Cited
2002
Long‐term‐average, solar cycle, and seasonal response of magnetospheric energetic electrons to the solar wind speed
[1] Among the interplanetary activity parameters the solar wind speed is the one best correlated with the energetic electron… 
1998
1998
Istituto per La Ricerca Scientifica E Tecnologica Distributed First Order Logics Distributed First Order Logics
limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if… 
Review
1995
Review
1995
Introduction to Finite Elements
This work assumes a basic familiarity with the finite element method. For those readers desiring a better understanding of the… 
1991
1991
How to Prove Higher Order Theorems in First Order Logic
In this paper we are interested in using a first order theorem prover to prove theorems that are formulated in some higher order… 
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
1988
Highly Cited
1988
Fuzzy sets and applications: selected papers by L A Zadeh, R R Yager, S Ovchinikov, R M Tong, H T Nguyen (eds) John Wiley and Sons Inc, £45.85, ISBN 0 471 85710 6, 684pp
1979
1979
First order programming logic
First Order Programming Logic is a simple, yet powerful formal system for reasoning about recursive programs. In its simplest… 
1977
1977
A Network-Based Knowledge Representation and Its Natural Deduction System
We describe a knowledge representation scheme called KNET and a problem solving system called SNIFFER designed to answer queries… 
Highly Cited
1976
Highly Cited
1976
Refutation Graphs
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)