Advertisement

Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section

  • Francesca Rossi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5065)

Abstract

This short note introduces the area of constraint and logic programming. I will first briefly describe the main contributions of Ugo Montanari to these disciplines. Then I will summarize the papers contained in this volume, and concerned with either constraint or logic programming, that have been written in honour of Ugo Montanari.

Keywords

Logic Program Logic Programming Constraint Programming Soft Constraint Binary Decision Diagram 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)Google Scholar
  2. 2.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Solving and Optimization. Journal of the ACM 44(2), 201–236 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bistarelli, S., Montanari, U., Rossi, F.: Constraint Solving over Semirings. In: Proc. IJCAI 1995, Morgan Kaufmann, San Francisco (1995)Google Scholar
  4. 4.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Logic Programming. In: Proc. 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 352–357. Morgan Kaufmann, San Francisco (1997)Google Scholar
  5. 5.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based Constraint Logic Programming: Syntax and Semantics. ACM Transactions on Programming Languages and System (TOPLAS) 23(1), 1–29 (2001)CrossRefGoogle Scholar
  6. 6.
    Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. In: Le Métayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. ACM Transactions on Computational Logic (TOCL) 7(3), 1–27 (2006)MathSciNetGoogle Scholar
  8. 8.
    Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)Google Scholar
  9. 9.
    Jaffar, J., Lassez, J.L.: Constraint Logic Programming. In: Proc. POPL 1987, ACM, New York (1987)Google Scholar
  10. 10.
    Lloyd, J.: Foundations of logic programming. Springer, Heidelberg (1984)zbMATHGoogle Scholar
  11. 11.
    Marriott, K., Stuckey, P.J.: Programming with Constraints. MIT Press, Cambridge (1998)zbMATHGoogle Scholar
  12. 12.
    Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Transactions on Programming Languages and Systems 4(2), 258–282 (1982)zbMATHCrossRefGoogle Scholar
  13. 13.
    Montanari, U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science 7, 95–132 (1974)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Rossi, F., Van Beek, P., Walsh, T. (eds.): Handbook of constraint programming. Elsevier, Amsterdam (2006)Google Scholar
  15. 15.
    Tsang, E.P.K.: Foundations of Constraint Satisfaction. Academic Press, London (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Francesca Rossi
    • 1
  1. 1.Dipartimento di Matematica Pura e ApplicataUniversità di PadovaItaly

Personalised recommendations