Recent advances in constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5655 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 146 S. graph. Darst. 24 cm |
| ISBN: | 9783642032509 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035647768 | ||
| 003 | DE-604 | ||
| 005 | 20090827 | ||
| 007 | t| | ||
| 008 | 090727s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N28,0037 |2 dnb | ||
| 016 | 7 | |a 994909306 |2 DE-101 | |
| 020 | |a 9783642032509 |c kart. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.) |9 978-3-642-03250-9 | ||
| 024 | 3 | |a 9783642032509 | |
| 028 | 5 | 2 | |a 12719471 |
| 035 | |a (OCoLC)428011998 | ||
| 035 | |a (DE-599)DNB994909306 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Recent advances in constraints |b 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers |c Angelo Oddi ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a VI, 146 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5655 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Constraint <Künstliche Intelligenz> - Kongress - Rom <2008> | |
| 650 | 4 | |a Constraint-Erfüllung - Kongress - Rom <2008> | |
| 650 | 4 | |a Constraint-Programmierung - Kongress - Rom <2008> | |
| 650 | 4 | |a Constraint programming (Computer science) |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Constraint |g Künstliche Intelligenz |0 (DE-588)4314755-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Oddi, Angelo |e Sonstige |4 oth | |
| 710 | 2 | |a European Research Consortium for Informatics and Mathematics |e Sonstige |0 (DE-588)2156435-8 |4 oth | |
| 711 | 2 | |a International Workshop on Constraint Solving and Constraint Logic Programming |n 13 |d 2008 |c Rom |j Sonstige |0 (DE-588)16016396-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5655 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5655 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017702428 | |
Datensatz im Suchindex
| _version_ | 1820875139153133568 |
|---|---|
| adam_text |
TABLE OF CONTENTS PROM MARRIAGES TO COALITIONS: A SOFT CSP APPROACH 1
STEFANO BISTARELLI, SIMON FOLEY, BARRY 0'SULLIVAN, AND FRANCESCO SANTINI
SOLVING CSPS WITH NAMING GAMES 16 STEFANO BISTARELLI AND GIORGIO GOSTI
AN EFFICIENT DECISION PROCEDURE FOR FUNCTIONAL DECOMPOSABLE THEORIES
BASED ON DUAL CONSTRAINTS 33 KHALIL DJELLOUL CHALLENGES IN
CONSTRAINT-BASED ANALYSIS OF HYBRID SYSTEMS 51 ANDREAS EGGERS, NATALIA
KALINNIK, STEFAN KUPFERSCHMID, AND TINO TEIGE FROM RULES TO CONSTRAINT
PROGRAMS WITH THE RULES2CP MODELLING LANGUAGE 66 FRANCOIS FAGES AND
JULIEN MARTIN COMBINING SYMMETRY BREAKING AND GLOBAL CONSTRAINTS 84
GEORGE KATSIRELOS, NINA NARODYTSKA, AND TOBY WALSH ITERATIVE FLATTENING
SEARCH ON RCPSP/MAX PROBLEMS: RECENT DEVELOPMENTS 99 ANGELO ODDI AND
RICCARDO RASCONI ROBUST SOLUTIONS IN UNSTABLE OPTIMIZATION PROBLEMS 116
MARIA SILVIA PINI, FRANCESCA ROSSI, KRISTEN BRENT VENABLE, AND RINA
DECHTER IDB-ADOPT: A DEPTH-FIRST SEARCH DCOP ALGORITHM 132 WILLIAM YEOH,
ARIEL FEINER, AND SVEN KOENIG AUTHOR INDEX 147 BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/994909306 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035647768 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 |
| callnumber-search | QA76.612 |
| callnumber-sort | QA 276.612 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)428011998 (DE-599)DNB994909306 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035647768</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090827</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090727s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N28,0037</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994909306</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642032509</subfield><subfield code="c">kart. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.)</subfield><subfield code="9">978-3-642-03250-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642032509</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12719471</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428011998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994909306</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.612</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent advances in constraints</subfield><subfield code="b">13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers</subfield><subfield code="c">Angelo Oddi ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 146 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5655 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint <Künstliche Intelligenz> - Kongress - Rom <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint-Erfüllung - Kongress - Rom <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint-Programmierung - Kongress - Rom <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Rom</subfield><subfield code="2">gnd-content</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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Constraint</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4314755-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oddi, Angelo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Research Consortium for Informatics and Mathematics</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2156435-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Constraint Solving and Constraint Logic Programming</subfield><subfield code="n">13</subfield><subfield code="d">2008</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16016396-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5655 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5655</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017702428</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Rom gnd-content |
| genre_facet | Konferenzschrift 2008 Rom |
| id | DE-604.BV035647768 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:52Z |
| institution | BVB |
| institution_GND | (DE-588)2156435-8 (DE-588)16016396-1 |
| isbn | 9783642032509 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017702428 |
| oclc_num | 428011998 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | VI, 146 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers Angelo Oddi ... (ed.) Berlin [u.a.] Springer 2009 VI, 146 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5655 : Lecture notes in artificial intelligence Literaturangaben Constraint <Künstliche Intelligenz> - Kongress - Rom <2008> Constraint-Erfüllung - Kongress - Rom <2008> Constraint-Programmierung - Kongress - Rom <2008> Constraint programming (Computer science) Congresses Logic programming Congresses Constraint-Erfüllung (DE-588)4580374-2 gnd rswk-swf Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Rom gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Constraint Künstliche Intelligenz (DE-588)4314755-0 s Constraint-Erfüllung (DE-588)4580374-2 s Oddi, Angelo Sonstige oth European Research Consortium for Informatics and Mathematics Sonstige (DE-588)2156435-8 oth International Workshop on Constraint Solving and Constraint Logic Programming 13 2008 Rom Sonstige (DE-588)16016396-1 oth Lecture notes in computer science 5655 : Lecture notes in artificial intelligence (DE-604)BV000000607 5655 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers Lecture notes in computer science Constraint <Künstliche Intelligenz> - Kongress - Rom <2008> Constraint-Erfüllung - Kongress - Rom <2008> Constraint-Programmierung - Kongress - Rom <2008> Constraint programming (Computer science) Congresses Logic programming Congresses Constraint-Erfüllung (DE-588)4580374-2 gnd Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4580374-2 (DE-588)4314755-0 (DE-588)4567206-4 (DE-588)1071861417 |
| title | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers |
| title_auth | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers |
| title_exact_search | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers |
| title_full | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers Angelo Oddi ... (ed.) |
| title_fullStr | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers Angelo Oddi ... (ed.) |
| title_full_unstemmed | Recent advances in constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers Angelo Oddi ... (ed.) |
| title_short | Recent advances in constraints |
| title_sort | recent advances in constraints 13th annual ercim international workshop on constraint solving and constraint logic programming csclp 2008 rome italy june 18 20 2008 revised selected papers |
| title_sub | 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18 - 20, 2008 ; revised selected papers |
| topic | Constraint <Künstliche Intelligenz> - Kongress - Rom <2008> Constraint-Erfüllung - Kongress - Rom <2008> Constraint-Programmierung - Kongress - Rom <2008> Constraint programming (Computer science) Congresses Logic programming Congresses Constraint-Erfüllung (DE-588)4580374-2 gnd Constraint Künstliche Intelligenz (DE-588)4314755-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint <Künstliche Intelligenz> - Kongress - Rom <2008> Constraint-Erfüllung - Kongress - Rom <2008> Constraint-Programmierung - Kongress - Rom <2008> Constraint programming (Computer science) Congresses Logic programming Congresses Constraint-Erfüllung Constraint Künstliche Intelligenz Constraint-Programmierung Konferenzschrift 2008 Rom |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017702428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT oddiangelo recentadvancesinconstraints13thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2008romeitalyjune18202008revisedselectedpapers AT europeanresearchconsortiumforinformaticsandmathematics recentadvancesinconstraints13thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2008romeitalyjune18202008revisedselectedpapers AT internationalworkshoponconstraintsolvingandconstraintlogicprogrammingrom recentadvancesinconstraints13thannualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2008romeitalyjune18202008revisedselectedpapers |