Constraint processing:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Francisco
Morgan Kaufmann Publishers, an imprint of Elsevier Science
c2003
|
| Schriftenreihe: | Morgan Kaufmann Series in Artificial Intelligence Ser
|
| Schlagworte: | |
| Online-Zugang: | DE-1046 DE-1047 Volltext |
| Beschreibung: | Includes bibliographical references (p. [441]-458) and index Preface; Introduction; Constraint Networks; Consistency-Enforcing Algorithms: Constraint Propagation; Directional Consistency; General Search Strategies; General Search Strategies: Look-Back; Local Search Algorithms; Advanced Consistency Methods; Tree-Decomposition Methods; Hybrid of Search and Inference: Time-Space Trade-offs; Tractable Constraint Languages; Temporal Constraint Networks; Constraint Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography 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: | 1 Online-Ressource (xx, 481 p.) |
| ISBN: | 0080502954 1281072958 1558608907 9780080502953 9781281072955 9781558608900 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043044077 | ||
| 003 | DE-604 | ||
| 005 | 20250417 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151123s2003 xx o|||| 00||| eng d | ||
| 020 | |a 0080502954 |c ebook |9 0-08-050295-4 | ||
| 020 | |a 1281072958 |9 1-281-07295-8 | ||
| 020 | |a 1558608907 |9 1-55860-890-7 | ||
| 020 | |a 9780080502953 |c ebook |9 978-0-08-050295-3 | ||
| 020 | |a 9781281072955 |9 978-1-281-07295-5 | ||
| 020 | |a 9781558608900 |9 978-1-55860-890-0 | ||
| 035 | |a (OCoLC)228143692 | ||
| 035 | |a (DE-599)BVBBV043044077 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 |a DE-83 | ||
| 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, an imprint of Elsevier Science |c c2003 | |
| 300 | |a 1 Online-Ressource (xx, 481 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Morgan Kaufmann Series in Artificial Intelligence Ser | |
| 500 | |a Includes bibliographical references (p. [441]-458) and index | ||
| 500 | |a Preface; Introduction; Constraint Networks; Consistency-Enforcing Algorithms: Constraint Propagation; Directional Consistency; General Search Strategies; General Search Strategies: Look-Back; Local Search Algorithms; Advanced Consistency Methods; Tree-Decomposition Methods; Hybrid of Search and Inference: Time-Space Trade-offs; Tractable Constraint Languages; Temporal Constraint Networks; Constraint Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography | ||
| 500 | |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 | ||
| 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 Inteligência artificial |2 larpcal | |
| 650 | 7 | |a Constraint programming (Computer science) |2 fast | |
| 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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-55860-890-0 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508 |x Aggregator |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-4-EBA | ||
| 912 | |a ZDB-33-EBS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028468614 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508 |l DE-1046 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508 |l DE-1047 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1829658647679991808 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Dechter, Rina 1950- |
| author_GND | (DE-588)174090005 |
| author_facet | Dechter, Rina 1950- |
| author_role | aut |
| author_sort | Dechter, Rina 1950- |
| author_variant | r d rd |
| building | Verbundindex |
| bvnumber | BV043044077 |
| collection | ZDB-4-EBA ZDB-33-EBS |
| ctrlnum | (OCoLC)228143692 (DE-599)BVBBV043044077 |
| 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>00000nam a2200000zc 4500</leader><controlfield tag="001">BV043044077</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250417</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151123s2003 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080502954</subfield><subfield code="c">ebook</subfield><subfield code="9">0-08-050295-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281072958</subfield><subfield code="9">1-281-07295-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1558608907</subfield><subfield code="9">1-55860-890-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080502953</subfield><subfield code="c">ebook</subfield><subfield code="9">978-0-08-050295-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281072955</subfield><subfield code="9">978-1-281-07295-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781558608900</subfield><subfield code="9">978-1-55860-890-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228143692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043044077</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-83</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, an imprint of Elsevier Science</subfield><subfield code="c">c2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 481 p.)</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 Ser</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [441]-458) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Preface; Introduction; Constraint Networks; Consistency-Enforcing Algorithms: Constraint Propagation; Directional Consistency; General Search Strategies; General Search Strategies: Look-Back; Local Search Algorithms; Advanced Consistency Methods; Tree-Decomposition Methods; Hybrid of Search and Inference: Time-Space Trade-offs; Tractable Constraint Languages; Temporal Constraint Networks; Constraint Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography</subfield></datafield><datafield tag="500" 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="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">Inteligência artificial</subfield><subfield code="2">larpcal</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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-55860-890-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028468614</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508</subfield><subfield code="l">DE-1047</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043044077 |
| illustrated | Not Illustrated |
| indexdate | 2025-04-17T14:00:59Z |
| institution | BVB |
| isbn | 0080502954 1281072958 1558608907 9780080502953 9781281072955 9781558608900 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028468614 |
| oclc_num | 228143692 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 DE-83 |
| owner_facet | DE-1046 DE-1047 DE-83 |
| physical | 1 Online-Ressource (xx, 481 p.) |
| psigel | ZDB-4-EBA ZDB-33-EBS ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Morgan Kaufmann Publishers, an imprint of Elsevier Science |
| record_format | marc |
| series2 | Morgan Kaufmann Series in Artificial Intelligence Ser |
| 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, an imprint of Elsevier Science c2003 1 Online-Ressource (xx, 481 p.) txt rdacontent c rdamedia cr rdacarrier Morgan Kaufmann Series in Artificial Intelligence Ser Includes bibliographical references (p. [441]-458) and index Preface; Introduction; Constraint Networks; Consistency-Enforcing Algorithms: Constraint Propagation; Directional Consistency; General Search Strategies; General Search Strategies: Look-Back; Local Search Algorithms; Advanced Consistency Methods; Tree-Decomposition Methods; Hybrid of Search and Inference: Time-Space Trade-offs; Tractable Constraint Languages; Temporal Constraint Networks; Constraint Optimization; Probabilistic Networks; Constraint Logic Programming; Bibliography 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 Programmation par contraintes COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Inteligência artificial larpcal Constraint programming (Computer science) fast Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 s 1\p DE-604 Erscheint auch als Druck-Ausgabe 978-1-55860-890-0 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508 Aggregator 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 Inteligência artificial larpcal Constraint programming (Computer science) fast 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 Inteligência artificial larpcal Constraint programming (Computer science) fast 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 Inteligência artificial Constraint programming (Computer science) Constraint-Programmierung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210508 |
| work_keys_str_mv | AT dechterrina constraintprocessing |