Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
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
Bilattices and the semantics of logic programming
Journal of Logic Programming
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Multi-valued logic programming semantics: an algebraic approach
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Fuzzy Prolog: A Simple General Implementation Using CLP(R)
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Interchangeability in Soft CSPs
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Quantitative μ-calculus and CTL defined over constraint semirings
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A logic of soft constraints based on partially ordered preferences
Journal of Heuristics
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Semantic optimization techniques for preference queries
Information Systems
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Theoretical Computer Science
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Concurrency, Graphs and Models
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
Properties of General Semantic Operators Determined by Logic-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing Quality of Service with Soft Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Bisimulation Minimisation of Weighted Automata on Unranked Trees
Fundamenta Informaticae
RFuzzy: An Expressive Simple Fuzzy Compiler
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Managing quality of service with soft constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Quantitative μ-calculus and CTL Based on Constraint Semirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Interchangeability in soft CSPs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
An overview of AI research in Italy
Artificial intelligence
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
Dynamic adaptation of access control policies
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
Information Sciences: an International Journal
Approximate model-based diagnosis using preference-based compilation
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Solving collaborative fuzzy agents problems with CLP(FD)
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Computers & Mathematics with Applications
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Bisimulation Minimisation of Weighted Automata on Unranked Trees
Fundamenta Informaticae
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Ordering based decision making - A survey
Information Fusion
Interchangeability with thresholds and degradation factors for Soft CSPs
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We extend the Constraint Logic Programming (CLP) formalism in order to handle semiring-based constraints. This allows us to perform in the same language both constraint solving and optimization. In fact, constraints based on semirings are able to model both classical constraint solving and more sophisticated features like uncertainty, probability, fuzziness, and optimization. We then provide this class of languages with three equivalent semantics: model-theoretic, fix-point, and proof-theoretic, in the style of classical CLP programs.