#### Filter Results:

- Full text PDF available (20)

#### Publication Year

2000

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Thi-Bich-Hanh Dao
- JFPLC
- 2000

We present in this paper an algorithm, in the theory T of (eventually infinite) trees, for solving constraints represented by full first order formulae, with equality as the only relation and with symbols of function taken in an infinite set F. The algorithm consists of a set of 11 rewrite rules. It transforms a first order formula in a conjunction of "… (More)

- Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Christel Vrain
- ECML/PKDD
- 2013

In recent years, clustering has been extended to constrained clustering, so as to integrate knowledge on objects or on clusters, but adding such constraints generally requires to develop new algorithms. We propose a declarative and generic framework, based on Constraint Programming, which enables to design clustering tasks by specifying an optimization… (More)

Prolog, which stands for PROgramming in LOGic, is the most widely used language in the logic programming paradigm. One of its main concepts is unification. It represents the mechanism of binding the contents of variables and can be seen as solving conjunctions of equations over finite or infinite trees. We present in this paper an idea of a first-order… (More)

- Alain Colmerauer, Thi-Bich-Hanh Dao
- Constraints
- 2000

Although the observation of grammaticality judgements is well acknowledged, their formal representation faces problems of different kinds: linguistic, psycholinguistic, logical, computational. In this paper we focus on addressing some of the logical and computational aspects, relegating the linguistic and psycholinguistic ones in the parameter space. We… (More)

In this paper, we present an abstract framework for learning a finite domain constraint solver mod-eled by a set of operators enforcing a consistency. The behavior of the consistency to be learned is taken as the set of examples on which the learning process is applied. The best possible expression of this operator in a given language is then searched. We… (More)

Blache [1] introduced Property Grammar as a formalism where linguistic information is represented in terms of non hierarchical constraints. This feature gives it an adequate expressive power to handle complex linguistic phenomena, such as long distance dependencies, and also agrammatical sentences [2]. Recently, Duchier et al. [3] proposed a model-theoretic… (More)

Considering an initial set of terms E, a rewriting relation R and a goal set of terms Bad, reachability analysis in term rewriting tries to answer to the following question: does there exists at least one term of Bad that can be reached from E using the rewriting relation R? Some of the approaches try to show that there exists at least one term of Bad… (More)