Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,851,806 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
A Review of Definitions and Identifications of Specific Learning Disabilities in Malaysia and Challenges in Provision of Services
Jalan Yaakob Latif
,
Bandar Tun Razak
2014
Corpus ID: 73856913
This paper aims to highlight issues on differences in definitions and terminologies of specific learning disabilities used in…
Expand
Review
2006
Review
2006
Capacity Requirements for the One-to-One Backup Option in MPLS Fast Reroute
Rüdiger Martin
,
M. Menth
,
Korhan Canbolat
International Conference on Broadband…
2006
Corpus ID: 977984
MPLS fast reroute (MPLS-FRR) mechanisms deviate the traffic in case of network failures at the router closest to the outage…
Expand
2005
2005
the LEP Electroweak Working Group, 2 the SLD Electroweak and Heavy Flavour Groups Submitted to Physics Reports 1
2005
Corpus ID: 29807834
2002
2002
On Greatest Fixpoint Semantics of Logic Programming
M. Jaume
Journal of Logic and Computation
2002
Corpus ID: 27122019
The study of fixpoints has long been at the heart of logic programming. However, whereas least fixpoint semantics works well for…
Expand
2001
2001
Aspect-Oriented Programming using a Logic Meta Programming Language to express cross-cutting through a dynamic joinpoint structure.
K. Gybels
2001
Corpus ID: 61824719
2001
2001
Prolog Issues of an MCMC Algorithm
Nicos Angelopoulos
,
J. Cussens
International Conference on Applications of…
2001
Corpus ID: 18941432
We present a Markov chain Mode Carlo algorithm that operates on generic model structures that are represented by terms foun d in…
Expand
1999
1999
A Procedural Approach for Rule Based Update
S. Lakkaraju
,
Yan Zhang
Australian Joint Conference on Artificial…
1999
Corpus ID: 34218807
We consider the knowledge base update in which a knowledge base is realised by a normal logic program eind can be updated with an…
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
SLDNF-resolution with equality
J. Shepherdson
Journal of automated reasoning
1992
Corpus ID: 8084846
The classic results of logic programming are based on an underlying equality relation of syntactic identity. Jaffar, Lassez and…
Expand
1989
1989
The Range Form of Databases and Queries or: How to Avoid Floundering
H. Decker
Austrian Conference on Artificial Intelligence
1989
Corpus ID: 37712120
We define the range form of deductive databases and queries. We prove that transformation into range form preserves logical…
Expand