Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
A generic arc-consistency algorithm and its specializations
Artificial Intelligence
A minimal extension of the WAM for clp(FD)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
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
Labeling and Partial Local Consistency for Soft Constraint Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
SCLP for Trust Propagation in Small-World Networks
Recent Advances in Constraints
Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic (TOCL)
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
Dynamic adaptation of access control policies
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
Implementing semiring-based constraints using mozart
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Hi-index | 0.00 |
In some recent works, a general framework for finite domains constraint satisfaction has been defined, where classical CSPs, fuzzy CSPs, weighted CSPs, partial CSPs and others can be easily cast. This framework, based on a semiring structure, allows, under certain conditions, to compute arc-consistency. Restricting to that case and integrating semiring-based constraint solving in the Constraint Logic Programming paradigm, we have implemented a generic language, clp(FD,S), for semiring-based constraint satisfaction. In this paper, we describe the kernel of the language: the SFD system and our implementation of clp(FD, S). We also give some performance results on various examples.