Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Goethe Universität, Frankfurt am Main | - |
Autor(es): dc.contributor | Imperial College London, Department of Computing | - |
Autor(es): dc.contributor | University of Brasília, Department of Mathematics | - |
Autor(es): dc.creator | Schmidt-Schauß, Manfred | - |
Autor(es): dc.creator | Nantes Sobrinho, Daniele | - |
Data de aceite: dc.date.accessioned | 2024-07-22T12:02:24Z | - |
Data de disponibilização: dc.date.available | 2024-07-22T12:02:24Z | - |
Data de envio: dc.date.issued | 2023-07-10 | - |
Data de envio: dc.date.issued | 2023-07-10 | - |
Data de envio: dc.date.issued | 2021 | - |
Fonte completa do material: dc.identifier | http://repositorio2.unb.br/jspui/handle/10482/46038 | - |
Fonte completa do material: dc.identifier | https://orcid.org/0000-0001-8809-7385 | - |
Fonte completa do material: dc.identifier | https://orcid.org/0000-0002-1959-8730 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/794639 | - |
Descrição: dc.description | Anti-unification is the task of generalizing a set of expressions in the most specific way. It was extended to the nominal framework by Baumgarter, Kutsia, Levy and Villaret, who defined an algorithm solving the nominal anti-unification problem, which runs in polynomial time. Unfortunately, when an infinite set of atoms are allowed in generalizations, a minimal complete set of solutions in nominal anti-unification does not exist, in general. In this paper, we present a more general approach to nominal anti-unification that uses atom-variables instead of explicit atoms, and two variants of freshness constraints: NLA-constraints (with atom-variables), and Eqr-constraints based on Equivalence relations on atom-variables. The idea of atom-variables is that different atom-variables may be instantiated with identical or different atoms. Albeit simple, this freedom in the formulation increases its application potential: we provide an algorithm that is finitary for the NLA-freshness constraints, and for Eqr-freshness constraints it computes a unique least general generalization. There is a price to pay in the general case: checking freshness constraints and other related logical questions will require exponential time. The setting of Baumgartner et al. is improved by the atom-only case, which runs in polynomial time and computes a unique least general generalization | - |
Descrição: dc.description | Instituto de Ciências Exatas (IE) | - |
Descrição: dc.description | Departamento de Matemática (IE MAT) | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | en | - |
Publicador: dc.publisher | Schloss Dagstuhl – Leibniz-Zentrum f¨ur Informatik | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | Creative Commons Attribution 4.0 license (CC BY 4.0) | - |
Palavras-chave: dc.subject | Anti-unificação | - |
Palavras-chave: dc.subject | Algoritmos nominais | - |
Título: dc.title | Nominal anti-unification with atom-variables | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: