skip to content
Constraint Handling Rules : Current Research Topics Preview this item
ClosePreview this item
Checking...

Constraint Handling Rules : Current Research Topics

Author: David HutchisonOscar NierstraszC Pandu RanganTom SchrijversBernhard SteffenAll authors
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 5388.
Edition/Format:   Computer file : English : Online-AusgView all editions and formats
Database:WorldCat
Summary:

This text offers seven papers on recent advances in Constraint Handling Rules as well as an introductory paper. Topics covered include search, applications, theory, and implementation of Constraint  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: Online-Publikation
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Oscar Nierstrasz; C Pandu Rangan; Tom Schrijvers; Bernhard Steffen; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y Vardi; Gerhard Weikum; Thom Frühwirth; Takeo Kanade; Josef Kittler; Jon M Kleinberg; Friedemann Mattern; John C Mitchell; Moni Naor
ISBN: 9783540922438 3540922431 9783540922421 3540922423
OCLC Number: 613146810
Reproduction Notes: Online-Ausg. Berlin [u.a.] Springer, 2009. online-Ressource.
Description: ... S.
Contents: Welcome to Constraint Handling Rules.- A Flexible Search Framework for CHR.- Adaptive CHR Meets CHR???.- Constructing Rule-Based Solvers for Intentionally-Defined Constraints.- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.- A Compositional Semantics for CHR with Propagation Rules.- CHR for Imperative Host Languages.- Guard Reasoning in the Refined Operational Semantics of CHR.
Series Title: SpringerLink: Springer e-Books; Lecture Notes in Computer Science, 5388.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Frühwirth.

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/613146810> # Constraint Handling Rules Current Research Topics
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "613146810" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1843260277#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/888037> ; # Database management
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/database_management> ; # Database management
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/computer_software> ; # Computer software
   schema:about <http://dewey.info/class/005.133/e22/ger/> ;
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/chr_programmiersprache> ; # CHR
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/nierstrasz_oscar> ; # Oscar Nierstrasz
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/mitchell_john_c> ; # John C. Mitchell
   schema:author <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/hutchison_david> ; # David Hutchison
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/fruhwirth_thom> ; # Thom Frühwirth
   schema:author <http://viaf.org/viaf/48763146> ; # Tom Schrijvers
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/kittler_josef> ; # Josef Kittler
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/weikum_gerhard> ; # Gerhard Weikum
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/steffen_bernhard> ; # Bernhard Steffen
   schema:author <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
   schema:author <http://viaf.org/viaf/67527661> ; # Moni Naor
   schema:author <http://viaf.org/viaf/32154680> ; # Madhu Sudan
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/mattern_friedemann> ; # Friedemann Mattern
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/vardi_moshe_y> ; # Moshe Y. Vardi
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/pandu_rangan_c> ; # C. Pandu Rangan
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/terzopoulos_demetri> ; # Demetri Terzopoulos
   schema:author <http://experiment.worldcat.org/entity/work/data/1843260277#Person/kanade_takeo> ; # Takeo Kanade
   schema:bookEdition "Online-Ausg." ;
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1843260277> ;
   schema:genre "Online-Publikation" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1843260277#Series/springerlink_springer_e_books> ; # SpringerLink: Springer e-Books
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1843260277#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
   schema:name "Constraint Handling Rules Current Research Topics" ;
   schema:productID "613146810" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/613146810#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1843260277#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/978-3-540-92243-8> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20091202506> ;
   schema:url <http://d-nb.info/998771678/34> ;
   schema:url <http://www.springerlink.com/content/j50507864m63/> ;
   schema:workExample <http://worldcat.org/isbn/9783540922421> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-540-92243-8> ;
   schema:workExample <http://worldcat.org/isbn/9783540922438> ;
   umbel:isLike <http://d-nb.info/998771678> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/613146810> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1843260277#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/fruhwirth_thom> # Thom Frühwirth
    a schema:Person ;
   schema:familyName "Frühwirth" ;
   schema:givenName "Thom" ;
   schema:name "Thom Frühwirth" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/hutchison_david> # David Hutchison
    a schema:Person ;
   schema:familyName "Hutchison" ;
   schema:givenName "David" ;
   schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/kanade_takeo> # Takeo Kanade
    a schema:Person ;
   schema:familyName "Kanade" ;
   schema:givenName "Takeo" ;
   schema:name "Takeo Kanade" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/kittler_josef> # Josef Kittler
    a schema:Person ;
   schema:familyName "Kittler" ;
   schema:givenName "Josef" ;
   schema:name "Josef Kittler" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/mattern_friedemann> # Friedemann Mattern
    a schema:Person ;
   schema:familyName "Mattern" ;
   schema:givenName "Friedemann" ;
   schema:name "Friedemann Mattern" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/mitchell_john_c> # John C. Mitchell
    a schema:Person ;
   schema:familyName "Mitchell" ;
   schema:givenName "John C." ;
   schema:name "John C. Mitchell" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/nierstrasz_oscar> # Oscar Nierstrasz
    a schema:Person ;
   schema:familyName "Nierstrasz" ;
   schema:givenName "Oscar" ;
   schema:name "Oscar Nierstrasz" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/pandu_rangan_c> # C. Pandu Rangan
    a schema:Person ;
   schema:familyName "Pandu Rangan" ;
   schema:givenName "C." ;
   schema:name "C. Pandu Rangan" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/steffen_bernhard> # Bernhard Steffen
    a schema:Person ;
   schema:familyName "Steffen" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Steffen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/terzopoulos_demetri> # Demetri Terzopoulos
    a schema:Person ;
   schema:familyName "Terzopoulos" ;
   schema:givenName "Demetri" ;
   schema:name "Demetri Terzopoulos" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/vardi_moshe_y> # Moshe Y. Vardi
    a schema:Person ;
   schema:familyName "Vardi" ;
   schema:givenName "Moshe Y." ;
   schema:name "Moshe Y. Vardi" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Person/weikum_gerhard> # Gerhard Weikum
    a schema:Person ;
   schema:familyName "Weikum" ;
   schema:givenName "Gerhard" ;
   schema:name "Gerhard Weikum" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/613146810> ; # Constraint Handling Rules Current Research Topics
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Series/springerlink_springer_e_books> # SpringerLink: Springer e-Books
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/613146810> ; # Constraint Handling Rules Current Research Topics
   schema:name "SpringerLink: Springer e-Books" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/computer_science> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/database_management> # Database management
    a schema:Intangible ;
   schema:name "Database management" ;
    .

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

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

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software" ;
    .

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

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
   schema:familyName "Kleinberg" ;
   schema:givenName "Jon M." ;
   schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
   schema:familyName "Sudan" ;
   schema:givenName "Madhu" ;
   schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
   schema:familyName "Tygar" ;
   schema:givenName "Doug" ;
   schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/48763146> # Tom Schrijvers
    a schema:Person ;
   schema:familyName "Schrijvers" ;
   schema:givenName "Tom" ;
   schema:name "Tom Schrijvers" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
   schema:familyName "Naor" ;
   schema:givenName "Moni" ;
   schema:name "Moni Naor" ;
    .

<http://worldcat.org/isbn/9783540922421>
    a schema:ProductModel ;
   schema:isbn "3540922423" ;
   schema:isbn "9783540922421" ;
    .

<http://worldcat.org/isbn/9783540922438>
    a schema:ProductModel ;
   schema:isbn "3540922431" ;
   schema:isbn "9783540922438" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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