POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Concurrent constraint programming
Concurrent constraint programming
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft constraint propagation and solving in CHRs
Proceedings of the 2002 ACM symposium on Applied computing
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
Semiring frameworks and algorithms for shortest-distance problems
Journal of Automata, Languages and Combinatorics
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Soft Constraints for Security Protocol Analysis: Confidentiality
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Arc Consistency for Soft Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Interchangeability in Soft CSPs
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems - Optimisation and decision
Analysis of Integrity Policies using Soft Constraints
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Constraint Processing
Arc consistency for soft constraints
Artificial Intelligence
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
A soft constraint-based approach to the cascade vulnerability problem
Journal of Computer Security - Special issue on security track at ACM symposium on applied computing 2004
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Principles of Constraint Programming
Principles of Constraint Programming
Soft constraint based pattern mining
Data & Knowledge Engineering
Propagating multitrust within trust networks
Proceedings of the 2008 ACM symposium on Applied computing
Enhancing constraints manipulation in semiring-based formalisms
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Journal of Artificial Intelligence Research
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
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
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Temporal constraint reasoning with preferences
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Decision diagrams for the computation of semiring valuations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Dealing with incomplete preferences in soft constraint problems
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constraint symmetry for the soft CSP
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Extending the soft constraint based mining paradigm
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
Implementing semiring-based constraints using mozart
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Hi-index | 0.00 |
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more flexible and widely applicable. We also wanted to define the extension via a general formalism, so that all its instances could inherit its properties and be easily compared. Since then, much work has been done to study, extend, and apply this formalism. This papers gives a brief summary of some of these research activities.