Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SLD_resolution> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- SLD_resolution abstract "SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.".
- SLD_resolution wikiPageExternalLink logic.html.
- SLD_resolution wikiPageExternalLink ?SLD+resolution.
- SLD_resolution wikiPageExternalLink sld-gallier.pdf.
- SLD_resolution wikiPageID "11594091".
- SLD_resolution wikiPageLength "9864".
- SLD_resolution wikiPageOutDegree "16".
- SLD_resolution wikiPageRevisionID "655100841".
- SLD_resolution wikiPageWikiLink And-or_tree.
- SLD_resolution wikiPageWikiLink And–or_tree.
- SLD_resolution wikiPageWikiLink Backward_chaining.
- SLD_resolution wikiPageWikiLink Backward_reasoning.
- SLD_resolution wikiPageWikiLink Category:Logic_programming.
- SLD_resolution wikiPageWikiLink Category:Rules_of_inference.
- SLD_resolution wikiPageWikiLink Completeness_(logic).
- SLD_resolution wikiPageWikiLink Horn_clause.
- SLD_resolution wikiPageWikiLink Jean_Gallier.
- SLD_resolution wikiPageWikiLink John_Alan_Robinson.
- SLD_resolution wikiPageWikiLink Logic_programming.
- SLD_resolution wikiPageWikiLink Negation_as_failure.
- SLD_resolution wikiPageWikiLink Prolog.
- SLD_resolution wikiPageWikiLink Resolution_(logic).
- SLD_resolution wikiPageWikiLink Robert_Kowalski.
- SLD_resolution wikiPageWikiLink Rule_of_inference.
- SLD_resolution wikiPageWikiLink Soundness.
- SLD_resolution wikiPageWikiLink Unification_(computer_science).
- SLD_resolution wikiPageWikiLink Unification_(computing).
- SLD_resolution wikiPageWikiLinkText "SL-resolution".
- SLD_resolution wikiPageWikiLinkText "SLD resolution".
- SLD_resolution wikiPageWikiLinkText "SLD-resolution".
- SLD_resolution wikiPageWikiLinkText "SLDNF".
- SLD_resolution hasPhotoCollection SLD_resolution.
- SLD_resolution subject Category:Logic_programming.
- SLD_resolution subject Category:Rules_of_inference.
- SLD_resolution hypernym Rule.
- SLD_resolution type AdministrativeRegion.
- SLD_resolution comment "SLD resolution (Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses.".
- SLD_resolution label "SLD resolution".
- SLD_resolution sameAs SLD-résolution.
- SLD_resolution sameAs m.02rkwr7.
- SLD_resolution sameAs Q3459697.
- SLD_resolution sameAs Q3459697.
- SLD_resolution wasDerivedFrom SLD_resolution?oldid=655100841.
- SLD_resolution isPrimaryTopicOf SLD_resolution.