BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
resolut (7)
databas (2)
semant (2)
proof (2)
reflect (2)

Stem sld$ (all stems)

12 papers:

CIKMCIKM-2006-ShahCJ #detection #documentation #representation
Representing documents with named entities for story link detection (SLD) (CS, WBC, DJ), pp. 868–869.
ICLPCL-2000-Brass #named #query #web
SLDMagic — The Real Magic (With Applications to Web Queries) (SB), pp. 1063–1077.
ICLPJICSLP-1996-Decker #abduction #database #deduction #maintenance
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.
ICLPICLP-1995-BarklundDCL #semantics
Semantical Properties of SLD-Resolution with Reflection (JB, PD, SC, GAL), p. 830.
ICLPILPS-1995-CominiLM #abstraction #composition
Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.
PPDPPLILP-1994-Smith #multi #why
Why Multi-SLD Beats SLD (Even on a Uniprocessor) (DAS), pp. 40–56.
ICLPILPS-1994-BarklundDCL #named
SLD — Resolution with Reflection (JB, PD, SC, GAL), pp. 554–568.
PPDPPLILP-1991-Boye #logic programming #named #semantics #source code
S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures (JB), pp. 383–393.
CSLCSL-1989-Stark #proving
A Direct Proof for the Completeness of SLD-Resolution (RFS), pp. 382–383.
ICLPICLP-1987-Vieille87 #proving
A Database-Complete Proof Procedure Based on SLD-Resolution (LV), pp. 74–103.
A Theoretical Combination of SLD-Resolution and Narrowing (AY), pp. 470–487.
ICLPSLP-1986-GallierR86 #horn clause #similarity
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.