About DBpedia Fr

About: http://fr.dbpedia.org/resource/Anti-unification

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

En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes.

Property Value
dbo:abstract
  • En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. Des problèmes d'anti-unification se posent dans de nombreuses branches de l'intelligence artificielle : apprentissage machine, raisonnement analogique et basé sur des cas, modélisation cognitive, découverte de connaissances, etc. L'anti-unification est une technique souvent utilisée pour résoudre les problèmes de généralisation. Comme pour l’unification, on distingue plusieurs niveaux selon la nature des termes considérés du premier ordre ou d'ordre supérieur, termes nominaux, arbres, et autres. (fr)
  • En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. Des problèmes d'anti-unification se posent dans de nombreuses branches de l'intelligence artificielle : apprentissage machine, raisonnement analogique et basé sur des cas, modélisation cognitive, découverte de connaissances, etc. L'anti-unification est une technique souvent utilisée pour résoudre les problèmes de généralisation. Comme pour l’unification, on distingue plusieurs niveaux selon la nature des termes considérés du premier ordre ou d'ordre supérieur, termes nominaux, arbres, et autres. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 13718609 (xsd:integer)
dbo:wikiPageLength
  • 23090 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 179706621 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1970 (xsd:integer)
  • 1971 (xsd:integer)
  • 2001 (xsd:integer)
  • 2010 (xsd:integer)
  • 2014 (xsd:integer)
  • 2015 (xsd:integer)
  • 2018 (xsd:integer)
  • 2019 (xsd:integer)
  • 2020 (xsd:integer)
prop-fr:auteur
  • Alexander Baumgartner (fr)
  • David M. Cerna (fr)
  • Jordi Levy (fr)
  • Mateu Villaret (fr)
  • Temur Kutsia (fr)
  • Alexander Baumgartner (fr)
  • David M. Cerna (fr)
  • Jordi Levy (fr)
  • Mateu Villaret (fr)
  • Temur Kutsia (fr)
prop-fr:auteurOuvrage
  • Herman Geuvers (fr)
  • Herman Geuvers (fr)
prop-fr:auteursOuvrage
  • A. Pnueli, I. Virbitskaite et A. Voronkov (fr)
  • E. Fermé E. et J. Leite (fr)
  • John Alan Robinson et Andrei Voronkov (fr)
  • A. Pnueli, I. Virbitskaite et A. Voronkov (fr)
  • E. Fermé E. et J. Leite (fr)
  • John Alan Robinson et Andrei Voronkov (fr)
