Work

Semiring-based constraint logic programming: syntax and semantics

Year: 2001

Type: article

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

Source: ACM Transactions on Programming Languages and Systems

DOI: 10.1145/383721.383725

Authors: Stefano Bistarelli, Ugo Montanari, Francesca Rossi

Institutions: University of Pisa, University of Padua

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W196585358

FWCI: 15.07

Cites: 28

Cited by: 108

Related to: 10