Adaptive CHR meets CHRv: An extended refined operational semantics for CHRv based on justifications

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

Volumn 5388 LNAI, Issue , 2008, Pages 48-69

  Wolf, Armin ^a   Robin, Jacques ^b   Vitorino, Jairson ^b  

^a FRAUNHOFER FIRST   (Germany)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONSTRAINTS; CONSTRAINT HANDLING RULES; CONSTRAINT SATISFACTION PROBLEMS; INTELLIGENT SEARCH; MODEL CHOICE; OPERATIONAL SEMANTICS; SEARCH ALGORITHMS; SEARCH MECHANISM;

LEARNING ALGORITHMS; REFINING; SEMANTICS;

JAVA PROGRAMMING LANGUAGE;

EID: 70350287458     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92243-8_3     Document Type: Conference Paper

References (18)

1. ∨: A flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol. 1495, pp. 1-14. Springer, Heidelberg (1998)
2. Duck, G.J., García de la Banda, M., Stuckey, P.J., Holzbaur, C.: The refined operational semantics of constraint handling rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 90-104. Springer, Heidelberg (2004)
3. Frühwirth, T., Di Pierro, A., Wiklicky, H.: Probabilistic constraint handling rules. Electronic Notes in Theoretical Computer Science 76, 1-16 (2002)
4. Frühwirth, T.: Constraint Handling Rules. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, pp. 90-107. Springer, Heidelberg (1995)
5. Frühwirth, T.: Theory and practice of Constraint Handling Rules. The Journal of Logic Programming 37, 95-138 (1998)
6. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Series of Books in the Mathematical Sciences. W. H. Freeman & Co., New York (1979)
7. Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research 1, 25-46 (1993)
8. Holzbaur, C., Frühwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. Applied Artificial Intelligence 14(4), 369-388 (2000)
9. De Koninck, L., Schrijvers, T., Demoen, B.: Flexible search strategies in Prolog CHR. Report CW 447, Department of Computer Science, K. U. Leuven (May 2006); Also presented at the Workshop on CHR (2006)
10. De Koninck, L., Schrijvers, T., Demoen, B.: A Flexible Search Framework for CHR. In: Schrijvers, T., Frühwirth, T. (eds.) Constraint Handling Rules. LNCS (LNAI), vol. 5388, pp. 16-47. Springer, Heidelberg (2008)
11. Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence 9(3), 268-299 (1991); also available as technical report AISL-46-91, Stratchclyde (1991)
12. The ROARS project (last visited February 25, 2008), http://www.cin.ufpe. br/~jr/mysite/RoarsProject.html
13. Schrijvers, T., Frühwirth, T.: Optimal union-find in constraint handling rules. Theory and Practice of Logic Programming 6(1-2), 213-224 (2006)
14. Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of constraint handling rules. In: Schrijvers, T., Frühwirth, T. (eds.) Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, number CW 421 in CW Reports, pp. 3-17. Katholieke Universiteit Leuven, Department of Computer Science (2005) (last visited August 26, 2008), http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html
15. Wolf, A.: Projection in adaptive constraint solving based on chrs. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Proceedings of the ERCIM/COMPULOG Workshop on Constraints, Department of Computer Science, University of Cyprus, Nicosia, Cyprus (October 1999)
16. Wolf, A.: Adaptive constraint handling with CHR in Java. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 256-270. Springer, Heidelberg (2001)
17. Wolf, A.: Intelligent search strategies based on adaptive constraint handling rules. Theory and Practice of Logic Programming 5(4-5), 567-594 (2005)
18. Wolf, A., Gruenhagen, T., Geske, U.: On incremental adaptation of CHR derivations. Applied Artificial Intelligence 14(4), 389-416 (2000)