Resolution of Constraints in Algebras of Rational Trees

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1993

Autores

Luís Damas (Autor) FCUP; Nelma Moreira (Autor) FCUP; Sabine Broda (Autor) FCUP

Ata de Conferência Internacional

Título: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Páginas: 61-76

Indexação

ISI Web of Knowledge

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-008-KZV

DOI: 10.1007/3-540-57287-2_38

Abstract (EN): This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in polynomial time, the size of the constraints using a rewriting system before applying a complete algorithm. This rewriting system works essentially by rewriting constraints using the information in a partial model. An efficient C implementation of the rewriting system is described and an algorithm for factoring complex constraints is also presented. © Springer-Verlag Berlin Heidelberg 1993.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 16