rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    non sort: The
    title: NCL Natural Constraint Language
  name:
    name part: Zhou, Jianyang.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIII, 311 p. 52 illus., 9 illus. in color. online resource.
  abstract: "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.
  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.-.
  note: by Jianyang Zhou.
  subject:
    topic: Computer science
  subject:
    topic: Operations research
  subject:
    topic: Decision making
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Operation Research/Decision Theory
  classification: QA76.7-76.73
  classification: QA76.76.C65
  classification: 005.13
  related item:
    title info:
      title: Springer eBooks
  identifier: 9783642238451
  identifier: http://dx.doi.org/10.1007/978-3-642-23845-1
  record info:
    record creation date: 121209
    record change date: 20151125192627.0
    record identifier: 978-3-642-23845-1