| 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
| |
| dbo:wikiPageLength
|
- 23090 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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
| |
| 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 | |
