Constraints with Variables’ Annotations and Constraint Hierarchies

  • Hana Rudova
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1521)


Variables annotations in over-constrained problems enable to express preferences for optimal solution selection using preferences on variables. The basic interpretation of variables’ annotations is presented and correspondence with hierarchical CSP is described. New local comparator for constraint hierarchy is proposed and used for solving constraints with variables’ annotations. The relationships between standard locally-better comparator and the new one are clarified. The potential application areas of variables annotations are also mentioned.


Error Function Logic Program Constraint System Interval Arithmetic Input Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benhamou, F.: Interval Constraint Logic Programming. In: Podelski, A.(nted.): Constraint Programming: Basics and Trends. Lecture Notes in Computer Science, Vol. 910. Springer-Verlag, Berlin Heidelberg New York (1995) 1–21Google Scholar
  2. 2.
    Borning, A., Anderson, R., Freeman-Benson, B.: Indigo: A Local Propagation Algorithm for Inequality Constraints. Proceedings of the 1996 ACM Symposium on User Interface Software and Technology (1996) 129–136Google Scholar
  3. 3.
    Borning, A., Anderson, R., Freeman-Benson, B.: The Indigo Algorithm. Tech. Rep. TR-96-05-01, Department of Computer Science and Engineering University of Washington (1996)Google Scholar
  4. 4.
    Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. Lisp and Symbolic Computation5, No. 3 (1992) 223–270CrossRefGoogle Scholar
  5. 5.
    Freuder, E.C., Mackworth, A.K. (eds.): Constrained-Based Reasoning. MIT Press, (1994). Reprinted from Artificial Intelligence 58, No. 1–3 (1992)Google Scholar
  6. 6.
    Rudova, H.: Constraints with Variables Annotations. Tech. Rep. FIMU-RS-98-04, Faculty of Informatics Masaryk University, (1998)
  7. 7.
    Rudova, H.: Constraints with Variables Annotations. In:Prade, H.: 13th European Conference on Artificial Intelligence, John Wiley & Sons, Ltd 1998) 261–262Google Scholar
  8. 8.
    Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press 1989Google Scholar
  9. 9.
    Wilson, M., Borning, A.: Hierarchical Constraint Logic Programming. Journal of Logic Programming 16, No. 3,4 (1993) 227–318CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Hana Rudova
    • 1
  1. 1.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic

Personalised recommendations