Adaptive constraint handling with CHR in Java

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

Volumn 2239, Issue , 2001, Pages 256-270

  Armin, Armin Wolf ^a  

^a FRAUNHOFER GESELLSCHAFT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DIGITAL STORAGE; EVOLUTIONARY ALGORITHMS; JAVA PROGRAMMING LANGUAGE; PROBLEM ORIENTED LANGUAGES; PROGRAM COMPILERS; SIMULATED ANNEALING;

ADAPTIVE CONSTRAINTS; ARBITRARY CONSTRAINTS; ATTRIBUTED VARIABLES; BENCH-MARK PROBLEMS; CONSTRAINT HANDLING RULES; CONSTRAINT PROCESSING; JAVA IMPLEMENTATION; STORAGE AND RETRIEVALS;

OBJECT ORIENTED PROGRAMMING;

EID: 84947920707     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (19)

1. Slim Abdennadher. Operational semantics and confluence of Constraint Handling Rules. In Proceedings of the Third International Conference on Principles and Practice of Constraint Programming – CP97, number 1330 in Lecture Notes in Computer Science. Springer Verlag, 1997.
2. Ken Arnold, James Gosling, and David Holmes. The Java Programming Language, Third Edition. Addison-Wesley, June 2000.
3. Andy Hon Wai C. Constraint programming in Java with JSolver. In Proceedings of PACLP99, The Practical Application of Constraint Technologies and Logic Programming, London, April 1999.
4. David Flanagan. Java Foundation Classes in a Nutshell. O’Reilly, September 1999.
5. David Flanagan. Java in a Nutshell. O’Reilly, 3rd edition, November 1999.
6. Thom Frühwirth. Constraint Handling Rules. In Andreas Podelski, editor, Constraint Programming: Basics and Trends, number 910 in Lecture Notes in Computer Science, pages 90–107. Springer Verlag, March 1995.
7. Thom Frühwirth. Theory and practice of Constraint Handling Rules. The Journal of Logic Programming, 37:95–138, 1998.
8. Thom Frühwirth and Pascal Brisset. High-Level Implementations of Constraint Handling Rules. Technical report, ECRC, 1995.
9. Matthew L. Ginsberg. Dynamic backtracking. Journal of Artificial Intelligence Research, 1:25–46, 1993.
10. Christian Holzbaur. Specification of Constraint Based Inference Mechanism through Extended Unification. PhD thesis, Dept. of Medical Cybernetics & AI, University of Vienna, 1990.
11. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules compiler and runtime system. Applied Artificial Intelligence, 14(4):369–388, April 2000.
12. K. Iwama, E. Miyano, and Y. Asahiro. Random generation of test instances with controlled attributes. In Cliques, Coloring, and Satisfiability, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 377–394. American Mathematical Society, 1996.
13. Kim Marriott and Peter J. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
14. Matthias Schmauss. An implementation of CHR in Java. Master’s thesis, Ludwig Maximilians Universität München, Institut für Informatik, May 1999.
15. Marc Torrens, Rainer Weigel, and Baoi Faltings. Java constraint library: Bringing constraint technology on the internet using java. In Proceedings of the CP-97 Workshop on Constraint Reasoning on the Internet, November 1997.
16. Armin Wolf. Adaptive entailment of equations over rational trees. In Proceedings of the 13th Workshop on Logic Programming, WLP‘98, Technical Report 1843- 1998-10, pages 25–33. Vienna University of Technology, October 1998.
17. Armin Wolf. Adaptive solving of equations over rational trees. In Proceedings of the Fourth International Conference on Principles and Practice on Constraint Programming, CP‘98, Poster Session, number 1520 in Lecture Notes in Computer Science, page 475. Springer, 1998.
18. Armin Wolf. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules – Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme, volume 219 of Disserationen zur Künstlichen Intelligenz (DISKI). infix, November 1999.
19. Armin Wolf, Thomas Gruenhagen, and Ulrich Geske. On incremental adaptation of CHR derivations. Applied Artificial Intelligence, 14(4):389–416, April 2000.