000 | 02951nam a22005175i 4500 | ||
---|---|---|---|
001 | 978-3-642-23845-1 | ||
003 | DE-He213 | ||
005 | 20140220083302.0 | ||
007 | cr nn 008mamaa | ||
008 | 121209s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642238451 _9978-3-642-23845-1 |
||
024 | 7 |
_a10.1007/978-3-642-23845-1 _2doi |
|
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aUMC _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aCOM010000 _2bisacsh |
|
082 | 0 | 4 |
_a005.13 _223 |
100 | 1 |
_aZhou, Jianyang. _eauthor. |
|
245 | 1 | 4 |
_aThe NCL Natural Constraint Language _h[electronic resource] / _cby Jianyang Zhou. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXIII, 311 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
505 | 0 | _aIntroduction -- Data Types and Lexical Conventions -- Grammar and Semantics.- Tutorial Programs -- The POEM Software Platform -- Modeling and Solving -- Industrial Applications -- Relaxation and Decomposition.-. | |
520 | _a"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 first-order logic with quantifiers, Boolean logic, numeric constraints, set operations and logical functions; it solves problems by mixed set programming over the mixed domain of real numbers, integers, Booleans, dates/times, references, and in particular sets. The book uses plenty of examples and tutorials to illustrate NCL and its applications. It is intended for researchers and developers in the fields of logic programming, constraint programming, optimization, modeling, operations research and artificial intelligence, who will learn from a new programming language and theoretical foundations for industrial applications. Dr. Jianyang Zhou is the inventor of NCL and has worked for its industrialization for more than 10 years. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aOperations research. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aOperation Research/Decision Theory. |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642238444 |
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-23845-1 |
912 | _aZDB-2-SCS | ||
999 |
_c102230 _d102230 |