{"type":"ScholarlyArticle","title":"Semiring-based Constraint Logic Programming","authors":[{"name":"Stefano Bistarelli","slug":"stefano-bistarelli","given":"Stefano","family":"Bistarelli","affiliation":""},{"name":"Ugo Montanari","slug":"ugo-montanari","given":"Ugo","family":"Montanari","affiliation":""},{"name":"Francesca Rossi","slug":"francesca-rossi","given":"Francesca","family":"Rossi","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/52","pdf":"https://ijcai.org/proceedings/1997/0052.pdf","markdown":"https://ijcai.org/proceedings/1997/52.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/52","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Satisfaction","track":"Constraint Satisfaction","number":52,"pages":{"first":352,"last":356},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}