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:
    title: New Trends in Constraints
    sub title: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
  name:
    name part: Apt, Krzysztof R.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Kakas, Antonis.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Monfroy, Eric.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Rossi, Francesca.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2000
    edition: 1st ed. 2000.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: VIII, 340 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
  table of contents: Invited Contributions and Surveys -- Interval Constraints: Results and Perspectives -- A Constraint-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research and Applications -- OPL Script: Composing and Controlling Models -- Constraint Propagation and Manipulation -- Some Remarks on Boolean Constraint Propagation -- Abstracting Soft Constraints -- Decomposable Constraints -- Generating Propagation Rules for Finite Domains: A Mixed Approach -- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation -- Constraint Programming -- Combining Constraint Logic Programming Techniques for Solving Linear Problems -- Quantitative Observables and Averages in Probabilistic Constraint Programming -- Dynamic Constraint Models for Planning and Scheduling Problems -- A Finite Domain CLP Solver on Top of Mercury -- Rule-Based Constraint Programming -- Rule Based Programming with Constraints and Strategies -- Proving Termination of Constraint Solver Programs -- Projection in Adaptive Constraint Handling.
  note: edited by Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi.
  subject:
    topic: Artificial intelligence
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer programming
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial Intelligence
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Programming Techniques
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  classification: Q334-342
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Artificial Intelligence ; 1865
  identifier: 9783540446545
  identifier: https://doi.org/10.1007/3-540-44654-0
  record info:
    record creation date: 121227
    record change date: 20191024053329.0
    record identifier: 978-3-540-44654-5