Skip to search formSkip to main contentSkip to account menu

SLD resolution

Known as: SLD, Standard Linear Derivation 
SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Automated theorem provingBackward chainingCurryGlossary of artificial intelligence

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Language Disorders Are Learning Disabilities: Challenges on the Divergent and Diverse Paths to Language Learning Disability
This article takes readers along the pathway of language learning and disorders across childhood and adolescence, highlighting… 
2007
2007
Characterization and Modeling of Broad Spectrum InAs–GaAs Quantum-Dot Superluminescent Diodes Emitting at 1.2–1.3 $\mu$m
High-power broadband superluminescent diodes (SLDs) emitting in the 1.2-1.3-mum region are demonstrated using InAs-GaAs quantum… 
2005
2005
CCD-based vertex detectors
2000
2000
SLT-Resolution for the Well-Founded Semantics
Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics… 
1997
1997
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language
1994
1994
Multi-SLD Resolution
Multi-SLD resolution is a variant of SLD resolution based on a simple idea.: Let the allowed constraints be closed under… 
1993
1993
The Underlying Search for Magic Templates and Tabulation
The main aim of this paper is to present a framework for tabulated SLDresolution that allows a strict separation between search… 
1992
1992
A Linear Axiomatization of Negation as Failure
1990
1990
An Algorithm and Criteria for Compressor Characteristics Real Time Modeling and Approximation
Numerous problems are encountered in realizing an adequate real time model for an aircraft engine. The purpose of this article is… 
1990
1990
Unsolvable Problems for SLDNF Resolution
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)