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
2012
Highly Cited
2012
Genetic programming-based feature transform and classification for the automatic detection of pulmonary nodules on computed tomography images
Highly Cited
2008
Highly Cited
2008
A Case-Based Reasoning Approach to Imitating RoboCup Players
We describe an effort to train a RoboCup soccer-playing agent playing in the Simulation League using casebased reasoning. The… 
Highly Cited
2007
Highly Cited
2007
A deployment of an ontology-based reconfiguration agent for intelligent mechatronic systems
This paper discusses the extension of an ontology-based reconfiguration agent that uses ontological knowledge of the… 
Highly Cited
2001
Highly Cited
2001
A rule-based framework for role based delegation
In current role-based systems, security officers handle assignments of users to roles. However, fully depending on this… 
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
1992
Highly Cited
1992
An architecture for multi-user software development environments
We present an architecture for multi-user software development environments, covering general, process-centered and rule-based… 
Highly Cited
1991
Highly Cited
1991
Medical expert systems based on causal probabilistic networks
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
1983
Highly Cited
1983
Active Databases as a Paradigm for Enhanced Computing Environments
Abstract : Active databases emphasize the notion that a body of information is dynamic and should respond intelligently and in… 
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)