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.
2006
2006
Towards recognizing emotion with affective dimensions through body gestures
Due to the ever-increasing importance of computers in many areas of today's society such as e-learning, telehome-health care, and… 
Highly Cited
2001
Highly Cited
2001
Recognizing Multitasked Activities using Stochastic Context-Free Grammar
In this paper, we present techniques for characterizing complex, multi-tasked activities that require both exemplars and models… 
2000
2000
Efficient Rule-Based Attribute-Oriented Induction for Data Mining
Data mining has become an important technique which has tremendous potential in many commercial and industrial applications… 
1999
1999
A Rule-Based Interactive Behavioral Animation System for Humanoids
We present a versatile, behavioral, and rule-based animation system that includes autonomous humanoid actors whose behavior is… 
1991
1991
Empirical comparison of methods of fuzzy relational identification
A number of methods have been proposed for the identification and self learning of relational fuzzy models. The paper compares… 
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… 
Highly Cited
1990
Highly Cited
1990
Expert systems applications in construction management and engineering
Because of their characteristic attributes of combining factual knowledge with judgment, being able to handle incomplete and… 
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
1988
Highly Cited
1988
High-level synthesis of digital circuits using global scheduling and binding algorithms
The need to rapidly produce designs of digital integrated circuits has motivated the development of high-level synthesis tools… 
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… 
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)