prop-fr:collection
  • Lecture Notes in Computer Science (fr)
  • Leibniz International Proceedings in Informatics (fr)
  • Lecture Notes in Computer Science (fr)
  • Leibniz International Proceedings in Informatics (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.101600 (xsd:double)
  • 10.101700 (xsd:double)
  • 10.423000 (xsd:double)
prop-fr:fr
  • Golem (fr)
  • dis-unification (fr)
  • Golem (fr)
  • dis-unification (fr)
prop-fr:journal
  • Future Generation Computer Systems (fr)
  • Theoretical Computer Science (fr)
  • Journal of Automated Reasoning (fr)
  • Machine Intelligence (fr)
  • Theory and Practice of Logic Programming (fr)
  • Future Generation Computer Systems (fr)
  • Theoretical Computer Science (fr)
  • Journal of Automated Reasoning (fr)
  • Machine Intelligence (fr)
  • Theory and Practice of Logic Programming (fr)
prop-fr:nom
  • Brown (fr)
  • Levy (fr)
  • Reynolds (fr)
  • Snyder (fr)
  • Hammond (fr)
  • Baader (fr)
  • Barwell (fr)
  • Baumgartner (fr)
  • Bulychev (fr)
  • Cerna (fr)
  • Kostylev (fr)
  • Kutsia (fr)
  • Plotkin (fr)
  • Vanhoof (fr)
  • Villaret (fr)
  • Yernaux (fr)
  • Zakharov (fr)
  • Brown (fr)
  • Levy (fr)
  • Reynolds (fr)
  • Snyder (fr)
  • Hammond (fr)
  • Baader (fr)
  • Barwell (fr)
  • Baumgartner (fr)
  • Bulychev (fr)
  • Cerna (fr)
  • Kostylev (fr)
  • Kutsia (fr)
  • Plotkin (fr)
  • Vanhoof (fr)
  • Villaret (fr)
  • Yernaux (fr)
  • Zakharov (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 5 (xsd:integer)
prop-fr:numéroDansCollection
  • 36 (xsd:integer)
  • 131 (xsd:integer)
  • 5947 (xsd:integer)
  • 8761 (xsd:integer)
prop-fr:pages
  • 101 (xsd:integer)
  • 135 (xsd:integer)
  • 153 (xsd:integer)
  • 155 (xsd:integer)
  • 773 (xsd:integer)
prop-fr:pagesTotales
  • 2122 (xsd:integer)
prop-fr:passage
  • 10 (xsd:integer)
  • 57 (xsd:integer)
  • 133 (xsd:integer)
  • 413 (xsd:integer)
  • 447 (xsd:integer)
  • 543 (xsd:integer)
  • 669 (xsd:integer)
prop-fr:prénom
  • Alexander (fr)
  • Christopher (fr)
  • Kevin (fr)
  • Jordi (fr)
  • David M. (fr)
  • F. (fr)
  • W. (fr)
  • Peter E. (fr)
  • John C. (fr)
  • Adam D. (fr)
  • Egor V. (fr)
  • Gonzague (fr)
  • Gordon D. (fr)
  • Mateu (fr)
  • Temur (fr)
  • Vladimir A. (fr)
  • Wim (fr)
  • Alexander (fr)
  • Christopher (fr)
  • Kevin (fr)
  • Jordi (fr)
  • David M. (fr)
  • F. (fr)
  • W. (fr)
  • Peter E. (fr)
  • John C. (fr)
  • Adam D. (fr)
  • Egor V. (fr)
  • Gonzague (fr)
  • Gordon D. (fr)
  • Mateu (fr)
  • Temur (fr)
  • Vladimir A. (fr)
  • Wim (fr)
prop-fr:présentationEnLigne
prop-fr:texte
  • Golem (fr)
  • disunification (fr)
  • Golem (fr)
  • disunification (fr)
prop-fr:titre
  • Anti-unification Algorithms and Their Applications in Program Analysis (fr)
  • A Further Note on Inductive Generalization (fr)
  • A Library of Anti-unification Algorithms (fr)
  • A Note on Inductive Generalization (fr)
  • Anti-Unification for Unranked Terms and Hedges (fr)
  • Anti-unification and the theory of semirings (fr)
  • Anti-unification in Constraint Logic Programming (fr)
  • Nominal Anti-Unification (fr)
  • Unification theory (fr)
  • Transformational systems and the algebraic structure of atomic formulas (fr)
  • Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification (fr)
  • A Generic Framework for Higher-Order Generalizations (fr)
  • Anti-unification Algorithms and Their Applications in Program Analysis (fr)
  • A Further Note on Inductive Generalization (fr)
  • A Library of Anti-unification Algorithms (fr)
  • A Note on Inductive Generalization (fr)
  • Anti-Unification for Unranked Terms and Hedges (fr)
  • Anti-unification and the theory of semirings (fr)
  • Anti-unification in Constraint Logic Programming (fr)
  • Nominal Anti-Unification (fr)
  • Unification theory (fr)
  • Transformational systems and the algebraic structure of atomic formulas (fr)
  • Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification (fr)
  • A Generic Framework for Higher-Order Generalizations (fr)
prop-fr:titreOuvrage
  • 4 (xsd:integer)
  • Handbook of Automated Reasoning (fr)
  • Logics in Artificial Intelligence. JELIA 2014 (fr)
  • Perspectives of Systems Informatics. PSI 2009 (fr)
  • Proc. RTA 2015 (fr)
prop-fr:trad
  • Golem (fr)
  • Dis-unification (fr)
  • Golem (fr)
  • Dis-unification (fr)
prop-fr:url
prop-fr:volume
  • 1 (xsd:integer)
  • 5 (xsd:integer)
  • 6 (xsd:integer)
  • 19 (xsd:integer)
  • 52 (xsd:integer)
  • 79 (xsd:integer)
  • 848 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Springer (fr)
  • Elsevier (fr)
  • Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (fr)
  • Springer Cham (fr)
  • Springer (fr)
  • Elsevier (fr)
  • Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (fr)
  • Springer Cham (fr)
dct:subject
rdfs:comment
  • En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. (fr)
  • En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. (fr)
rdfs:label
  • Anti-unificación (ciencias de la computación) (es)
  • Anti-unification (fr)
  • Anti-unificación (ciencias de la computación) (es)
  • Anti-unification (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License