skip to content
Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings Preview this item
ClosePreview this item
Checking...

Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings

Author: Alan Borning
Publisher: Berlin : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 874.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Congressen (vorm)
Additional Physical Format: Print version:
Principles and practice of constraint programming
(NL-LeOCL)123701945
(OCoLC)31239312
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alan Borning
ISBN: 9783540490326 3540490329
OCLC Number: 150398171
Notes: International Workshop on the Principles and Practice of Constraint Programming.
Description: 1 online resource (IX, 360 pages :) : illustrations
Contents: A substitution operation for constraints.- Contradicting conventional wisdom in constraint satisfaction.- Nogood backmarking with min-conflict repair in constraint satisfaction and optimization.- Global consistency for continuous constraints.- Locally simultaneous constraint satisfaction.- Analyzing and debugging hierarchies of multi-way local propagation constraints.- Inferring 3-dimensional constraints with DEVI.- Beyond finite domains.- QUAD-CLP(R): Adding the power of quadratic constraints.- Applications in constraint logic programming with strings.- Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system.- Encapsulated search and constraint programming in Oz.- Towards a concurrent semantics based analysis of CC and CLP.- CC programs with both in- and non-determinism: A concurrent semantics.- Efficient and complete tests for database integrity constraint checking.- Linear vs. polynomial constraints in database query languages.- Foundations of aggregation constraints.- Constraint-generating dependencies.- Constraint objects.- Specification and verification of constraint-based dynamic systems.- GSAT and dynamic backtracking.- Foundations of indefinite constraint databases.- Set constraints and set-based analysis.- On the design of constraint satisfaction problems.- Experiences with constraint-based array dependence analysis.- Set constraints: Results, applications and future directions.- Logic-based methods for optimization.- Panel session: Commercial Applications of Constraint programming.
Series Title: Lecture notes in computer science, 874.
Responsibility: Alan Borning (ed.).

Abstract:

The contributors to this volume cover a broad range of topics including constraint programming languages, algorithms for constraint entailment, and the relationship of constraints to the areas of AI,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/150398171> # Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "150398171" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1104429884#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://dewey.info/class/005.11/> ;
   schema:about <http://id.worldcat.org/fast/888037> ; # Database management
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429884#Meeting/international_workshop_on_the_principles_and_practice_of_constraint_programming_ppcp_2_1994_rosario_orcas_island_wa> ; # International Workshop on the Principles and Practice of Constraint Programming. PPCP (2 : 1994 : Rosario, Orcas Island, WA)
   schema:datePublished "1994" ;
   schema:description "This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces."@en ;
   schema:editor <http://viaf.org/viaf/54851844> ; # Alan H. Borning
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104429884> ;
   schema:genre "Congressen (vorm)"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/31239312> ;
   schema:name "Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings"@en ;
   schema:productID "150398171" ;
   schema:url <http://link.springer.com/10.1007/3-540-58601-6> ;
   schema:url <http://dx.doi.org/10.1007/3-540-58601-6> ;
   schema:workExample <http://worldcat.org/isbn/9783540490326> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/150398171> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1104429884#Meeting/international_workshop_on_the_principles_and_practice_of_constraint_programming_ppcp_2_1994_rosario_orcas_island_wa> # International Workshop on the Principles and Practice of Constraint Programming. PPCP (2 : 1994 : Rosario, Orcas Island, WA)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104429884#Place/rosario_orcas_island_wa> ; # Rosario, Orcas Island, WA)
   schema:name "International Workshop on the Principles and Practice of Constraint Programming. PPCP (2 : 1994 : Rosario, Orcas Island, WA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429884#Place/rosario_orcas_island_wa> # Rosario, Orcas Island, WA)
    a schema:Place ;
   schema:name "Rosario, Orcas Island, WA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429884#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/888037> # Database management
    a schema:Intangible ;
   schema:name "Database management"@en ;
    .

<http://viaf.org/viaf/54851844> # Alan H. Borning
    a schema:Person ;
   schema:birthDate "1951" ;
   schema:familyName "Borning" ;
   schema:givenName "Alan H." ;
   schema:givenName "Alan" ;
   schema:name "Alan H. Borning" ;
    .

<http://worldcat.org/isbn/9783540490326>
    a schema:ProductModel ;
   schema:isbn "3540490329" ;
   schema:isbn "9783540490326" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/150398171> ; # Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
   schema:issn "1611-3349" ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/31239312>
    a schema:CreativeWork ;
   rdfs:label "Principles and practice of constraint programming" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/150398171> ; # Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/150398171>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/150398171> ; # Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.