Knowledge Tree

researcher / Gérard Ferrand

Gérard Ferrand

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Edit Merge See Links

Directed Thesis:

Une formalisation de la résolution des problèmes de satisfaction de contraintes : application à la vision grammaticale de CLP

Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif

Consistances locales et transformations symboliques de contraintes d'intervalles

Approche, en termes de squelettes de preuve, de la semantique et du diagnostic declaratif d'erreur des programmes logiques avec contraintes

Induction de programmes logiques avec negation

Etude des rapports entre grammaires attribuees et programmation logique : application au test d'occurrence et a l'analyse statique

Approche declarative du diagnostic d'erreur pour la programmation logique avec negation