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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
This article takes readers along the pathway of language learning and disorders across childhood and adolescence, highlighting… 
2007
2007
High-power broadband superluminescent diodes (SLDs) emitting in the 1.2-1.3-mum region are demonstrated using InAs-GaAs quantum… 
2000
2000
Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics… 
1994
1994
Multi-SLD resolution is a variant of SLD resolution based on a simple idea.: Let the allowed constraints be closed under… 
1993
1993
The main aim of this paper is to present a framework for tabulated SLDresolution that allows a strict separation between search… 
1990
1990
Numerous problems are encountered in realizing an adequate real time model for an aircraft engine. The purpose of this article is…