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