Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Anti-unification_(computer_science)> ?p ?o }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Anti-unification_(computer_science) abstract "Anti-unification is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions (also called terms) are allowed, and which expressions are considered equal. If variables representing functions are allowed in an expression, the process is called higher-order anti-unification, otherwise first-order anti-unification. If the generalization is required to have an instance literally equal to each input expression, the process is called syntactical anti-unification, otherwise E-anti-unification, or anti-unification modulo theory.An anti-unification algorithm should compute for given expressions a complete, and minimal generalization set, that is, a set covering all generalizations, and containing no redundant members, respectively. Depending on the framework, a complete and minimal generalization set may have one, finitely many, or possibly infinitely many members, or may not exist at all; it cannot be empty, since a trivial generalization exists in any case. For first-order syntactical anti-unification, Gordon Plotkin gave an algorithm that computes a complete and minimal singleton generalization set containing the so-called least general generalization (lgg).Anti-unification should not be confused with dis-unification. The latter means the process of solving systems of inequations, that is of finding values for the variables such that all given inequations are satisfied. This task is quite different from finding generalizations.".
- Anti-unification_(computer_science) wikiPageExternalLink Biere-Diploma-Thesis-1993.pdf.
- Anti-unification_(computer_science) wikiPageExternalLink 31-2010.pdf.
- Anti-unification_(computer_science) wikiPageExternalLink 10.pdf.
- Anti-unification_(computer_science) wikiPageExternalLink antiunify.php.
- Anti-unification_(computer_science) wikiPageExternalLink hoau.php.
- Anti-unification_(computer_science) wikiPageID "39812166".
- Anti-unification_(computer_science) wikiPageLength "21546".
- Anti-unification_(computer_science) wikiPageOutDegree "24".
- Anti-unification_(computer_science) wikiPageRevisionID "664198337".
- Anti-unification_(computer_science) wikiPageWikiLink Category:Automated_theorem_proving.
- Anti-unification_(computer_science) wikiPageWikiLink Category:Inductive_logic_programming.
- Anti-unification_(computer_science) wikiPageWikiLink Category:Logic_in_computer_science.
- Anti-unification_(computer_science) wikiPageWikiLink Category:Unification_(computer_science).
- Anti-unification_(computer_science) wikiPageWikiLink Commutative_property.
- Anti-unification_(computer_science) wikiPageWikiLink Dis-unification_(computer_science).
- Anti-unification_(computer_science) wikiPageWikiLink Equivalence_relation.
- Anti-unification_(computer_science) wikiPageWikiLink Golem_(ILP).
- Anti-unification_(computer_science) wikiPageWikiLink Gordon_Plotkin.
- Anti-unification_(computer_science) wikiPageWikiLink Inductive_logic_programming.
- Anti-unification_(computer_science) wikiPageWikiLink Inequation.
- Anti-unification_(computer_science) wikiPageWikiLink Infix_notation.
- Anti-unification_(computer_science) wikiPageWikiLink Injective_function.
- Anti-unification_(computer_science) wikiPageWikiLink Injective_mapping.
- Anti-unification_(computer_science) wikiPageWikiLink Lambda_calculus.
- Anti-unification_(computer_science) wikiPageWikiLink Lambda_term.
- Anti-unification_(computer_science) wikiPageWikiLink Parse_Thicket.
- Anti-unification_(computer_science) wikiPageWikiLink Parse_thicket.
- Anti-unification_(computer_science) wikiPageWikiLink Parse_tree.
- Anti-unification_(computer_science) wikiPageWikiLink Recursive_definition.
- Anti-unification_(computer_science) wikiPageWikiLink Singleton_(mathematics).
- Anti-unification_(computer_science) wikiPageWikiLink Term_(logic).
- Anti-unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Anti-unification_(computer_science) wikiPageWikiLinkText "Anti-unification (computer science)".
- Anti-unification_(computer_science) wikiPageWikiLinkText "Anti-unification".
- Anti-unification_(computer_science) wikiPageWikiLinkText "Anti-unify".
- Anti-unification_(computer_science) wikiPageWikiLinkText "anti-unification".
- Anti-unification_(computer_science) wikiPageWikiLinkText "common generalization".
- Anti-unification_(computer_science) hasPhotoCollection Anti-unification_(computer_science).
- Anti-unification_(computer_science) wikiPageUsesTemplate Template:Citation.
- Anti-unification_(computer_science) wikiPageUsesTemplate Template:Cite_conference.
- Anti-unification_(computer_science) wikiPageUsesTemplate Template:Cite_journal.
- Anti-unification_(computer_science) wikiPageUsesTemplate Template:Main.
- Anti-unification_(computer_science) wikiPageUsesTemplate Template:Reflist.
- Anti-unification_(computer_science) subject Category:Automated_theorem_proving.
- Anti-unification_(computer_science) subject Category:Inductive_logic_programming.
- Anti-unification_(computer_science) subject Category:Logic_in_computer_science.
- Anti-unification_(computer_science) subject Category:Unification_(computer_science).
- Anti-unification_(computer_science) hypernym Process.
- Anti-unification_(computer_science) type Election.
- Anti-unification_(computer_science) comment "Anti-unification is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions (also called terms) are allowed, and which expressions are considered equal. If variables representing functions are allowed in an expression, the process is called higher-order anti-unification, otherwise first-order anti-unification.".
- Anti-unification_(computer_science) label "Anti-unification (computer science)".
- Anti-unification_(computer_science) sameAs m.0w6drvz.
- Anti-unification_(computer_science) sameAs Q17003866.
- Anti-unification_(computer_science) sameAs Q17003866.
- Anti-unification_(computer_science) wasDerivedFrom Anti-unification_(computer_science)?oldid=664198337.
- Anti-unification_(computer_science) isPrimaryTopicOf Anti-unification_(computer_science).