Thierry Martinez
PhD student,
Contraintes
Project–Team,
Building 8
PhD subject:
Design and implementation of a logic
programming language with constraints
in linear logic
(advisor: François Fages)
Softwares
- CHRat
- Modular CHR with ask and tell.
- EMoP
- Existential Modules for Prolog.
- SiLCC
- SiLCC is Linear Logic Concurrent Constraint.
Publications
-
Julien Martin, Thierry Martinez, François Fages,
On Specification of Search Tree Heuristics by Pattern-matching in a Rule-based Modelling Language,
Eighth International Workshop on Constraint Modelling and Reformulation, Lisboa (Portugal), 2009.
[PDF]
-
Thierry Martinez,
On connections between CHR and LCC,
Sixth Workshop on Constraint Handling Rules, Pasadena (USA), 2009.
[PDF]
-
François Fages, Thierry Martinez, Cleyton Mario de Oliveira Rodrigues,
CHR modulaire avec ask et tell,
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans (France), 2009.
[PDF]
-
François Fages, Cleyton Mario de Oliveira Rodrigues, Thierry Martinez,
Modular CHR with ask and tell,
Fifth Workshop on Constraint Handling Rules, Hagenberg (Austria), 2008.
[PDF]
Talks for the Internal Seminar of
Contraintes Project
- 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).