Operational semantics and confluence of constraint propagation rules, Proceedings of CP'1997, 3rd International Conference on Principles and Practice of Constraint Programming, pp.252-266, 1997. ,
DOI : 10.1007/BFb0017444
Confluence and semantics of constraint simplification rules, Constraints, vol.4, issue.2, pp.133-165, 1999. ,
DOI : 10.1023/A:1009842826135
University course timetabling using constraint handling rules, Applied Artificial Intelligence, vol.14, issue.4, 2000. ,
DOI : 10.1080/088395100117016
CHRv: A flexible query language, FQAS '98: Proceedings of the Third International Conference on Flexible Query Answering Systems, pp.1-14, 1998. ,
Invited talk: The CHR-Celf connection, Proceedings of the fifth Constraint Handling Rules Workshop CHR'08, 2008. ,
Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, 1992. ,
DOI : 10.1093/logcom/2.3.297
Excluding Symmetries in Constraint-Based Search, Lecture Notes in Computer Science, vol.1713, pp.73-87, 1999. ,
DOI : 10.1007/978-3-540-48085-3_6
The chemical abstract machine, Theoretical Computer Science, vol.96, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075426
Concurrent constraint programming with information removal, Proceedings of Coordination, Lecture Notes in Computer Science, 1997. ,
Relating coloured petri nets to constraint handling rules, Proceedings of the forth Constraint Handling Rules Workshop CHR'07, pp.33-47, 2007. ,
A Linear-Logic Semantics for Constraint Handling Rules, Proceeding of CP 2005, pp.137-151, 2005. ,
DOI : 10.1007/11564751_13
A complete and terminating execution model for Constraint Handling Rules. Theory and Practice of Logic Programming, pp.4-6597, 2010. ,
The average number of pivot steps required by the simplexmethod is polynomial, Mathematical Methods of Operations Research, 1982. ,
Termination analysis of logic programs through combination of type-based norms, ACM Transactions on Programming Languages and Systems, vol.29, issue.2, 2007. ,
DOI : 10.1145/1216374.1216378
Un système de communication en français, rapport préliminaire de fin de contrat iria, groupe intelligence artificielle, 1972. ,
From typing constraints to typed constraint systems in CHR, Proceedings of Third workshop on Rulebased Constraint Reasoning and Programming, 2001. ,
A type system for CHR In Recent Advances in Constaints, revised selected papers from CSCLP'05, number 3978 in Lecture Notes in Artificial Intelligence, pp.100-117, 2006. ,
Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983. ,
DOI : 10.1016/0304-3975(83)90059-2
Logical algorithms meets CHR: A meta-complexity theorem for Constraint Handling Rules with rule priorities, Theory and Practice of Logic Programming, 2009. ,
User-definable rule priorities for CHR, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.25-36, 2007. ,
DOI : 10.1145/1273920.1273924
Hierarchical ordering of sequential processes, Acta Informatica, vol.1, issue.2, pp.115-138, 1971. ,
DOI : 10.1007/BF00289519
Compiling Ask Constraints, Proceedings of International Conference on Logic Programming ICLP 2004, 2004. ,
DOI : 10.1007/978-3-540-27775-0_8
The Refined Operational Semantics of Constraint Handling Rules, 20th International Conference on Logic Programming (ICLP'04, pp.90-104, 2004. ,
DOI : 10.1007/978-3-540-27775-0_7
Extending arbitrary solvers with constraint handling rules, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, pp.79-90, 2003. ,
DOI : 10.1145/888251.888260
Linear Concurrent Constraint Programming: Operational and Phase Semantics, Information and Computation, vol.165, issue.1, pp.14-41, 2001. ,
DOI : 10.1006/inco.2000.3002
URL : https://hal.archives-ouvertes.fr/hal-01431358
Essence: A constraint language for specifying combinatorial problems, Constraints, vol.12, issue.1, pp.268-306, 2008. ,
DOI : 10.1007/s10601-008-9047-y
Theory and practice of constraint handling rules, The Journal of Logic Programming, vol.37, issue.1-3, pp.95-138, 1998. ,
DOI : 10.1016/S0743-1066(98)10005-5
Constraint Handling Rules, 2009. ,
A New Meta-Complexity Theorem for Bottom-Up Logic Programs, Proceedings of International Joint Conference on Automated Reasoning, pp.514-528, 2001. ,
DOI : 10.1007/3-540-45744-5_44
Symmetry breaking during search in constraint programming, Proceedings ECAI'2000, pp.599-603, 1999. ,
Linear logic, Theoretical Computer Science, vol.50, issue.1, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
Relations and functions in multiset context, Information Sciences, vol.179, issue.6, pp.758-768, 2009. ,
DOI : 10.1016/j.ins.2008.11.002
Expressiveness of Multiple Heads in CHR, SOFSEM '09: Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, pp.205-216, 2009. ,
DOI : 10.1016/j.tcs.2007.09.001
Fermetures et Modules dans les Langages Concurrents avec Contraintes fondés sur la Logique Linéaire, 2007. ,
Verification of constraint handling rules using linear logic phase semantics, Proceeding of CHR 2008, the fifth Constraint Handling Rules Workshop, 2008. ,
Modules for Prolog Revisited, Proceedings of International Conference on Logic Programming ICLP 2006, number 4079 in Lecture Notes in Computer Science, pp.41-55, 2006. ,
DOI : 10.1007/11799573_6
Closures and Modules Within Linear Logic Concurrent Constraint Programming, Proceedings of FSTTCS 2007, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, pp.544-556, 2007. ,
DOI : 10.1007/978-3-540-77050-3_45
Limited discrepancy search, IJCAI'95: Proceedings of the 14th international joint conference on Artificial intelligence, pp.607-613, 1995. ,
Generality versus specificity: An experience with ai and or techniques, AAAI, pp.660-664, 1988. ,
Design, implementation, and evaluation of the constraint language cc(FD), The Journal of Logic Programming, vol.37, issue.1-3, pp.139-164, 1998. ,
DOI : 10.1016/S0743-1066(98)10006-7
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1, The Journal of Logic Programming, vol.37, issue.1-3, pp.1-46, 1998. ,
DOI : 10.1016/S0743-1066(98)10002-X
Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987. ,
DOI : 10.1145/41625.41635
Angelic nondeterminism in concurrent constraint programming, 1991. ,
Lambda lifting: Transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, pp.190-203, 1985. ,
DOI : 10.1007/3-540-15975-4_37
Optimal rectangle packing, ICAPS, pp.287-295, 2003. ,
DOI : 10.1007/s10479-008-0463-6
Predicate logic as programming language, IFIP Congress, pp.569-574, 1974. ,
A language and a program for stating and solving combinatorial problems, Artificial Intelligence, vol.10, issue.1, pp.29-127, 1978. ,
DOI : 10.1016/0004-3702(78)90029-2
The reachability problem requires exponential space, 1976. ,
Logic semantics for a class of committed-choice programs, 4th International Conference on Logic Programming (ICLP'87, 1987. ,
An algorithm for the general petri net reachability problem, Proceedings of the thirteenth annual ACM symposium on Theory of computing, STOC '81, pp.238-246, 1981. ,
Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991. ,
DOI : 10.1016/0168-0072(91)90068-W
MiniZinc: Towards a Standard CP Modelling Language, CP, pp.529-543, 2007. ,
DOI : 10.1007/978-3-540-74970-7_38
Propagation via lazy clause generation, Constraints, vol.37, issue.1???3, pp.357-391, 2009. ,
DOI : 10.1007/s10601-008-9064-x
Testing concurrent reactive systems with constraint logic programming, Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, 2000. ,
A Regular Language Membership Constraint for Finite Sequences of Variables, Principles and Practice of Constraint Programming ? CP 2004, pp.482-495, 2004. ,
DOI : 10.1007/978-3-540-30201-8_36
Call-by-name, call-by-value and the ??-calculus, Theoretical Computer Science, vol.1, issue.2, pp.125-159, 1975. ,
DOI : 10.1016/0304-3975(75)90017-1
Adding Search to Zinc, CP, pp.624-629, 2008. ,
DOI : 10.1007/978-3-540-85958-1_54
On the bisimulation proof method, Mathematical Structures in Computer Science, vol.8, issue.5, pp.447-479, 1998. ,
DOI : 10.1017/S0960129598002527
A brief introduction to linear concurrent constraint programming, Xerox PARC, 1993. ,
Concurrent constraint programming ACM Doctoral Dissertation Awards, 1993. ,
Celf ??? A Logical Framework for Deductive and Concurrent Systems (System Description), IJCAR '08: Proceedings of the 4th international joint conference on Automated Reasoning, pp.320-326, 2008. ,
DOI : 10.1007/978-3-540-71070-7_28
Automatic Implication Checking for CHR Constraints, Electronic Notes in Theoretical Computer Science, vol.147, issue.1, pp.93-111, 2006. ,
DOI : 10.1016/j.entcs.2005.06.039
Analysing the CHR implementation of unionfind, Proceedings of the 19th Workshop on (Constraint) Logic Programming, WCLP'05, 2005. ,
Monadic constraint programming, Journal of Functional Programming, vol.19, issue.06, p.663, 2009. ,
DOI : 10.1145/359496.359529
Abstract interpretation for constraint handling rules, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.218-229, 2005. ,
DOI : 10.1145/1069774.1069795
Search Strategies for Rectangle Packing, Proceedings of CP'08, pp.52-66, 2008. ,
DOI : 10.1007/978-3-540-85958-1_4
CHR(PRISM)-based probabilistic logic learning. Theory and Practice of Logic Programming, pp.4-6433, 2010. ,
The computational power and complexity of constraint handling rules, Proceedings of the second Constraint Handling Rules Workshop, at ICLP'05, pp.3-17, 2005. ,
DOI : 10.1145/1462166.1462169
The computational power and complexity of constraint handling rules, ACM Transactions on Programming Languages and Systems, vol.31, issue.2, pp.311-353, 2009. ,
DOI : 10.1145/1462166.1462169
As time goes by: Constraint Handling Rules ? a survey of CHR research between, Theory and Practice of Logic Programming, 1998. ,
A Framework for Extended Algebraic Data Types, Proc. of FLOPS'06, pp.47-64, 2006. ,
DOI : 10.1007/11737414_5
Worst-case Analysis of Set Union Algorithms, Journal of the ACM, vol.31, issue.2, pp.245-281, 1984. ,
DOI : 10.1145/62.2160
The OPL Optimization programming Language, 1999. ,
Generating semantic descriptions from drawings of scenes with shadows, Massachusetts Institute of Technology, 1972. ,
An abstract Prolog instruction set, Technical Note, vol.309, 1983. ,
The Andorra principle, Presented at the Gigalips Workshop , Swedish Institute of Computer Science (SICS), 1988. ,