Semirings for constraint solving and programming.

DOI10.1007/B95712zbMATH Open1054.68136OpenAlexW1487478819MaRDI QIDQ1882811FDOQ1882811

Stefano Bistarelli

Publication date: 1 October 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95712

Recommendations

• Semiring-Based Soft Constraints
• Semiring-based constraint satisfaction and optimization
• scientific article; zbMATH DE number 2080300
• General properties and termination conditions for soft constraint propagation
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison

zbMATH Keywords

constraint programmingsecurityconstraint logic programmingconcurrent constraint programmingsemiringssoft constraints

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Fuzzy and other nonstochastic uncertainty mathematical programming (90C70)

Cited In (31)

• Derivations of some classes of additively idempotent semirings
• A survey of constraint-based programming paradigms
• MiniBrass: soft constraints for MiniZinc
• On commuting conditions of semirings with involution
• A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
• Qualification Conditions in Semialgebraic Programming
• A rewriting logic framework for soft constraints
• Semiring programming: a semantic framework for generalized sum product problems
• Logical semirings and their usage for construction of quick algorithms
• Soft constraint abstraction based on semiring homomorphism
• Amitsur's theorem, semicentral idempotents, and additively idempotent semirings
• A new order relation on fuzzy soft sets and its application
• SCLP for Trust Propagation in Small-World Networks
• Bisimulations for weighted automata over an additively idempotent semiring
• MICAI 2004: Advances in Artificial Intelligence
• Birkhoff center of c-semiring
• On merging two trust-networks in one with bipolar preferences
• Structure of Birkhoff center of c-semirings
• Models and emerging trends of concurrent constraint programming
• On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
• Congruence openings of additive Green's relations on a semiring.
• Containment of conjunctive queries on annotated relations
• Timed soft concurrent constraint programs: An interleaved and a parallel approach
• On the modelling and optimization of preferences in constraint-based temporal reasoning
• Semiring-Based Soft Constraints
• From Marriages to Coalitions: A Soft CSP Approach
• A logic of soft constraints based on partially ordered preferences
• C-semiring Frameworks for Minimum Spanning Tree Problems
• On 2-absorbing ideals of commutative semirings
• Co-algebraic models for quantitative spatial logics
• Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming

This page was built for publication: Semirings for constraint solving and programming.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882811)