Knowledge Tree

researcher / Michel Cayrol

Michel Cayrol

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Recherche dans les graphes de planification, satisfiabilité et stratégies de moindre engagement : les systèmes LCGP et LCDPP

Autour de sat : le calcul d'impliquants p-restreints, algorithmes et applications

Consistance et déduction en logique propositionnelle

Contribution à l'étude des relations d'inférence non-monotone combinant inférence classique et préférences

Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS

Conception et implementation d'un dialecte lisp paresseux : help

Etude et réalisation d'un système expert à objets appliqué à la conception assistée par ordinateur de la charpente métallique d'un navire