The NCL Natural Constraint Language

• Κύριος συγγραφέας: Zhou, Jianyang (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Θέματα: 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...

Πίνακας περιεχομένων:

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