Skip to search formSkip to main contentSkip to account menu

Logic programming

Known as: Relational programming, Logic programming language, Logical (programming) 
Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abductive logic programmingAbductive reasoningActor modelAlma-0

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Automatic Time Expression Labeling for English and Chinese Text
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified… 
Highly Cited
2000
Highly Cited
2000
Moving object tracking in video
The advance of technology makes video acquisition devices better and less costly, thereby increasing the number of applications… 
Highly Cited
1998
Highly Cited
1998
Localization of a wheeled mobile robot by sensor data fusion based on a fuzzy logic adapted Kalman filter
Highly Cited
1993
Highly Cited
1993
Second-order signature: a tool for specifying data models, query processing, and optimization
We propose a framework for the specification of extensible database systems. A particular goal is to implement a software… 
Highly Cited
1993
Highly Cited
1993
A knowledge-based approach to design for manufacturability
In the light of growing global competition, organizations around the world today are constantly under pressure to produce high… 
Highly Cited
1991
Highly Cited
1991
Medical expert systems based on causal probabilistic networks
Highly Cited
1990
Highly Cited
1990
A hierarchical approach to designing approximate reasoning-based controllers for dynamic physical systems
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with… 
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they… 
Highly Cited
1986
Highly Cited
1986
Support logic programming
This article describes a support logic programming system which uses a theory of support pairs to model various forms of… 
Highly Cited
1985
Highly Cited
1985
The Representation and Deductive Retrieval of Complex Objects
The Relational Data Model and Relational Calculus are extended with Unification and non-recursive Horn Clauses from Logic. The… 
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)