Probabilistic constraint handling rules

Electronic Notes in Theoretical Computer Science

Volumn 76, Issue , 2002, Pages 115-130

  Frühwirth, Thom ^a   Di Pierro, Alessandra ^b   Wiklicky, Herbert ^c  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF PISA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; LOGIC PROGRAMMING; PROBABILITY; PROGRAM COMPILERS; RANDOM PROCESSES; THEOREM PROVING;

BAYESIAN LOGIC PROGRAMS; CONSTRAINT HANDLING RULES (CHR); PARSING; SOURCE-TO-SOURCE TRANSFORMATION (STS);

CONSTRAINT THEORY;

EID: 18944380866     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80789-8     Document Type: Conference Paper

References (25)

1. Aarts E., Korst J. "Simulated Annealing and Boltzmann Machines," 1989;John Wiley & Sons, Chicester
2. S. Abdennadher, Operational semantics and confluence of constraint propagation rules, in: 3rd Intl Conf on Principles and Practice of Constraint Programming, LNCS 1330 (1997), pp. 252-266.
3. Apt K.R. From chaotic iteration to constraint propagation. Degano P., Gorrieri R., Marchetti-Spaccamela A. Automata, Languages and Programming, 24th International Colloquium. Lecture Notes in Computer Science 1256 :1997;36-55
4. Di Pierro A. and H. Wiklicky, An Operational Semantics for Probabilistic Concurrent Constraint Programming, in: Y. C. P. Iyer and D. Schmidt, editors, Proceedings of ICCL'98-International Conference on Computer Languages (1998), pp. 174-183.
5. Di Pierro A. and H. Wiklicky, Ergodic average in constraint programming, in: M. Kwiatkowska, editor, Proceedings of PROBMIV'99-2nd International Workshop on Probabilistic Methods in Verification, number CSR-99-8 in Technical Report (1999), pp. 49-56.
6. Di Pierro A., Wiklicky H. Quantitative observables and averages in Probabilistic Concurrent Constraint Programming. Apt K., Kakas T., Monfroy E., Rossi F. New Trends in Constraints, number 1865 in Lecture Notes in Computer Science. 2000;212-236
7. Frühwirth T. Theory and practice of constraint handling rules. Journal of Logic Programming. 37:1998;95-138. Special Issue on Constraint Logic Programming
8. Frühwirth T., Abdennadher S. "Essentials of Constraint Programming," 2002;Springer, Berlin
9. Frühwirth, T., A. D. Pierro and H. Wiklicky, Towards probabilistic constraint handling rules, Third Workshop on Rule-Based Constraint Reasoning and Programming (RCoRP'01) at CP'01 and ICLP'01 (2001).
10. Frühwirth, T., A. D. Pierro and H. Wiklicky, An implementation of probabilistic constraint handling rules, 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) (2002).
11. Goldberg D.E. "Genetic Algorithms in Search, Optimization, and Machine Learning," 1989;Addison-Wesley, Reading, Massachusetts
12. Grimmett G.R., Stirzaker D. "Probability and Random Processes," second edition :1992;Clarendon Press, Oxford
13. Grinstead C.M., Snell J.L. "Introduction to Probability," second revised edition :1997;American Mathematical Society, Providence, Rhode Island
14. Gupta V., R. Jagadeesan and P. Panagaden, Stochastic programs as concurrent constraint programs, in: Proceedings of POPL'99-26th Symposium on Principles of Programming Languages (1999), pp. 189-202.
15. Hochbaum D.S. "Approximation Algorithms for NP-Hard Problems," 1997;PWS Publishing Company, Boston, Massachusetts
16. Jaffar J., Maher M.J. Constraint logic programming: A survey. The Journal of Logic Programming. 19 & 20:1994;503-581
17. Kersting K. and L. D. Raedt, Bayesian logic programs, in: Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, 2000.
18. Lincoln P.D., Mitchell J.C., Scedrov A. Stochastic interaction and Linear Logic. Girard J.-Y., Lafont Y., Regnier L. Advances in Linear Logic. London Mathematical Society Lecture Note Series 222 :1995;147-166 Cambridge University Press, Cambridge
19. Marriott K., Stuckey P.J. "Programming with Constraints: An Introduction," 1998;MIT Press
20. Metropolis N., Rosenbluth A., Rosenbluth M., Teller A., Teller E. Equation of state calculations for fast computing machines. Journal of Chemical Physics. 21:1953;1087-1092
21. Motwani R., Raghavan P. "Randomized Algorithms," 1995;Cambridge University Press, Cambridge, England
22. Muggleton S., Stochastic logic programs, in: L. De Raedt, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming (1995), p. 29.
23. Ng R.T., Subrahmanian V.S. Probabilistic logic programming. Information and Computation. 101:1992;150-201
24. Saraswat, V. A. and M. Rinard, Concurrent constraint programming, in: Proceedings of POPL'90-Symposium on Principles of Programming Languages (1990), pp. 232-245.
25. Saraswat, V. A., M. Rinard and P. Panangaden, Semantics foundations of concurrent constraint programming, in: Proceedings of POPL'91-Symposium on Principles of Programming Languages (1991), pp. 333-353.