By Jianyang Zhou

ISBN-10: 3642238440

ISBN-13: 9783642238444

ISBN-10: 3642238459

ISBN-13: 9783642238451

"The NCL normal Constraint Language"presents the NCL language that is an outline language in traditional mathematical good judgment for modeling and fixing constraint pride difficulties. NCL differs from different declarative languages: It types difficulties evidently in a simplified kind of first-order common sense with quantifiers, Boolean common sense, numeric constraints, set operations and logical services; it solves difficulties by way of combined set programming over the combined area of genuine numbers, integers, Booleans, dates/times, references, and particularly units. The ebook makes use of lots of examples and tutorials to demonstrate NCL and its functions. it truly is meant for researchers and builders within the fields of common sense programming, constraint programming, optimization, modeling, operations learn and synthetic intelligence, who will examine from a brand new programming language and theoretical foundations for business applications.

Dr. Jianyang Zhou is the inventor of NCL and has labored for its industrialization for greater than 10 years.

[...]