Generation of rule-based constraint solvers: Combined approach

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

Volumn 4915 LNCS, Issue , 2008, Pages 106-120

  Abdennadher, Slim ^a   Sobhi, Ingi ^a  

^a Faculty of Media Engineering and Technology   (Egypt)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; CONSTRAINT-HANDLING RULES (CHR); MACHINE-LEARNING; RULE-BASED; SEARCH TREES; TEST METHODS;

FOURIER TRANSFORMS; LEARNING SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS;

LOGIC PROGRAMMING;

EID: 58449106319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78769-3_8     Document Type: Conference Paper

References (10)

1. Abdennadher, S., Frühwirth, T.: Integration and Optimization of Rule-based Constraint Solvers. In: International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR, 2003. LNCS, Springer, Heidelberg (2004)
2. Abdennadher, S., Rigotti, C.: Automatic Generation of Propagation Rules for Finite Domains. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, Springer, Heidelberg (2000)
3. Abdennadher, S., Rigotti, C.: Towards Inductive Constraint Solving. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 31-45. Springer, Heidelberg (2001)
4. Abdennadher, S., Rigotti, C.: Automatic Generation of CHR Constraint Solvers. Journal of Theory and Practice of Logic Programming (TPLP) 5(2) (2005)
5. Apt, K., Monfroy, E.: Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 58-72. Springer, Heidelberg (1999)
6. Codognet, P.: A Tabulation Method for Constraint Logic Programs. In: 8th Symposuim and Exibition on Industrial Applications of Prolog (1995)
7. Warren, D.S., Cui, B.: A System for Tabled Constraint Logic Programming. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, Springer, Heidelberg (2000)
8. Frühwirth, T.: Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. Journal of Logic Programming 37(1-3), 95-138 (1998)
9. Monfroy, E., Ringeissen, C.: Generating Propagation Rules for Finite Domains: A Mixed Approach. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol. 1865, Springer, Heidelberg (2000)
10. Sobhi, I.: Constructive generation of rule-based constraint solvers. Master's thesis, German University in Cairo (2007)