---
title: "Semiring-based Constraint Logic Programming"
authors:
  - "Stefano Bistarelli"
  - "Ugo Montanari"
  - "Francesca Rossi"
doi: ""
url: "https://ijcai.org/proceedings/1997/52"
pdf: "https://ijcai.org/proceedings/1997/0052.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "352-356"
track: "Constraint Satisfaction"
keywords:
---

# Semiring-based Constraint Logic Programming

Stefano Bistarelli, Ugo Montanari, Francesca Rossi

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 352-356.

## Abstract

We extend the Constraint Logic Programming (CLP) formalism in order to handle semiringbased constraint systems. This allows us to perform in the same language both constraint solving and optimization. In fact, constraint systems based on semirings are able to model both classical constraint solving and more sophisticated features like uncertainty, probability, fuzzyness, and optimization. We then provide this class of languages with three equivalent semantics: model-theoretic, fixpoint, and proof-theoretic, in the style of CLP programs.