On the public citation graph

Semirings for Soft Constraint Solving and Programming

0 signed · 154 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-540-25925-1_10openalex-snapshot

10. SCSPs for Modelling Attacks to Security Protocols

inferredcites →https://doi.org/10.1016/j.entcs.2005.07.011openalex-snapshot

Soft Constraints for Security

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/sec.252openalex-snapshot

Semiring‐based frameworks for trust propagation in small‐world networks and coalition formation criteria

inferred← citeshttps://doi.org/10.1007/0-387-24098-5_13openalex-snapshot

Reasoning about Secure Interoperation Using Soft Constraints

inferred← citeshttps://doi.org/10.1007/0-387-34224-9_10openalex-snapshot

Optimized Multi-Domain Secure Interoperation using Soft Constraints

inferred← citeshttps://doi.org/10.1007/11527862_5openalex-snapshot

Implementing an Abstraction Framework for Soft Constraints

inferred← citeshttps://doi.org/10.1007/11564126_8openalex-snapshot

Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining

inferred← citeshttps://doi.org/10.1007/11564751_82openalex-snapshot

Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference

inferred← citeshttps://doi.org/10.1007/11780885_9openalex-snapshot

Longest-Match Pattern Matching with Weighted Finite State Automata

inferred← citeshttps://doi.org/10.1007/11802372_58openalex-snapshot

An A-Team Based Architecture for Constraint Programming

inferred← citeshttps://doi.org/10.1007/11888116_3openalex-snapshot

Semantic-Based Development of Service-Oriented Systems

inferred← citeshttps://doi.org/10.1007/11908852_15openalex-snapshot

Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration

inferred← citeshttps://doi.org/10.1007/978-0-387-36584-8_8openalex-snapshot

Multilevel Security and Quality of Protection

inferred← citeshttps://doi.org/10.1007/978-3-030-40814-5_5openalex-snapshot

A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems

inferred← citeshttps://doi.org/10.1007/978-3-030-89811-3_7openalex-snapshot

Towards a Formal Framework for Partial Compliance of Business Processes

inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_23openalex-snapshot

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

inferred← citeshttps://doi.org/10.1007/978-3-319-05302-8_11openalex-snapshot

Quantitative Evaluation of Enforcement Strategies

inferred← citeshttps://doi.org/10.1007/978-3-319-10557-4_27openalex-snapshot

On Security Countermeasures Ranking through Threat Analysis

inferred← citeshttps://doi.org/10.1007/978-3-319-46206-6_21openalex-snapshot

Splitting Algorithm of Valuation Algebra and Its Application in Automaton Representation of Semiring Valued Constraint Problems

inferred← citeshttps://doi.org/10.1007/978-3-319-48057-2_27openalex-snapshot

Aggregating Service Level Agreements in Services Bundling: A Semiring-Based Approach

inferred← citeshttps://doi.org/10.1007/978-3-319-68034-7_2openalex-snapshot

A Component-Oriented Framework for Autonomous Agents

inferred← citeshttps://doi.org/10.1007/978-3-319-90089-6_13openalex-snapshot

From Soft Agents to Soft Component Automata and Back

inferred← citeshttps://doi.org/10.1007/978-3-540-31845-3_19openalex-snapshot

Implementing Semiring-Based Constraints Using Mozart

inferred← citeshttps://doi.org/10.1007/978-3-540-45193-8_10openalex-snapshot

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

inferred← citeshttps://doi.org/10.1007/978-3-540-48584-1_1openalex-snapshot

Memetic Algorithms in Planning, Scheduling, and Timetabling

inferred← citeshttps://doi.org/10.1007/978-3-540-68265-3_4openalex-snapshot

Timed Soft Concurrent Constraint Programs

inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_11openalex-snapshot

Semiring-Based Soft Constraints

inferred← citeshttps://doi.org/10.1007/978-3-540-69295-9_38openalex-snapshot

A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family

inferred← citeshttps://doi.org/10.1007/978-3-540-71549-8_6openalex-snapshot

Agent Based Framework for Emergency Rescue and Assistance Planning

inferred← citeshttps://doi.org/10.1007/978-3-540-73279-2_62openalex-snapshot

Advanced Identification Technologies for Human-Computer Interaction in Crisis Rooms

inferred← citeshttps://doi.org/10.1007/978-3-540-74970-7_66openalex-snapshot

Constraint Symmetry for the Soft CSP

inferred← citeshttps://doi.org/10.1007/978-3-540-89812-2_3openalex-snapshot

