Semiring-based constraint satisfaction and optimization
From MaRDI portal
Publication:4377273
DOI10.1145/256303.256306zbMath0890.68032OpenAlexW2156525231MaRDI QIDQ4377273
Ugo Montanari, Stefano Bistarelli, Francesca Rossi
Publication date: 17 February 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/jacm/1997-44/
Related Items
Unnamed Item ⋮ Discrete convexity and polynomial solvability in minimum 0-extension problems ⋮ Soft constraint automata with memory ⋮ Reduction operations in fuzzy or valued constraint satisfaction ⋮ Detection and diagnosis of deviations in distributed systems of autonomous agents ⋮ Unnamed Item ⋮ Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners ⋮ Logic programming with solution preferences ⋮ Relaxations of semiring constraint satisfaction problems ⋮ A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games ⋮ SCLP for Trust Propagation in Small-World Networks ⋮ There are Two Sides to Every Question ⋮ Concurrent Kleene Algebra ⋮ C-semiring Frameworks for Minimum Spanning Tree Problems ⋮ Conflict-directed \(A^{*}\) and its role in model-based embedded systems ⋮ Semiring induced valuation algebras: exact and approximate local computation algorithms ⋮ Residuation for bipolar preferences in soft constraints ⋮ Interchangeability with thresholds and degradation factors for soft CSPs ⋮ A Proof Theoretic Study of Soft Concurrent Constraint Programming ⋮ Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Redundant modeling in permutation weighted constraint satisfaction problems ⋮ Enabling local computation for partially ordered preferences ⋮ A reward-based approach for preference modeling: a case study ⋮ Distributivity and residuation for lexicographic orders ⋮ On quotients of formal power series ⋮ QoS negotiation in service composition ⋮ Interval-valued soft constraint problems ⋮ Abstracting soft constraints: framework, properties, examples ⋮ A novel weighted defence and its relaxation in abstract argumentation ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ Contractibility for open global constraints ⋮ Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section ⋮ Semiring-Based Soft Constraints ⋮ What Do Semantics Matter When the Meat Is Overcooked? ⋮ Subexponential concurrent constraint programming ⋮ Filter-embedding semiring fusion for programming with MapReduce ⋮ Gradualness, uncertainty and bipolarity: making sense of fuzzy sets ⋮ On merging two trust-networks in one with bipolar preferences ⋮ Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs ⋮ Dealing with Incomplete Preferences in Soft Constraint Problems ⋮ Algebraic Structures for Bipolar Constraint-Based Reasoning ⋮ Hybrid tractability of valued constraint problems ⋮ On the modelling and optimization of preferences in constraint-based temporal reasoning ⋮ A survey of constraint-based programming paradigms ⋮ Birkhoff center of c-semiring ⋮ Unnamed Item ⋮ ASP (): Answer Set Programming with Algebraic Constraints ⋮ On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras ⋮ The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning ⋮ Constraint-based optimization and utility elicitation using the minimax decision criterion ⋮ Open constraint programming ⋮ Stability, optimality and manipulation in matching problems with weighted preferences ⋮ Efficient sequence alignment with side-constraints by cluster tree elimination ⋮ Soft constraint abstraction based on semiring homomorphism ⋮ Weighted monadic Datalog ⋮ Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ Unnamed Item ⋮ Zero divisors and prime elements of bounded semirings. ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies ⋮ Long-run cost analysis by approximation of linear operators over dioids ⋮ Logic–based decision support for strategic environmental assessment ⋮ From StPowla processes to SRML models ⋮ Concurrent Kleene algebra and its foundations ⋮ Which Soft Constraints do you Prefer? ⋮ Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints ⋮ Lexicographically-ordered constraint satisfaction problems ⋮ Evaluating the impact of AND/OR search on 0-1 integer linear programming ⋮ From Marriages to Coalitions: A Soft CSP Approach ⋮ Robust Solutions in Unstable Optimization Problems ⋮ Learning solution preferences in constraint problems ⋮ A logic of soft constraints based on partially ordered preferences ⋮ On global warming: Flow-based soft global constraints ⋮ Bucket elimination for multiobjective optimization problems ⋮ Hard and soft constraints for reasoning about qualitative conditional preferences ⋮ Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP ⋮ Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs ⋮ A hybrid method for modeling and solving supply chain optimization problems with soft and logical constraints ⋮ Coordination Via Types in an Event-Based Framework ⋮ Open Bisimulation for the Concurrent Constraint Pi-Calculus ⋮ Residuation for soft constraints: lexicographic orders and approximation techniques ⋮ Soft Constraints Processing over Divisible Residuated Lattices ⋮ Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited ⋮ Comparing the notions of optimality in CP-nets, strategic games and soft constraints ⋮ Solving finite domain constraint hierarchies by local consistency and tree search ⋮ Structure of Birkhoff center of c-semirings ⋮ A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks ⋮ MiniBrass: soft constraints for MiniZinc ⋮ A Soft Approach to Multi-objective Optimization ⋮ Quantitative \(\mu\)-calculus and CTL defined over constraint semirings ⋮ Partial Valuation Structures for Qualitative Soft Constraints ⋮ Abstract Constraint Data Types ⋮ Programming Autonomic Systems with Multiple Constraint Stores ⋮ Unnamed Item ⋮ Co-Algebraic Models for Quantitative Spatial Logics ⋮ Keeping Secrets in Resource Aware Components ⋮ 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 ⋮ Fuzzy constraint networks for signal pattern recognition ⋮ Cyclic consistency: A local reduction operation for binary valued constraints ⋮ Qualitative choice logic ⋮ Solving weighted CSP by maintaining arc consistency
