[1] : The Free On-line Dictionary of Computing (27 SEP 03)

sld resolution
     
        linear resolution with a selection function for definite
        sentences.  a definite sentence has exactly one positive
        literal in each clause and this literal is selected to be
        resolved upon, i.e.  replaced in the goal clause by the
        conjunction of negative literals which form the body of the
        clause.
     
        1995-06-03
     
     
see also:
resolution 

Resolution >> R Words
Resolution, definition of term: Resolution
resolution_pag1.html

SLD resolution - OneLook Dictionary Search
...Click on the first link on a line below to go directly to a page where "SLD resolution" is.....We found 2 dictionaries with English definitions that include the word SLD resolution: Tip.....Additional searches for SLD resolution... Search completed in 0.082 seconds. Dictionary Search..
http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=SLD+resolution, score=100, date indexed=February 20, 2005, 9:36 am

SLD resolution from FOLDOC
...logic, programming> (Selected, Linear, Definite) Linear resolution with a selection.....Why is SLD resolution important?] (2003-12-04) Try this search on Wikipedia, OneLook.....slash « slashdot effect « slave tty « SLD resolution » sleep » SLIB » sliding-window..
http://www.foldoc.org/foldoc/foldoc.cgi?SLD+resolution, score=84, date indexed=February 22, 2005, 12:19 pm

SLD resolution from FOLDOC
...logic, programming> (Selected, Linear, Definite) Linear resolution with a selection.....Why is SLD resolution important?] (2003-12-04) Try this search on Wikipedia, OneLook.....slash « slashdot effect « slave tty « SLD resolution » sleep » SLIB » sliding-window..
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?SLD, score=84, date indexed=February 14, 2005, 1:33 am

Information on SLD Resolution
...SLD resolution Linear resolution with a selection function for definite sentences. A definite.....1995-06-03) Find books on SLD Resolution on Amazon.com.. Request more information on SLD.....SLD Resolution.. 1 definition for SLD Resolution.. From The Free On-line Dictionary of..
http://www.wkonline.com/d/SLD_Resolution.html, score=82, date indexed=July 6, 2005, 4:42 am

Dictionary.com/sld resolution
...Get the Most Popular Sites for "sld resolution" 1 entry found for sld resolution. sld.....resolution with a selection function for definite.. sentences. A definite sentence has.....Perform a new search, or try your search for "sld resolution" at: Amazon.com - Shop for books..
http://dictionary.reference.com/search?q=sld%20resolution, score=55, date indexed=April 18, 2005, 7:48 pm

SLD Resolution | TutorGig.co.uk Dictionary
...The Free On-line Dictionary of Computing (27 SEP 03) SLD resolution Linear resolution with a.....Positive Divorce Resolution.....SLD Resolution | TutorGig.co.uk Dictionary....Advertiser or Webmaster?, Click Here! Dictionary..
http://www.tutorgig.co.uk/dict.jsp?keywords=SLD+Resolution, score=55, date indexed=April 26, 2005, 8:05 pm

SLD RESOLUTION - Definition
...Linear resolution with a selection function for definite sentences. A definite sentence..
http://www.hyperdictionary.com/computing/sld+resolution, score=51, date indexed=February 25, 2005, 9:54 pm

A direct proof for the completeness of SLD-resolution
...The completeness of SLD-resolution is a well known result in logic programming.Several proofs.....Theorem 3 (Completeness of SLD-Resolution, Independence of the Computation..Rule) Let R be a.....If P |= (Q),then there exists a SLD-refutation of Q via R with answer and a substitution..
http://www.inf.ethz.ch/~staerk/pdf/sld.pdf, score=46, date indexed=February 14, 2005, 11:36 pm

A full formalisation of SLD resolution in the calculus of inductive...
...the renaming process used in SLD-derivations is made explicit, thus introducing.....A full formalisation of SLD resolution in the calculus of inductive constructions.. Mathieu..
http://www-spi.lip6.fr/~jaume/abstractjar.html, score=36, date indexed=June 21, 2005, 1:23 am

Page 1 2 Next