30 results
Parallelism, concurrency and distribution in constraint handling rules: A survey
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 5-6 / September 2018
- Published online by Cambridge University Press:
- 23 May 2018, pp. 759-805
-
- Article
-
- You have access
- Export citation
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 525-538
-
- Article
- Export citation
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 461-475
-
- Article
- Export citation
Probabilistic legal reasoning in CHRiSM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 769-781
-
- Article
- Export citation
Analysing graph transformation systems through constraint handling rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 20 July 2010, pp. 65-109
-
- Article
- Export citation
A complete and terminating execution model for Constraint Handling Rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 597-610
-
- Article
- Export citation
References
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 281-290
-
- Chapter
- Export citation
7 - My first CHR programs, revisited for analysis
- from Part III - CHR programs and applications
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 173-199
-
- Chapter
- Export citation
8 - Finite domain constraint solvers
- from Part III - CHR programs and applications
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 200-220
-
- Chapter
- Export citation
Part I - CHR tutorial
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 1-2
-
- Chapter
- Export citation
Preface
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp xv-xxii
-
- Chapter
- Export citation
Part III - CHR programs and applications
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 171-172
-
- Chapter
- Export citation
9 - Infinite domain constraint solvers
- from Part III - CHR programs and applications
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 221-255
-
- Chapter
- Export citation
6 - Rule-based and graph-based formalisms in CHR
- from Part II - The CHR language
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 141-170
-
- Chapter
- Export citation
Index
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 291-296
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp i-x
-
- Chapter
- Export citation
10 - Union-find algorithm
- from Part III - CHR programs and applications
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 256-280
-
- Chapter
- Export citation
1 - Getting started
- from Part I - CHR tutorial
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 3-16
-
- Chapter
- Export citation
2 - My first CHR programs
- from Part I - CHR tutorial
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 17-46
-
- Chapter
- Export citation
Contents
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp xi-xiv
-
- Chapter
- Export citation