SCLP for Trust Propagation in Small-World Networks

inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_87openalex-snapshot

Managing Quality of Service with Soft Constraints

inferred← citeshttps://doi.org/10.1007/978-3-642-03251-6_1openalex-snapshot

From Marriages to Coalitions: A Soft CSP Approach

inferred← citeshttps://doi.org/10.1007/978-3-642-03429-9_5openalex-snapshot

C-semiring Frameworks for Minimum Spanning Tree Problems

inferred← citeshttps://doi.org/10.1007/978-3-642-10248-6_4openalex-snapshot

Soft Constraints for Dependable Service Oriented Architectures

inferred← citeshttps://doi.org/10.1007/978-3-642-15660-1_16openalex-snapshot

A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-16576-4_20openalex-snapshot

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints

inferred← citeshttps://doi.org/10.1007/978-3-642-16761-4_34openalex-snapshot

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings

inferred← citeshttps://doi.org/10.1007/978-3-642-17358-5_44openalex-snapshot

A Soft Constraint-Based Approach to QoS-Aware Service Selection

inferred← citeshttps://doi.org/10.1007/978-3-642-19486-3_1openalex-snapshot

Solving Weighted Argumentation Frameworks with Soft Constraints

inferred← citeshttps://doi.org/10.1007/978-3-642-22137-8_3openalex-snapshot

Security Protocol Deployment Risk

inferred← citeshttps://doi.org/10.1007/978-3-642-31875-7_3openalex-snapshot

Strategic Alignment of Business Processes

inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_7openalex-snapshot

Solving Fuzzy Distributed CSPs: An Approach with Naming Games

inferred← citeshttps://doi.org/10.1007/978-3-642-38230-7_8openalex-snapshot

Preference and Similarity-Based Behavioral Discovery of Services

inferred← citeshttps://doi.org/10.1007/978-3-642-45114-0_6openalex-snapshot

Soft Constraints for Lexicographic Orders

inferred← citeshttps://doi.org/10.1007/978-3-7908-2789-7_47openalex-snapshot

Negotiation of Weighted RTML Credentials on Mobile Devices

inferred← citeshttps://doi.org/10.1007/s00224-011-9327-6openalex-snapshot

Containment of Conjunctive Queries on Annotated Relations

inferred← citeshttps://doi.org/10.1007/s00233-010-9255-9openalex-snapshot

Congruence openings of additive Green’s relations on a semiring

inferred← citeshttps://doi.org/10.1007/s00233-026-10667-xopenalex-snapshot

The finite basis problem for matrix semirings over a two-element additively idempotent semiring

inferred← citeshttps://doi.org/10.1007/s00500-012-0903-8openalex-snapshot

A new order relation on fuzzy soft sets and its application

inferred← citeshttps://doi.org/10.1007/s10601-013-9145-3openalex-snapshot

Models and emerging trends of concurrent constraint programming

inferred← citeshttps://doi.org/10.1007/s10601-018-9289-2openalex-snapshot

MiniBrass: Soft constraints for MiniZinc

inferred← citeshttps://doi.org/10.1007/s10601-026-09388-3openalex-snapshot

Semiring–based and valued CSPs revisited

inferred← citeshttps://doi.org/10.1007/s10732-006-6347-5openalex-snapshot

A logic of soft constraints based on partially ordered preferences

inferred← citeshttps://doi.org/10.1016/j.aca.2007.09.001openalex-snapshot

Problem of mixtures with known compositions and IRONFLEA method for multivariate curve resolution

inferred← citeshttps://doi.org/10.1016/j.artint.2010.11.010openalex-snapshot

Relational preference rules for control

inferred← citeshttps://doi.org/10.1016/j.artint.2010.11.016openalex-snapshot

On the modelling and optimization of preferences in constraint-based temporal reasoning

inferred← citeshttps://doi.org/10.1016/j.camwa.2011.12.017openalex-snapshot

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

inferred← citeshttps://doi.org/10.1016/j.cose.2004.10.004openalex-snapshot

Information Assurance for security protocols

inferred← citeshttps://doi.org/10.1016/j.cosrev.2008.10.001openalex-snapshot

A survey of constraint-based programming paradigms

inferred← citeshttps://doi.org/10.1016/j.datak.2006.07.008openalex-snapshot

Soft constraint based pattern mining

inferred← citeshttps://doi.org/10.1016/j.entcs.2005.07.011openalex-snapshot

