Constraint processing:
Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning h...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Francisco
Morgan Kaufmann Publishers
[2007]
|
| Schriftenreihe: | Morgan Kaufmann series in artificial intelligence
|
| Schlagworte: | |
| Online-Zugang: | FLA01 FUBA1 Volltext |
| Zusammenfassung: | Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. Today, constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, temporal and spatial reasoning. In Constraint Processing, Rina Dechter, synthesizes these contributions, along with her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms. Throughout, she focuses on fundamental tools and principles, emphasizing the representation and analysis of algorithms. Examines the basic practical aspects of each topic and then tackles more advanced issues, including current research challenges Builds the reader's understanding with definitions, examples, theory, algorithms and complexity analysis Synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics |
| Beschreibung: | Das Online-Erscheinungsjahr wurde der Titelliste vom Verlag entnommen |
| Beschreibung: | 1 Online-Ressource (xx, 481 Seiten) Diagramme |
| ISBN: | 9780080502953 9781281072955 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV046123268 | ||
| 003 | DE-604 | ||
| 005 | 20230223 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s2007 |||| o||u| ||||||eng d | ||
| 015 | |a GBB739159 |2 dnb | ||
| 020 | |a 9780080502953 |c Online |9 978-0-08-050295-3 | ||
| 020 | |a 9781281072955 |c Online |9 978-1-281-07295-5 | ||
| 024 | 7 | |a 10.1016/B978-1-55860-890-0.X5000-2 |2 doi | |
| 035 | |a (ZDB-33-ESD)ocn228143692 | ||
| 035 | |a (OCoLC)228143692 | ||
| 035 | |a (DE-599)BVBBV046123268 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 | ||
| 082 | 0 | |a 005.1/1 |2 22 | |
| 100 | 1 | |a Dechter, Rina |d 1950- |e Verfasser |0 (DE-588)174090005 |4 aut | |
| 245 | 1 | 0 | |a Constraint processing |c Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi |
| 264 | 1 | |a San Francisco |b Morgan Kaufmann Publishers |c [2007] | |
| 300 | |a 1 Online-Ressource (xx, 481 Seiten) |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Morgan Kaufmann series in artificial intelligence | |
| 500 | |a Das Online-Erscheinungsjahr wurde der Titelliste vom Verlag entnommen | ||
| 520 | |a Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. Today, constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, temporal and spatial reasoning. In Constraint Processing, Rina Dechter, synthesizes these contributions, along with her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms. Throughout, she focuses on fundamental tools and principles, emphasizing the representation and analysis of algorithms. Examines the basic practical aspects of each topic and then tackles more advanced issues, including current research challenges Builds the reader's understanding with definitions, examples, theory, algorithms and complexity analysis Synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics | ||
| 534 | |c 2003 | ||
| 650 | 4 | |a Programmation par contraintes | |
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast | |
| 650 | 7 | |a Constraint-Programmierung |2 gnd | |
| 650 | 7 | |a Inteligência artificial |2 larpcal | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Cohen, David |4 ctb | |
| 700 | 1 | |a Jeavons, Peter |4 ctb | |
| 700 | 1 | |a Rossi, Francesca |d 1962- |0 (DE-588)1179813901 |4 ctb | |
| 776 | 0 | 8 | |i Elektronische Reproduktion von |a Dechter, Rina, 1950- |t Constraint processing |d San Francisco : Morgan Kaufmann Publishers, 2003 |z 978-1-55860-890-0 |z 1-55860-890-7 |w (DE-604)BV019604603 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9781558608900 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031503721 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9781558608900 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9781558608900 |l FUBA1 |p ZDB-33-ESD |q ZDB-33-ESD 2021 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180440004689920 |
|---|---|
| any_adam_object | |
| author | Dechter, Rina 1950- |
| author2 | Cohen, David Jeavons, Peter Rossi, Francesca 1962- |
| author2_role | ctb ctb ctb |
| author2_variant | d c dc p j pj f r fr |
| author_GND | (DE-588)174090005 (DE-588)1179813901 |
| author_facet | Dechter, Rina 1950- Cohen, David Jeavons, Peter Rossi, Francesca 1962- |
| author_role | aut |
| author_sort | Dechter, Rina 1950- |
| author_variant | r d rd |
| building | Verbundindex |
| bvnumber | BV046123268 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn228143692 (OCoLC)228143692 (DE-599)BVBBV046123268 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04174nmm a2200601 c 4500</leader><controlfield tag="001">BV046123268</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230223 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB739159</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080502953</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-08-050295-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281072955</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-281-07295-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/B978-1-55860-890-0.X5000-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn228143692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228143692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046123268</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dechter, Rina</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)174090005</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint processing</subfield><subfield code="c">Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Francisco</subfield><subfield code="b">Morgan Kaufmann Publishers</subfield><subfield code="c">[2007]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 481 Seiten)</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Morgan Kaufmann series in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das Online-Erscheinungsjahr wurde der Titelliste vom Verlag entnommen</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. Today, constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, temporal and spatial reasoning. In Constraint Processing, Rina Dechter, synthesizes these contributions, along with her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms. Throughout, she focuses on fundamental tools and principles, emphasizing the representation and analysis of algorithms. Examines the basic practical aspects of each topic and then tackles more advanced issues, including current research challenges Builds the reader's understanding with definitions, examples, theory, algorithms and complexity analysis Synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">2003</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation par contraintes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligência artificial</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cohen, David</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jeavons, Peter</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Francesca</subfield><subfield code="d">1962-</subfield><subfield code="0">(DE-588)1179813901</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Elektronische Reproduktion von</subfield><subfield code="a">Dechter, Rina, 1950-</subfield><subfield code="t">Constraint processing</subfield><subfield code="d">San Francisco : Morgan Kaufmann Publishers, 2003</subfield><subfield code="z">978-1-55860-890-0</subfield><subfield code="z">1-55860-890-7</subfield><subfield code="w">(DE-604)BV019604603</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9781558608900</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031503721</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9781558608900</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9781558608900</subfield><subfield code="l">FUBA1</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">ZDB-33-ESD 2021</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046123268 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:35:47Z |
| institution | BVB |
| isbn | 9780080502953 9781281072955 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031503721 |
| oclc_num | 228143692 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | 1 Online-Ressource (xx, 481 Seiten) Diagramme |
| psigel | ZDB-33-ESD ZDB-33-ESD FLA_PDA_ESD ZDB-33-ESD ZDB-33-ESD 2021 |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Morgan Kaufmann Publishers |
| record_format | marc |
| series2 | Morgan Kaufmann series in artificial intelligence |
| spelling | Dechter, Rina 1950- Verfasser (DE-588)174090005 aut Constraint processing Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi San Francisco Morgan Kaufmann Publishers [2007] 1 Online-Ressource (xx, 481 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier Morgan Kaufmann series in artificial intelligence Das Online-Erscheinungsjahr wurde der Titelliste vom Verlag entnommen Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied, without expressing how. The field of constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. Today, constraint problems are used to model cognitive tasks in vision, language comprehension, default reasoning, diagnosis, scheduling, temporal and spatial reasoning. In Constraint Processing, Rina Dechter, synthesizes these contributions, along with her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms. Throughout, she focuses on fundamental tools and principles, emphasizing the representation and analysis of algorithms. Examines the basic practical aspects of each topic and then tackles more advanced issues, including current research challenges Builds the reader's understanding with definitions, examples, theory, algorithms and complexity analysis Synthesizes three decades of researchers work on constraint processing in AI, databases and programming languages, operations research, management science, and applied mathematics 2003 Programmation par contraintes COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Constraint programming (Computer science) fast Constraint-Programmierung gnd Inteligência artificial larpcal Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 s 1\p DE-604 Cohen, David ctb Jeavons, Peter ctb Rossi, Francesca 1962- (DE-588)1179813901 ctb Elektronische Reproduktion von Dechter, Rina, 1950- Constraint processing San Francisco : Morgan Kaufmann Publishers, 2003 978-1-55860-890-0 1-55860-890-7 (DE-604)BV019604603 http://www.sciencedirect.com/science/book/9781558608900 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Dechter, Rina 1950- Constraint processing Programmation par contraintes COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Constraint programming (Computer science) fast Constraint-Programmierung gnd Inteligência artificial larpcal Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 |
| title | Constraint processing |
| title_auth | Constraint processing |
| title_exact_search | Constraint processing |
| title_full | Constraint processing Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi |
| title_fullStr | Constraint processing Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi |
| title_full_unstemmed | Constraint processing Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi |
| title_short | Constraint processing |
| title_sort | constraint processing |
| topic | Programmation par contraintes COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Constraint programming (Computer science) fast Constraint-Programmierung gnd Inteligência artificial larpcal Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Programmation par contraintes COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Constraint programming (Computer science) Constraint-Programmierung Inteligência artificial |
| url | http://www.sciencedirect.com/science/book/9781558608900 |
| work_keys_str_mv | AT dechterrina constraintprocessing AT cohendavid constraintprocessing AT jeavonspeter constraintprocessing AT rossifrancesca constraintprocessing |