Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13 October 2000, Computational Logic Seminar

13 October 2000, Computational Logic Seminar
Title: Constraint Programming viewed as Rule-based Programming
Speaker: Krzysztof Apt
Location: Room P.327, Euclides building
Date and Time: 13 October 2000, 13.30

Abstract:
We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we consider constraint satisfaction problems that are based on predefined, explicitly given constraints. To solve them we first derive rules from these constraints and limit the computation process to a repeated application of these rules, combined with labeling.

For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar00-2.html.

Please note that this newsitem has been archived, and may contain outdated information or links.