Thierry Martinez

INRIA Paris–Rocquencourt Research Centre — Room 809
Domaine de Voluceau
Rocquencourt – BP 105
78153 Le Chesnay Cedex – France

e-mail: Thierry.Martinez@inria.fr
Land Phone: +33 1 39 63 58 33
Mobile: +33 6 07 82 61 15

Personal page : http://www.normalesup.org/~martinez/

PhD subject: Design and implementation of a logic programming language with constraints in linear logic (advisor: François Fages)

Softwares

Thierry Martinez, On connections between CHR and LCC, Sixth Workshop on Constraint Handling Rules, 2009. [PDF]
François Fages, Cleyton Mario de Oliveira Rodrigues, Thierry Martinez, Modular CHR with ask and tell., Fifth Workshop on Constraint Handling Rules, 2008. [PDF]

21 July 2008 (PDF, TeX): Constraint Grammars. Introduction to a syntactic description schema for sets of constraints.
16 June 2008 (PDF, Tar-GZ): Modular CHR with ask and tell. Presentation of the CHRat article.
26 May 2008 (PDF, TeX): Disjoint-set Data Structure for Equality Theory. Union-find algorithm and optimal code generation for entailment checking.
17 March 2008 (PDF): About Feature Trees.
7 January 2008 (PDF): About my understanding of what is a labelled graph constraint system: Prolog term processing predicates as constraints / Generalization: starting from terms as labelled arrays of subterms to go to maps from terms to terms / Maps and association graphs (graphs each edge of which is labelled by a vertex, link with composition laws).