Soft Constraints for Security

inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.020openalex-snapshot

A Semiring-based Quantitative Analysis of Mobile Systems

inferred← citeshttps://doi.org/10.1016/j.entcs.2007.06.015openalex-snapshot

A Rewriting Logic Framework for Soft Constraints

inferred← citeshttps://doi.org/10.1016/j.entcs.2007.07.004openalex-snapshot

Co-Algebraic Models for Quantitative Spatial Logics

inferred← citeshttps://doi.org/10.1016/j.entcs.2007.07.008openalex-snapshot

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming

inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.097openalex-snapshot

Service Discovery and Negotiation With COWS

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.020openalex-snapshot

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

inferred← citeshttps://doi.org/10.1016/j.eswa.2011.06.062openalex-snapshot

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization

inferred← citeshttps://doi.org/10.1016/j.ijar.2020.08.001openalex-snapshot

Semiring programming: A semantic framework for generalized sum product problems

inferred← citeshttps://doi.org/10.1016/j.jal.2011.11.002openalex-snapshot

A calculus for orchestration of web services

inferred← citeshttps://doi.org/10.1016/j.scico.2019.08.001openalex-snapshot

Soft component automata: Composition, compilation, logic, and verification

inferred← citeshttps://doi.org/10.1016/j.tcs.2014.02.032openalex-snapshot

Bisimulations for weighted automata over an additively idempotent semiring

inferred← citeshttps://doi.org/10.1016/j.tcs.2014.10.016openalex-snapshot

On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras

inferred← citeshttps://doi.org/10.1017/s0269888910000202openalex-snapshot

New trends in constraint satisfaction, planning, and scheduling: a survey

inferred← citeshttps://doi.org/10.1017/s0960129510000113openalex-snapshot

Long-run cost analysis by approximation of linear operators over dioids

inferred← citeshttps://doi.org/10.1017/s0960129515000092openalex-snapshot

On merging two trust-networks in one with bipolar preferences

inferred← citeshttps://doi.org/10.1017/s1471068414000106openalex-snapshot

Timed soft concurrent constraint programs: An interleaved and a parallel approach

inferred← citeshttps://doi.org/10.1080/00927872.2023.2181630openalex-snapshot

Derivations of some classes of additively idempotent semirings

inferred← citeshttps://doi.org/10.1080/09528130802667690openalex-snapshot

Solving finite domain constraint hierarchies by local consistency and tree search

inferred← citeshttps://doi.org/10.1080/09528130903010212openalex-snapshot

From soft constraints to bipolar preferences: modelling framework and solving issues

inferred← citeshttps://doi.org/10.1080/13623079.2011.587206openalex-snapshot

Evaluation of complex security scenarios using defense trees and economic indexes

inferred← citeshttps://doi.org/10.1109/acc.2012.6315691openalex-snapshot

Composite trust in networked multi-agent systems

inferred← citeshttps://doi.org/10.1109/access.2023.3344038openalex-snapshot

PenChain: A Blockchain-Based Platform for Penalty-Aware Service Provisioning

inferred← citeshttps://doi.org/10.1109/ares.2006.46openalex-snapshot

Defense trees for economic evaluation of security investments

inferred← citeshttps://doi.org/10.1109/ares.2008.197openalex-snapshot

Weighted Datalog and Levels of Trust

inferred← citeshttps://doi.org/10.1109/ares.2013.60openalex-snapshot

Automated Synthesis and Ranking of Secure BPMN Orchestrators

inferred← citeshttps://doi.org/10.1109/ares.2014.52openalex-snapshot

An Improved Role-Based Access to Android Applications with JCHR

inferred← citeshttps://doi.org/10.1109/crisis.2012.6378958openalex-snapshot

Semiring-based constraint models and frameworks for security-related scenarios

inferred← citeshttps://doi.org/10.1109/edoc.2018.00027openalex-snapshot

Handling Service Level Agreements in IoT = Minding Rules + Log Analytics?

inferred← citeshttps://doi.org/10.1109/edocw.2009.5332019openalex-snapshot

Dealing with imprecise compliance requirements

inferred← citeshttps://doi.org/10.1109/fuzzy.2006.1681995openalex-snapshot

Spread-Repair-Shrink: A Hybrid Algorithm for Solving Fuzzy Constraint Satisfaction Problems

inferred← citeshttps://doi.org/10.1109/iaw.2004.1437832openalex-snapshot

Advancing assurance for secure distributed communications

