Semirings for constraint solving and programming.

DOI10.1007/b95712zbMath1054.68136OpenAlexW1487478819MaRDI QIDQ1882811

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

zbMATH Keywords

securitysemiringsconstraint programmingconstraint logic programmingconcurrent constraint programmingsoft constraints

Mathematics Subject Classification ID

Fuzzy and other nonstochastic uncertainty mathematical programming (90C70) 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)

Related Items (25)

SCLP for Trust Propagation in Small-World Networks ⋮ C-semiring Frameworks for Minimum Spanning Tree Problems ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ On 2-absorbing ideals of commutative semirings ⋮ Semiring-Based Soft Constraints ⋮ Derivations of some classes of additively idempotent semirings ⋮ Congruence openings of additive Green's relations on a semiring. ⋮ On merging two trust-networks in one with bipolar preferences ⋮ Semiring programming: a semantic framework for generalized sum product problems ⋮ Containment of conjunctive queries on annotated relations ⋮ A new order relation on fuzzy soft sets and its application ⋮ On the modelling and optimization of preferences in constraint-based temporal reasoning ⋮ A survey of constraint-based programming paradigms ⋮ Birkhoff center of c-semiring ⋮ Bisimulations for weighted automata over an additively idempotent semiring ⋮ On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ From Marriages to Coalitions: A Soft CSP Approach ⋮ A logic of soft constraints based on partially ordered preferences ⋮ Structure of Birkhoff center of c-semirings ⋮ MiniBrass: soft constraints for MiniZinc ⋮ Models and emerging trends of concurrent constraint programming ⋮ 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 ⋮ A Rewriting Logic Framework for Soft Constraints

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