About: Anti-unification

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://drops.dagstuhl.de/opus/volltexte/2015/5189/pdf/9.pdf http://erikjacobsen.com/pdf/unification.pdf http://ikw.uni-osnabrueck.de/de/system/files/31-2010.pdf https://drops.dagstuhl.de/opus/volltexte/2019/10517/pdf/LIPIcs-FSCD-2019-10.pdf%7Cpages=74%E2%80%9385%7Cdate=June https://pages.cpsc.ucalgary.ca/~denzinge/papers/fse08.pdf https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25109/1/TM_94_04.pdf https://www.nr.no/directdownload/3913/_stvold_-_A_functional_reconstruction_of_anti-unification.pdf https://link.springer.com/chapter/10.1007/3-540-53904-2_88 https://link.springer.com/content/pdf/10.1007%2Fs10817-013-9285-6.pdf%7Cyear=2014%7Cdoi=10.1007/s10817-013-9285-6%7Cdoi-access=free https://dl.acm.org/doi/10.1145/3359060%7Cvolume=21%7Cnumber=2%7Cpages=1%E2%80%9332 http://www.sri.com/sites/default/files/uploads/publications/pdf/725.pdf https://www.aaai.org/Papers/FLAIRS/2002/FLAIRS02-064.pdf%7Cyear=2002 https://www.aaai.org/Papers/Workshops/1999/WS-99-11/WS99-11-003.pdf%7Cjournal=AAAI https://www.theses.fr/1989NICE4261%7Ctype=These https://www.ideals.illinois.edu/bitstream/handle/2142/25871/journal.pdf%7Cdoi=10.1016/j.ic.2014.01.006%7Cvolume=235%7Cpages=98%E2%80%93136%7Chdl=2142/25871%7Cdoi-access=free https://cyberleninka.ru/article/n/14517244%7Cyear=2008%7Cissue=2 http://www.risc.jku.at/projects/stout/software/antiunify.php http://www.risc.jku.at/projects/stout/software/hoau.php http://www.risc.jku.at/projects/stout/software/nau.php http://fmv.jku.at/papers/Biere-Diploma-Thesis-1993.pdf http://drops.dagstuhl.de/opus/volltexte/2013/4057/pdf/10.pdf https://www.cs.cmu.edu/~fp/papers/lics91.pdf%7Cpages=74%E2%80%9385%7Cdate=Jul https://books.google.com/books%3Fid=1wwZAQAAIAAJ&dq=%22Generalizing+Atoms+in+Constraint+Logic%22&pg=PA429%7Cbook-title=Proc. https://books.google.com/books%3Fid=TrqjBQAAQBAJ&dq=%22Generalization+under+Implication+by+Recursive+Anti-Unification%22&pg=PA151%7Cbook-title=Proc. https://www.researchgate.net/publication/221045334%7Cyear=2005 https://doi.org/10.29007/fkrh%7Cjournal=Fifth
dbo:wikiPageWikiLink	dbr:Inductive_logic_programming dbr:Lambda_calculus dbr:Infix_notation dbr:Commutative_property dbc:Unification_(computer_science) dbr:Unification_(computer_science) dbr:Singleton_(mathematics) dbc:Logic_in_computer_science dbc:Inductive_logic_programming dbr:Term_(logic) dbr:Gordon_Plotkin dbr:Golem_(ILP) dbc:Automated_theorem_proving dbr:Equivalence_relation dbr:SRI_International dbr:Inequation dbr:ACM_Transactions_on_Programming_Languages_and_Systems dbr:Recursive_definition dbr:Dis-unification_(computer_science) dbr:Lambda_term dbr:Injective_mapping
gold:hypernym	dbr:Process
rdfs:label	Anti-unification (fr) Anti-unificación (ciencias de la computación) (es) 反ユニフィケーション (ja) Antiunificação (ciências da computação) (pt) Anti-unification (fr) Anti-unificación (ciencias de la computación) (es) 反ユニフィケーション (ja) Antiunificação (ciências da computação) (pt)
owl:sameAs	freebase:Anti-unification wikidata:Anti-unification dbpedia-fr:Anti-unification dbpedia-ja:Anti-unification dbpedia-pt:Anti-unification dbpedia-es:Anti-unification dbpedia-fa:Anti-unification dbpedia-global:Anti-unification
is dbo:wikiPageWikiLink of	dbr:Subsumption_lattice dbr:Pattern_language_(formal_languages) dbr:Inductive_logic_programming dbr:Unification_(computer_science) dbr:Outline_of_machine_learning dbr:Duplicate_code dbr:Dis-unification_(computer_science)