inferred← citeshttps://doi.org/10.1109/ical.2007.4338746openalex-snapshot

Distributed Cooperative Planning and Scheduling for Disaster Management

inferred← citeshttps://doi.org/10.1109/iccis.2008.4670838openalex-snapshot

MRPlanner: An agent-based MMRP constraint programming system

inferred← citeshttps://doi.org/10.1109/iccv.2019.00327openalex-snapshot

Bottleneck Potentials in Markov Random Fields

inferred← citeshttps://doi.org/10.1109/icn.2008.12openalex-snapshot

A Formal and Practical Framework for Constraint-Based Routing

inferred← citeshttps://doi.org/10.1109/icsmc.2008.4811412openalex-snapshot

Keeping the stability of solutions to dynamic fuzzy CSps

inferred← citeshttps://doi.org/10.1109/icsssm.2007.4280126openalex-snapshot

An A-Team Based Framework for Logistics Scheduling

inferred← citeshttps://doi.org/10.1109/ictai.2004.58openalex-snapshot

Encoding partial constraint satisfaction in the semiring-based framework for soft constraints

inferred← citeshttps://doi.org/10.1109/isda.2006.253769openalex-snapshot

A Multi-Agent System for Manufacturing Material Resource Planning

inferred← citeshttps://doi.org/10.1109/nafips.2007.383867openalex-snapshot

An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem

inferred← citeshttps://doi.org/10.1109/pst.2014.6890964openalex-snapshot

Two trust networks in one: Using bipolar structures to fuse trust and distrust

inferred← citeshttps://doi.org/10.1109/smcia.2008.5045994openalex-snapshot

Keeping the stability of solutions in dynamic fuzzy CSPs

inferred← citeshttps://doi.org/10.1109/soli.2006.236277openalex-snapshot

DISPDESK: A Logistic Constraint Programming System for Construction Machinery

inferred← citeshttps://doi.org/10.1109/tits.2020.3032645openalex-snapshot

Cooperative Localization With Constraint Satisfaction Problem in 5G Vehicular Networks

inferred← citeshttps://doi.org/10.1109/tpami.2014.2363833openalex-snapshot

Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings

inferred← citeshttps://doi.org/10.1142/s0219498820500346openalex-snapshot

On 2-absorbing ideals of commutative semirings

inferred← citeshttps://doi.org/10.1142/s1793557119500037openalex-snapshot

Birkhoff center of c-semiring

inferred← citeshttps://doi.org/10.1142/s1793557121500236openalex-snapshot

Structure of Birkhoff center of c-semirings

inferred← citeshttps://doi.org/10.1145/1273496.1273623openalex-snapshot

What is decreased by the max-sum arc consistency algorithm?

inferred← citeshttps://doi.org/10.1145/1363686.1364170openalex-snapshot

Propagating multitrust within trust networks

inferred← citeshttps://doi.org/10.1145/1514894.1514930openalex-snapshot

Containment of conjunctive queries on annotated relations

inferred← citeshttps://doi.org/10.1145/1838552.1838557openalex-snapshot

Unicast and multicast QoS routing with soft-constraint logic programming

inferred← citeshttps://doi.org/10.1145/1978802.1978809openalex-snapshot

Constraint programming systems for modeling music theories and composition

inferred← citeshttps://doi.org/10.1145/1982185.1982384openalex-snapshot

Finding partitions of arguments with Dung's properties via SCSPs

inferred← citeshttps://doi.org/10.1145/2494068.2494070openalex-snapshot

Towards a similarity-based web service discovery through soft constraint satisfaction problems

inferred← citeshttps://doi.org/10.1145/2814573openalex-snapshot

Discovering Best Teams for Data Leak-Aware Crowdsourcing in Social Networks

inferred← citeshttps://doi.org/10.1145/2959100.2959148openalex-snapshot

STAR

inferred← citeshttps://doi.org/10.1145/3034786.3056125openalex-snapshot

The Semiring Framework for Database Provenance

inferred← citeshttps://doi.org/10.1145/3051528.3051533openalex-snapshot

Provenance analysis for FOL model checking

inferred← citeshttps://doi.org/10.14288/1.0051112openalex-snapshot

Generalized constraint-based inference

inferred← citeshttps://doi.org/10.1515/math-2023-0180openalex-snapshot

Amitsur's theorem, semicentral idempotents, and additively idempotent semirings

inferred← citeshttps://doi.org/10.1527/tjsai.21.20openalex-snapshot

