SLD Resolution @ Computer-Dictionary-Online.org
...SLD Resolution @ Computer Dictionary Online. Computer terminology definitions including.....SLD resolution .. Linear resolution with a selection function for definite sentences. A..
http://www.computer-dictionary-online.org/?q=SLD%20Resolution, score=36, date indexed=June 11, 2005, 5:58 pm

SLD resolution definition of SLD resolution in computing dictionary - by the...
...Computer term of SLD resolution in the Computing Dictionary and Thesaurus. Meaning of SLD.....SLD resolution - Linear resolution with a selection function for definite sentences. A definite sentence has.....SLD..  SLDRAM SLED Sledgehammer sleep slew rate.. SLG SLIB slice and dice slick slide..
http://computing-dictionary.thefreedictionary.com/SLD+resolution, score=30, date indexed=August 1, 2005, 4:25 pm

THEOREM PROVING
...The main focus of the seminars will be the SLD-resolution, which is the basis for the Prolog.....Correctness of the SLD-resolution, related strategies, and fixpoint semantics will be..
http://www.cs.bgu.ac.il/~zurab/theorem.html, score=26, date indexed=April 1, 2005, 11:40 pm

Prolog and Resolution
...Prolog and Resolution.. There are many different Prologs but they are all based on a.....SLD resolution. Note that the cut can affect completeness but not soundness. Note also.....SLD resolution can be guaranteed to be .. sound.. in that if an answer is obtained then it is..
http://computing.unn.ac.uk/staff/cgpb4/prologbook/node194.html, score=26, date indexed=February 22, 2005, 11:17 am

Citations: LUSH-Resolution and its Completeness - Hill (ResearchIndex)
...SLD resolution is sound and complete with respect to the least model semantics for answering.....it would have to be with SL resolution. Thus, the name SLD resolution, meaning SL.....Hill, LUSH-resolution and its completeness, DCS memo 78, Dept. of Artificial Intelligence..
http://citeseer.ist.psu.edu/context/234062/0, score=25, date indexed=February 15, 2005, 2:37 pm

SLD Resolution in TutorGig Dictionary
...The Free On-line Dictionary of Computing (27 SEP 03) SLD resolution Linear resolution with a.....Search for SLD Resolution in PriceGig .. Help build the largest human-edited directory on the.....Search for tutorials in SLD Resolution .. Search for SLD Resolution in TutorGig Dictionary..
http://www.tutorgig.com/d/SLD+Resolution, score=24, date indexed=February 9, 2005, 6:00 am

Citations: Logic-Programming Schemes and Their Implementations - Clark...
...2 SLD R resolution It is well known how to reformulate SLD resolution over definite programs.....This system will be our starting point for a formal definition of SLD resolution. SLD Resolution with.....SLD resolution over definite clause programs in terms of sets of equations rather than..
http://citeseer.ist.psu.edu/context/331270/0, score=23, date indexed=July 29, 2005, 1:11 pm

Citations: A resolution principle for constrained logics - Burckert...
...ffl The existential entailment algorithm can be combined with the constrained resolution.....12] to yield a refutation complete SLD resolution algorithm for recursive carin ALCNR. 1 In.....9] to yield a refutation complete SLD resolution algorithm for recursive CARIN ALCNR. 2..
http://citeseer.ist.psu.edu/context/142967/0, score=21, date indexed=February 16, 2005, 3:32 am

Citations: Generation And Compilation of E#cient Computation Rules -...
...Hence completeness of SLD resolution can be lost when transforming a logic program into a.....Hence completeness of SLD resolution can be lost when transforming a logic program into a..
http://citeseer.ist.psu.edu/context/1313941/0, score=21, date indexed=August 3, 2005, 7:50 pm

Page Previous 1 2