Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,118,100 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Automated theorem proving
Backward chaining
Curry
Glossary of artificial intelligence
Expand
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
Lei Sun
,
Geraldine P. Wallach
2014
Corpus ID: 149690793
This article takes readers along the pathway of language learning and disorders across childhood and adolescence, highlighting…
Expand
2007
2007
Characterization and Modeling of Broad Spectrum InAs–GaAs Quantum-Dot Superluminescent Diodes Emitting at 1.2–1.3 $\mu$m
M. Rossetti
,
Lianhe H. Li
,
+6 authors
A. Kovsh
IEEE Journal of Quantum Electronics
2007
Corpus ID: 24907475
High-power broadband superluminescent diodes (SLDs) emitting in the 1.2-1.3-mum region are demonstrated using InAs-GaAs quantum…
Expand
2000
2000
SLT-Resolution for the Well-Founded Semantics
Yi-Dong Shen
,
Li-Yan Yuan
,
Jia-Huai You
Journal of automated reasoning
2000
Corpus ID: 3265571
Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics…
Expand
1997
1997
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language
Jimmy Ho-man Lee
,
P. K. C. Pun
Computer languages
1997
Corpus ID: 18845995
1994
1994
Multi-SLD Resolution
Donald A. Smith
,
T. Hickey
Logic Programming and Automated Reasoning
1994
Corpus ID: 43601662
Multi-SLD resolution is a variant of SLD resolution based on a simple idea.: Let the allowed constraints be closed under…
Expand
1993
1993
The Underlying Search for Magic Templates and Tabulation
R. Bol
,
Lars Degerstedt
International Conference on Logic Programming
1993
Corpus ID: 17923539
The main aim of this paper is to present a framework for tabulated SLDresolution that allows a strict separation between search…
Expand
1992
1992
A Linear Axiomatization of Negation as Failure
S. Cerrito
The Journal of Logic Programming
1992
Corpus ID: 13399047
1990
1990
An Algorithm and Criteria for Compressor Characteristics Real Time Modeling and Approximation
A. El-Gammal
1990
Corpus ID: 54589899
Numerous problems are encountered in realizing an adequate real time model for an aircraft engine. The purpose of this article is…
Expand
1990
1990
Unsolvable Problems for SLDNF Resolution
J. Shepherdson
The Journal of Logic Programming
1990
Corpus ID: 10661371
Review
1989
Review
1989
Development and construction of the SLD Cherenkov ring-imaging detector
D. Aston
,
A. Bean
,
+42 authors
H. Yuta
1989
Corpus ID: 123119867
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)
ACCEPT & CONTINUE