Semiring-based constraint logic programming: Syntax and semantics

ACM Transactions on Programming Languages and Systems

Volumn 23, Issue 1, 2001, Pages 1-29

  Bistarelli, Stefano ^a   Montanari, Ugo ^a   Rossi, Francesca ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF PADOVA   (Italy)

Author keywords

D.3.1 Programming languages : Formal Definitions and Theory; D.3.2 Programming languages : Language Classifications Constraint and logic languages; F.3.2 Logics And Meanings Of Programs : Semantics of Programming Languages Denotational semantics

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; FUNCTION EVALUATION; FUZZY SETS; HIERARCHICAL SYSTEMS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; OPTIMIZATION; PROBABILISTIC LOGICS; SEMANTICS; THEOREM PROVING;

CONSTRAINT LOGIC PROGRAMMING (CLP); SYNTAX;

LOGIC PROGRAMMING;

EID: 0041405781     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/383721.383725     Document Type: Article

References (23)

1. BISTARELLI, S., FARGIER, H., MONTANARI, U., ROSSI, F., SCHIEX, T., AND VERFAILLIE, G. 1999. Semiring-based CSPs and Valued CSPs: Frameworks, properties, and comparison. CONSTRAINTS: An international journal. Kluwer 4, 3.
2. BISTARELLI, S., MONTANARI, U., AND ROSSI, F. 1995. Constraint Solving over Semirings. In Proc. IJCAI95. Morgan Kaufman, San Francisco, CA, USA.
3. BISTARELLI, S., MONTANARI, U., AND ROSSI, F. 1997b. Semiring-based Constraint Logic Programming. In Proc. IJCAI97. Morgan Kaufman, San Francisco, CA, USA.
4. BISTARELLI, S., MONTANARI, U., AND ROSSI, F. 1997a. Semiring-based Constraint Solving and Optimization. Journal of the ACM 44, 2 (Mar), 201-236.
5. BISTARELLI, S., MONTANARI, U., AND ROSSI, F. 2001. Soft constraint logic programming and generalized shortest path problems. Journal of Heuristics. Kluwer. to appear.
6. BORNING, A., MAHER, M., MARTINDALE, A., AND WILSON, M. 1989. Constraint hierarchies and logic programming. In Proc. 6th International Conference on Logic Programming, G. Levi and M. Martelli, Eds. MIT Press, Cambridge, MA, USA, 149-164.
7. CODOGNET, P. AND DIAZ, D. 1996. Compiling constraints in clp(fd). The Journal of Logic Programming. Elsevier Science 27, 3.
8. DUBOIS, D., FARGIER, H., AND PRADE, H. 1993. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In Proc. IEEE International Conference on Fuzzy Systems. IEEE, Piscataway, NJ, U.S.A., 1131-1136.
9. FARGIER, H. AND LANG, J. 1993. Uncertainty in constraint satisfaction problems: a probabilistic approach. In Proc. European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU). Number 747 in LNCS. Springer-Verlag, Heidelberg, Germany, 97-104.
10. FITTING, M. 1981. Bilattices and the semantics of logic programming. The Journal of Logic Programming. Elsevier Science 11, 1-2, 91-116.
11. FREUDER, E. AND WALLACE, R. 1992. Partial constraint satisfaction. AI Journal. Morgan Kaufmann 58.
12. GEORGET, Y. AND CODOGNET, P. 1998. Compiling semiring-based constraints with clp(fd,s). In Proc. CP98. Number 1520 in LNCS. Springer-Verlag, Heidelberg, Germany.
13. JAFFAR, J. AND LASSEZ, J. L. 1987. Constraint logic programming. In Proc. POPL. ACM, New York, NY, USA.
14. JAFFAR, J. AND MAHER, M. 1994. Constraint logic programming: A survey. The Journal of Logic Programming. Elsevier Science 19 and 20.
15. LLOYD, J. W. 1987. Foundations of Logic Programming. Springer-Verlag, Heidelberg, Germany.
16. MACKWORTH, A. 1992. Constraint satisfaction. In Encyclopedia of AI (second edition), S. Shapiro, Ed. John Wiley & Sons, New York, NY, USA, 285-293.
17. MODASHER, B., PIGOZZI, D., AND SLUTZKI, G. 1997. Multi-valued logic programming semantics: An algebraic approach. Theoretical Computer Science. Elsevier Science 171, 77-109.
18. SCHIEX, T., FARGIER, H., AND VERFAILLE, G. 1995. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proc. IJCAI95. Morgan Kaufmann, San Francisco, CA, USA, 631-637.
19. TARSKI, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics. International Press 5, 285-309.
20. TSANG, E. P. 1993. Foundations of Constraint Satisfaction. Academic Press, San Diego, CA.
21. VAN EMDEN, M. 1986. Quantitative deduction and its fixpoint theory. The Journal of Logic Programming. Elsevier Science 3, 1.
22. VAN HENTENRYCK, P. 1989. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, USA.
23. WALLACE, M. 1996. Practical applications of constraint programming. Constraints: An International Journal. Kluwer 1, 1 and 2.