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
2011
Highly Cited
2011
Applying RBR and CBR to develop a VR based integrated system for machining fixture design
Highly Cited
2000
Highly Cited
2000
The technological mediation of the nursing-medical boundary
Norwegian medical emergency communication (AMK) centres are staffed by nurses, who administer requests for ambulance services or… 
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
1997
Highly Cited
1997
Probabilistic and Rule-Based Tagger of an Inflective Language- a Comparison
We present results of probabilistic tagging of Czech texts in order to show how these techniques work for one of the highly… 
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
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)