Semiring-based constraint logic programming

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 352-357

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

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLP PROGRAMS; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT SOLVING; CONSTRAINT SYSTEMS; FIXPOINTS; MODEL-THEORETIC; SEMIRINGS;

ARTIFICIAL INTELLIGENCE; EQUIVALENCE CLASSES; OPTIMIZATION; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84880660138     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. A. Borning, M. Maher, A. Martindale, and M. Wilson. Constraint hierarchies and logic programming. In Martelli M. Levi G., editor, Proc. 6th International Conference on Logic Programming. MIT Press, 1989.
2. S. Bistarelli, U. Montanari, and F. Rossi. Constraint Solving over Semirings. In Proc. IJCAI95. Morgan Kaufman, 1995.
3. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 1997. To appear.
4. D. Dubois, H. Faxgier, and H. Prade. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In Proc. IEEE International Conference on Fuzzy Systems. IEEE, 1993.
5. H. Fargier and J. Lang. Uncertainty in constraint satisfaction problems: a probabilistic approach. In Proc. European Conference on Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU). Springer-Verlag, LNCS 747, 1993.
6. E. C. Freuder and R. J. Wallace. Partial constraint satisfaction. AI Journal, 58, 1992.
7. J. Jaffar and J.L. Lassez. Constraint logic programming. In Proc. POPL. ACM, 1987.
8. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1993.
9. A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI (second edition), volume 1, pages 285-293. John Wiley & Sons, 1992.
10. Bamshad Mobasher, Don Pigozzi, and Giora Slutzki. Multi-valued logic programming semantics: An algebraic approach. Theoretical Computer Science, 1997. to appear.
11. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.