POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Backtrack-free and backtrack-bounded search
Search in Artificial Intelligence
Network-based heuristics for constraint satisfaction problems
Search in Artificial Intelligence
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Constraint relaxation may be perfect
Artificial Intelligence
Valuation-based systems: a framework for managing uncertainty in expert systems
Fuzzy logic for the management of uncertainty
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
Decomposing constraint satisfaction problems using database techniques
Artificial Intelligence
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM (JACM)
Synthesizing constraint expressions
Communications of the ACM
Nonserial Dynamic 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
Valuation-based systems for discrete optimisation
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison
Over-Constrained Systems
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Dynamic Programming
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
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Exploiting structure in quantified formulas
Journal of Algorithms
General Temporal Knowledge for Planning and Data Mining
Annals of Mathematics and Artificial Intelligence
Partition-Based Lower Bound for Max-CSP
Constraints
Soft Constraint Logic Programming and Generalized Shortest Path Problems
Journal of Heuristics
Deterministic versus nondeterministic time and lower bound problems
Journal of the ACM (JACM)
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Labeling and Partial Local Consistency for Soft Constraint Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Soft Constraints for Security Protocol Analysis: Confidentiality
PADL '01 Proceedings of the Third International Symposium 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
Pareto Optimization of Temporal Decisions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
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
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
Quantitative Observables and Averages in Probabilistic Constraint Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Fuzzifying the Constraint Hierarchies Framework
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Some Experiments on Learning Soft Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
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
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Translations for Comparing Soft Frameworks
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Learning and Solving Soft Temporal Constraints: An Experimental Study
CP '02 Proceedings of the 8th 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
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Indexical-Based Solver Learning
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Studying Interchangeability in Constraint Satisfaction Problems
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Node and arc consistency in weighted CSP
Eighteenth national conference on Artificial intelligence
On preference-based search in state space graphs
Eighteenth national conference on Artificial intelligence
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems - Optimisation and decision
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
Modeling and detecting the cascade vulnerability problem using soft constraints
Proceedings of the 2004 ACM symposium on Applied computing
Evaluating example-based search tools
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
Cyclic consistency: a local reduction operation for binary valued constraints
Artificial Intelligence
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
SHReQ: Coordinating Application Level QoS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Artificial Intelligence - Special issue: Distributed constraint satisfaction
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
On global warming: Flow-based soft global constraints
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Hard and soft constraints for reasoning about qualitative conditional preferences
Journal of Heuristics
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
Journal of Heuristics
New developments in parsing technology
Constraint-based optimization and utility elicitation using the minimax decision criterion
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
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
Soft constraint based pattern mining
Data & Knowledge Engineering
A Linear Programming Approach to Max-Sum Problem: A Review
IEEE Transactions on Pattern Analysis and Machine Intelligence
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Relaxations of semiring constraint satisfaction problems
Information Processing Letters
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Logic Framework for Soft Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Autonomous Agents and Multi-Agent Systems
Propagating multitrust within trust networks
Proceedings of the 2008 ACM symposium on Applied computing
AI Communications - Constraint Programming for Planning and Scheduling
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Artificial Intelligence
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Soft constraint abstraction based on semiring homomorphism
Theoretical Computer Science
Theoretical Computer Science
Coordination Via Types in an Event-Based Framework
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Comparing the notions of optimality in CP-nets, strategic games and soft constraints
Annals of Mathematics and Artificial Intelligence
Algebraic Structures for Bipolar Constraint-Based Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
Recent Advances in Constraints
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
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
A Soft Approach to Multi-objective Optimization
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Semantic QoS-Based Web Service Discovery Engine for Over-Constrained QoS Demands
Service-Oriented Computing - ICSOC 2007 Workshops
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
A constraint-guided method with evolutionary algorithms for economic problems
Applied Soft Computing
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
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
A Multivalued logic model of planning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Artificial Intelligence and Soft Computing
Soft Constraints Processing over Divisible Residuated Lattices
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Temporal preference optimization as weighted constraint satisfaction
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Cost-algebraic heuristic search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Artificial Intelligence Research
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
On graphical modeling of preference and importance
Journal of Artificial Intelligence Research
Preference-based search using example-critiquing with suggestions
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Distance constraints in constraint satisfaction
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A dynamic approach to MPE and weighted MAX-SAT
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
In the quest of the best form of local consistency for weighted CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Tractable Pareto optimization of temporal preferences
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms
Journal of Artificial Intelligence Research
Temporal constraint reasoning with preferences
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
AND/OR branch-and-bound for graphical models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decision diagrams for the computation of semiring valuations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Regret-based utility elicitation in constraint-based decision problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Artificial Intelligence - Special issue: Distributed constraint satisfaction
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Constraint-based optimization and utility elicitation using the minimax decision criterion
Artificial Intelligence
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Web Services and Models of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative μ-calculus and CTL Based on Constraint Semirings
Electronic Notes in Theoretical Computer Science (ENTCS)
A Logic for Application Level QoS
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Feasibility of semiring-based timing constraints
ACM Transactions on Embedded Computing Systems (TECS)
A relaxation of a semiring constraint satisfaction problem using combined semirings
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
A comparison of consistency propagation algorithms in constraint optimization
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Soft interchangeability for case adaptation
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Interchangeability in soft CSPs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Computing explanations and implications in preference-based configurators
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Generalized constraint acquisition
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Dealing with incomplete preferences in soft constraint problems
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
AND/OR multi-valued decision diagrams for constraint optimization
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Uncertainty in bipolar preference 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
Implementing reactive BDI agents with user-given constraints and objectives
International Journal of Agent-Oriented Software Engineering
Bipolar preference problems: framework, properties and solving techniques
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Extending the soft constraint based mining paradigm
KDID'06 Proceedings of the 5th international conference on Knowledge discovery in inductive databases
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Exploiting problem decomposition in multi-objective constraint optimization
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Open bisimulation for the concurrent constraint pi-calculus
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Transactional service level agreement
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Constraint-muse: a soft-constraint based system for music therapy
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic (TOCL)
Long-run cost analysis by approximation of linear operators over dioids
Mathematical Structures in Computer Science
Logic–based decision support for strategic environmental assessment
Theory and Practice of Logic Programming
A Common Computational Framework for Semiring-based Argumentation Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A 25-year perspective on logic programming
A new hybrid tractable class of soft constraint problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Interval-valued soft constraint problems
Annals of Mathematics and Artificial Intelligence
Extending soft arc consistency algorithms to non-invertible semirings
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Semiring-induced propositional logic: definition and basic algorithms
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Dynamic adaptation of access control policies
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
Complex university course timetabling
Journal of Scheduling
On the modelling and optimization of preferences in constraint-based temporal reasoning
Artificial Intelligence
Finding partitions of arguments with Dung's properties via SCSPs
Proceedings of the 2011 ACM Symposium on Applied Computing
Solving weighted argumentation frameworks with soft constraints
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Business process improvement in Abnoba
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Early model-analysis of logistics systems
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Hybrid tractability of valued constraint problems
Artificial Intelligence
BDI agents with objectives and preferences
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Male optimal and unique stable marriages with partially ordered preferences
CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
CC-Pi: a constraint language for service negotiation and composition
Rigorous software engineering for service-oriented systems
Expert Systems with Applications: An International Journal
A general method for assessment of security in complex services
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A multi-level memetic/exact hybrid algorithm for the still life problem
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Principles of secure network configuration: towards a formal basis for self-configuration
IPOM'06 Proceedings of the 6th IEEE international conference on IP Operations and Management
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
The complexity of conservative valued CSPs
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Interestingness is not a dichotomy: introducing softness in constrained pattern mining
PKDD'05 Proceedings of the 9th European conference on Principles and Practice of Knowledge Discovery in Databases
Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets
Fuzzy Sets and Systems
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Possibility theory for reasoning about uncertain soft constraints
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Exploiting the hierarchical structure of rule-based specifications for decision planning
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Relaxation of soft constraints via a unified semiring
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
A note on bilattices and open constraint programming
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
A memetic algorithm with bucket elimination for the still life problem
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
Challenges of quality-driven resource discovery
RED'10 Proceedings of the Third international conference on Resource Discovery
Constraint optimization approach to context based word selection
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A survey of constraint-based programming paradigms
Computer Science Review
Computers & Mathematics with Applications
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
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
User-centric principles in automated decision making
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
The complexity of conservative valued CSPs
Journal of the ACM (JACM)
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Target to sensor allocation: A hierarchical dynamic Distributed Constraint Optimization approach
Computer Communications
Ordering based decision making - A survey
Information Fusion
Towards a similarity-based web service discovery through soft constraint satisfaction problems
Proceedings of the 2nd International Workshop on Semantic Search over the Web
Interchangeability with thresholds and degradation factors for Soft CSPs
Annals of Mathematics and Artificial Intelligence
Semiring-based mini-bucket partitioning schemes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Coalitions of Arguments: An Approach with Constraint Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.01 |
We introduce a general framework for constraint satisfaction and optimization where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint satisfaction, and others can be easily cast. The framework is based on a semiring structure, where the set of the semiring specifies the values to be associated with each tuple of values of the variable domain, and the two semiring operations (+ and X) model constraint projection and combination respectively. Local consistency algorithms, as usually used for classical CSPs, can be exploited in this general framework as well, provided that certain conditions on the semiring operations are satisfied. We then show how this framework can be used to model both old and new constraint solving and optimization schemes, thus allowing one to both formally justify many informally taken choices in existing schemes, and to prove that local consistency techniques can be used also in newly defined schemes.