The rough and fuzzy set approaches presented here open up many new frontiers for
continued research and development Computational Intelligence and Feature Selection …

Publisher Summary The past few years have seen enormous progress in the performance of
Boolean satisfiability (SAT) solvers. Despite the worst-case exponential run time of all known …

Swarm intelligence is a relatively new approach to problem solving that takes inspiration
from the social behaviors of insects and of other animals. In particular, ants have inspired a …

“Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic,
applied areas such as planning, scheduling, operations research and combinatorial …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

No pleasure lasts long unless there is variety in it. Publilius Syrus, Moral Sayings We've
been very fortunate to receive fantastic feedback from our readers during the last four years …

In this paper we reexamine the place and role of stable model semantics in logic
programming and contrast it with a least Herbrand model approach to Horn programs. We …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

This chapter introduces and overviews an emerging methodology in search and
optimisation. One of the key aims of these new approaches, which have been termed …

It has recently been shown that local search is surprisingly good at f? inding satisfying
assignments for certain computationally hard classes of CNF formulas. The performance of …