The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Possibilistic constraint satisfaction problems or “how to handle soft constraints?”
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Concurrent constraint programming
Concurrent constraint programming
From concurrent logic programming to concurrent constraint programming
Advances in logic programming theory
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Analysis of Integrity Policies using Soft Constraints
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Distributed QoS Routing with Imprecise State Information
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Rewriting Logic Framework for Soft Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrency, Graphs and Models
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
A Soft Approach to Multi-objective Optimization
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured Communications with Concurrent Constraints
Trustworthy Global Computing
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing quality of service with soft constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic (TOCL)
A Common Computational Framework for Semiring-based Argumentation Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Solving weighted argumentation frameworks with soft constraints
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A survey of constraint-based programming paradigms
Computer Science Review
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed ones, as yet there seems to be no concurrent programming framework where soft constraints can be handled. In this article we show how the classical concurrent constraint (cc) programming framework can work with soft constraints, and we also propose an extension of cc languages which can use soft constraints to prune and direct the search for a solution. We believe that this new programming paradigm, called soft cc (scc), can be also very useful in many Web-related scenarios. In fact, the language level allows Web agents to express their interaction and negotiation protocols, and also to post their requests in terms of preferences, and the underlying soft constraint solver can find an agreement among the agents even if their requests are incompatible.