Automatic generation of propagation rules for finite domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 18-34

  Abdennadher, Slim ^a   Rigotti, Christophe ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

AUTOMATIC GENERATION; BOOLEAN CONSTRAINT; CONSTRAINT HANDLING RULES; PROPAGATION RULE; QUALITATIVE APPROACH; QUALITATIVE SPATIAL REASONING; REGION CONNECTION CALCULUS; THREE-VALUED LOGIC;

MANY VALUED LOGICS;

EID: 35248856227     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45349-0_4     Document Type: Conference Paper

References (19)

1. Constraint Handling Rules Online, http://www.pms.informatik.uni-muenchen.de/~webchr/
2. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP’97, LNCS 1330. Springer-Verlag, Nov. 1997.
3. S. Abdennadher and T. Frühwirth. Operational equivalence of CHR programs and constraints. In 5th International Conference on Principles and Practice of Constraint Programming, CP’99, LNCS 1713. Springer-Verlag, 1999.
4. R. Agrawal, T. Imielinski, and A. N. Swami. Mining association rules between sets of items in large databases. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, pages 207-216. ACM Press, 1993.
5. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of ACM, 26(11): 832-843, 1983.
6. K. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In 5th International Conference on Principles and Practice of Constraint Programming, CP’99, LNCS 1713. Springer-Verlag, 1999.
7. R. J. Bayardo, R. Agrawal, and D. Gunopulos. Constraint-based rule mining in large, dense databases. In Proceedings of the 15th International Conference on Data Engineering, pages 188-197. IEEE Computer Society, 1999.
8. T. Frühwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 37(1-3): 95-138, October 1998.
9. C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In Proceedings of the First Workshop on Principles and Practice of Constraints Programming. MIT Press, Apr. 1993.
10. H. Kirchner and C. Ringeissen. A constraint solver in finite algebras and its combination with unification algorithms. In Proc. Joint International Conference and Symposium on Logic Programming, pages 225-239. MIT Press, 1992.
11. S. Kleene. Introduction to Metamathematics. Van Nostrand, Princeton, New Jersey, 1950.
12. S. Muggleton and L. De Raedt. Inductive Logic Programming: theory and methods. Journal of Logic Programming, 19,20: 629-679, 1994.
13. N. Pasquier, Y. Bastide, R. Taouil, and L. Lakhal. Efficient mining of association rules using closed itemset lattices. Information Systems, 24(1): 25-46, 1999.
14. G. Plotkin. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153-163. Edinburgh University Press, 1970.
15. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pages 165-176, Cambridge, MA, Oct. 1992. Morgan Kaufmann.
16. C. Ringeissen. Etude et implantation d’un algorithme d’unification dans les algèbres finies. Rapport de DEA, Université de Nancy I, 1990.
17. C. Ringeissen and E. Monfroy. Generating propagation rules for finite domains via unification in finite algebra. In ERCIM Working Group on Constraints / CompulogNet Area on Constraint Programming Workshop, 1999.
18. H. Toivonen, M. Klemettinen, P. Ronkainen, K. Hätönen, and H. Mannila. Pruning and grouping of discovered association rules. In Workshop Notes of the ECML-95 Workshop on Statistics, Machine Learning, and Knowledge Discovery in Databases, pages 47-52, Apr. 1995.
19. P. van Hentenryck. Constraint logic programming. The Knowledge Engineering Review, 6, 1991.