The NCL Natural Constraint Language

• Main Author: Zhou, Jianyang (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Subjects: Computer science.; Operations research.; Decision making.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Operation Research/Decision Theory.

"The NCL Natural Constraint Language" presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. NCL differs from other declarative languages: It models problems naturally in a simplified form of f...

Table of Contents:

• Introduction
• Data Types and Lexical Conventions
• Grammar and Semantics.- Tutorial Programs
• The POEM Software Platform
• Modeling and Solving
• Industrial Applications
• Relaxation and Decomposition.-.