Semiring-based constraint satisfaction and optimization
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Comparing the notions of optimality in CP-nets, strategic games and soft constraints
- General properties and termination conditions for soft constraint propagation
- A novel weighted defence and its relaxation in abstract argumentation
- Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
- Stability, optimality and manipulation in matching problems with weighted preferences
- Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
- A hybrid method for modeling and solving supply chain optimization problems with soft and logical constraints
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
- Reduction operations in fuzzy or valued constraint satisfaction
- Semirings for constraint solving and programming.
- Filter-embedding semiring fusion for programming with MapReduce
- Kruskal with embedded c-semirings to solve MST problems with partially-ordered costs
- Residuation for soft constraints: lexicographic orders and approximation techniques
- Zero divisors and prime elements of bounded semirings.
- Lexicographically-ordered constraint satisfaction problems
- Evaluating the impact of AND/OR search on 0-1 integer linear programming
- MiniBrass: soft constraints for MiniZinc
- Logic programming with solution preferences
- Relaxations of semiring constraint satisfaction problems
- Semiring induced valuation algebras: exact and approximate local computation algorithms
- Observational and behavioural equivalences for soft concurrent constraint programming
- A reward-based approach for preference modeling: a case study
- 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
- 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
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Conflict-directed \(A^{*}\) and its role in model-based embedded systems
- Distributivity and residuation for lexicographic orders
- On quotients of formal power series
- Abstracting soft constraints: framework, properties, examples
- A relaxation of internal conflict and defence in weighted argumentation frameworks
- 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
- A proof theoretic study of soft concurrent constraint programming
- On merging two trust-networks in one with bipolar preferences
- Asynchronous distributed execution of fixpoint-based computational fields
- Semiring-induced propositional logic: definition and basic algorithms
- Concurrent Kleene Algebra
- C-semiring Frameworks for Minimum Spanning Tree Problems
- Solving finite domain constraint hierarchies by local consistency and tree search
- Residuation for bipolar preferences in soft constraints
- There are two sides to every question. Controller versus attacker
- 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?
- Dealing with Incomplete Preferences in Soft Constraint Problems
- Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
- Algebraic Structures for Bipolar Constraint-Based Reasoning
- Interchangeability with thresholds and degradation factors for soft CSPs
- Long-run cost analysis by approximation of linear operators over dioids
- Logic-based decision support for strategic environmental assessment
- Coordination Via Types in an Event-Based Framework
- Soft Constraints Processing over Divisible Residuated Lattices
- Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
- scientific article; zbMATH DE number 1954162 (Why is no real title available?)
- Learning solution preferences in constraint problems
- scientific article; zbMATH DE number 2080300 (Why is no real title available?)
- scientific article; zbMATH DE number 1759706 (Why is no real title available?)
- A survey of constraint-based programming paradigms
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- Contractibility for open global constraints
- Birkhoff center of c-semiring
- On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Structure of Birkhoff center of \(c\)-semirings
- A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
- \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
- Which soft constraints do you prefer?
- Coordinating asynchronous and open distributed systems under semiring-based timing constraints
- From Marriages to Coalitions: A Soft CSP Approach
- Robust Solutions in Unstable Optimization Problems
- AI 2003: Advances in Artificial Intelligence
- Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited
- Partial valuation structures for qualitative soft constraints
- Abstract constraint data types
- Programming autonomic systems with multiple constraint stores
- A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
- SCLP for Trust Propagation in Small-World Networks
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Concurrent Kleene algebra and its foundations
- A Soft Approach to Multi-objective Optimization
- The complexity of conservative valued CSPs
- Detection and diagnosis of deviations in distributed systems of autonomous agents
- MICAI 2004: Advances in Artificial Intelligence
- Soft constraint automata with memory
- Discrete convexity and polynomial solvability in minimum 0-extension problems
- Redundant modeling in permutation weighted constraint satisfaction problems
- Enabling local computation for partially ordered preferences
- QoS negotiation in service composition
- Interval-valued soft constraint problems
- Quantaloidal approach to constraint satisfaction
- Hybrid tractability of valued constraint problems
- On the modelling and optimization of preferences in constraint-based temporal reasoning
This page was built for publication: Semiring-based constraint satisfaction and optimization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4377273)