Combining Systematic and Local Search for Approximately Solving Fuzzy Constraint Satisfaction Problems

inferred← citeshttps://doi.org/10.1609/aaai.v37i4.25522openalex-snapshot

Constraint Optimization over Semirings

inferred← citeshttps://doi.org/10.21203/rs.3.rs-2386298/v1openalex-snapshot

Bisimulations for weighted finite automata over semirings

inferred← citeshttps://doi.org/10.21203/rs.3.rs-2432741/v1openalex-snapshot

On softmultiset filter of a residuated lattices and its application in decision making problem

inferred← citeshttps://doi.org/10.2200/s00529ed1v01y201308aim023openalex-snapshot

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms

inferred← citeshttps://doi.org/10.2200/s00893ed2v01y201901aim041openalex-snapshot

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition

inferred← citeshttps://doi.org/10.31489/2026m1/67-81openalex-snapshot

On certain identities of generalized derivations of semirings with involution

inferred← citeshttps://doi.org/10.3156/jsoft.21.372openalex-snapshot

Maintaining the Stability of Solutions in Dynamic Fuzzy CSPs

inferred← citeshttps://doi.org/10.3217/jucs-012-11-1466openalex-snapshot

An Interval Constraint Branching Scheme for Lattice Domains

inferred← citeshttps://doi.org/10.3233/978-1-60750-606-5-131openalex-snapshot

A Common Computational Framework for Semiring-based Argumentation Systems

inferred← citeshttps://doi.org/10.3233/fi-2010-358openalex-snapshot

Solving Distributed CSPs Probabilistically

inferred← citeshttps://doi.org/10.3233/fi-2013-840openalex-snapshot

Coalitions of Arguments: An Approach with Constraint Programming

inferred← citeshttps://doi.org/10.3233/fi-2014-1102openalex-snapshot

A Secure Non-monotonic Soft Concurrent Constraint Language

inferred← citeshttps://doi.org/10.3233/jcs-2005-13502openalex-snapshot

A soft constraint-based approach to the cascade vulnerability problem

inferred← citeshttps://doi.org/10.3390/axioms14020137openalex-snapshot

Idempotent Triangular Matrices over Additively Idempotent Semirings: Decompositions into Products of Semicentral Idempotents

inferred← citeshttps://doi.org/10.4018/ijsse.2014040103openalex-snapshot

Automated Synthesis and Ranking of Secure BPMN Orchestrators

inferred← citeshttps://doi.org/10.4204/eptcs.2.5openalex-snapshot

Soft Constraints for Quality Aspects in Service Oriented Architectures

inferred← citeshttps://doi.org/10.4204/eptcs.232.6openalex-snapshot

A Compositional Framework for Preference-Aware Agents

inferred← citeshttps://doi.org/10.4204/eptcs.28.5openalex-snapshot

Injecting Abstract Interpretations into Linear Cost Models

inferred← citeshttps://doi.org/10.4230/lipics.csl.2026.13openalex-snapshot

Compactness in Semiring Semantics

inferred← citeshttps://doi.org/10.4230/lipics.iclp.2011.268openalex-snapshot

A Semiring-based framework for fair resources allocation

inferred← citeshttps://doi.org/10.48550/arxiv.1212.2857openalex-snapshot

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints

inferred← citeshttps://doi.org/10.48550/arxiv.1508.03523openalex-snapshot

Sufficient and necessary conditions for Dynamic Programming in Valuation-Based Systems

inferred← citeshttps://doi.org/10.48550/arxiv.1609.06954openalex-snapshot

Semiring Programming: A Declarative Framework for Generalized Sum Product Problems

inferred← citeshttps://doi.org/10.48550/arxiv.1805.01438openalex-snapshot

Some Remarks on Ideals of Commutative Semirings

inferred← citeshttps://doi.org/10.48550/arxiv.1807.11704openalex-snapshot

A Brief History of Algebra with a Focus on the Distributive Law and Semiring Theory

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0408023openalex-snapshot

On Global Warming (Softening Global Constraints)

inferred← citeshttps://doi.org/10.5075/epfl-thesis-4045openalex-snapshot

Design and evaluation issues for user-centric online product search

inferred← citeshttps://doi.org/10.5282/edoc.18040openalex-snapshot

Algorithmic composition of music in real-time with soft constraints

inferred← citeshttps://doi.org/10.82465/5626openalex-snapshot

Managing Preferences with Constraints and Uncertainty.

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.