Constraints and constraint solving : an introduction / Jean-Pierre Jouannaud / - Constraint solving on terms / Hubert Comon / - Combining constraint solving / F

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as ha

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in Septem

Nowadays, voluminous textbooks and monographs in fuzzy logic are devoted only to separate or some combination of separate facets of fuzzy logic. There is a lack

This book comprises a selection of papers on theoretical advances and applications of fuzzy logic and soft computing from the IFSA 2007 World Congress, held in