Given an over-constrained system, a Maximal Satisfiable Subset (MSS) denotes a maximal
set of constraints that are consistent. A Minimal Correction Subset (MCS, or co-MSS) is the …

Much of the focus on explanation in the field of artificial intelligence has focused on machine
learning methods and, in particular, concepts produced by advanced methods such as …

As a powerful modelling tool, Constraint Satisfaction Problems (CSPs) can be solved
efficiently using various solving paradigms and can encapsulate various types of constraints …

Constraint Programming is becoming the preferred solving technology in a variety of
application domains. It is not unusual that a CSP modeling some real-life problem is found to …

Web service composition adopts functional features including the inputs and outputs, and
non-functional features including quality of service (QoS), conditional structure constraints …

The study of constraint satisfaction problems touches many aspects of artificial intelligence. It
is the premise of dominant interactive constraint satisfaction algorithms that users' …