Semiring-based constraint logic programming

Authors:
Stefano Bistarelli;Ugo Montanari;Francesca Rossi
Affiliations:
University of Pisa, Computer Science Department, Pisa, Italy;University of Pisa, Computer Science Department, Pisa, Italy;University of Pisa, Computer Science Department, Pisa, Italy
Venue:
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Year:
1997

Citing 7
Cited 16

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Partial constraint satisfaction

Artificial Intelligence - Special volume on constraint-based reasoning
Multi-valued logic programming semantics: an algebraic approach

Selected papers from the international workshop on Uncertainty in databases and deductive systems
Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Foundations of Logic Programming

Foundations of Logic Programming
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Constraint solving over semirings

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Semiring-based constraint logic programming: syntax and semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties,and Comparison

Constraints
Soft Constraint Logic Programming and Generalized Shortest Path Problems

Journal of Heuristics
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques

IEEE Transactions on Knowledge and Data Engineering
Labeling and Partial Local Consistency for Soft Constraint Programming

PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Constraint (Logic) Programming: A Survey on Research and Applications

Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation

Fuzzy Sets and Systems - Theme: Multicriteria decision
Propagating multitrust within trust networks

Proceedings of the 2008 ACM symposium on Applied computing
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section

Concurrency, Graphs and Models
Semiring-Based Soft Constraints

Concurrency, Graphs and Models
SCLP for Trust Propagation in Small-World Networks

Recent Advances in Constraints
Unicast and multicast QoS routing with soft-constraint logic programming

ACM Transactions on Computational Logic (TOCL)
Constraint logic programming

A 25-year perspective on logic programming
Relational preference rules for control

Artificial Intelligence
Relaxation of soft constraints via a unified semiring

AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
A survey of constraint-based programming paradigms

Computer Science Review

Quantified Score

Hi-index	0.00

Visualization

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.