Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009:
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 2...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Potsdam
Universitätsverlag
2010
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules. |
| Beschreibung: | Online-Ausg. im Internet |
| Beschreibung: | 186 S. |
| ISBN: | 9783869560267 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036129272 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 100420s2010 |||| 10||| eng d | ||
| 020 | |a 9783869560267 |c Pb. : EUR 17,00 |9 978-3-86956-026-7 | ||
| 035 | |a (OCoLC)644221803 | ||
| 035 | |a (DE-599)GBV623507749 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 111 | 2 | |a Workshop on (Constraint) Logic Programming |n 23 |d 2009 |c Potsdam |j Verfasser |0 (DE-588)16063133-6 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 |c Ulrich Geske ; Armin Wolf (Hrsg.) |
| 264 | 1 | |a Potsdam |b Universitätsverlag |c 2010 | |
| 300 | |a 186 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Online-Ausg. im Internet | ||
| 520 | 8 | |a The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules. | |
| 650 | 0 | 7 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Potsdam |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Constraint-logische Programmierung |0 (DE-588)4382849-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Geske, Ulrich |e Sonstige |4 oth | |
| 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=020211593&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020211593 | ||
Datensatz im Suchindex
| _version_ | 1804142801303109632 |
|---|---|
| adam_text | STEFAN BRASS CONTENTS INVITED TALKS OVERVIEW OF THE MONADIC CONSTRAINT
PROGRAMMING FRAMEWORK 1 TOM SCHRIJVERS WHAT I HAVE LEARNED FROM ALL
THESE SOLVER COMPETITIONS 17 NENG-FA ZHOU DATABASES AN ER-BASED
FRAMEWORK FOR DECLARATIVE WEB PROGRAMMING 35 MICHAEL HANNS AND SVEN
KOSCHNICKE PRACTICAL APPLICATIONS OF EXTENDED DEDUCTIVE DATABASES IN
DATALOG* 37 DIETMAR SEIPEL ANSWER SET PROGRAMMING XPANDA: A (SIMPLE)
PREPROCESSER FOR ADDING MULTI-VALUED PROPOSITIONS TO ASP 51 MARTIN
GEBSER, HENRIK HINRICHS, TORSTEN SCHAUB AND SVEN THIELE EXISTENTIAL
QUANTIFIERS IN THE RULE BODY 59 PEDRO CABALAR KATO: A
PLAGIARISM-DETECTION TOOL FOR ANSWER-SET PROGRAMS 75 JOHANNES OETSCH,
MARTIN SCHWENGERER AND HANS TOMPITS THEORY OF LOGIC PROGRAMMING A
PARACONSISTENT SEMANTICS FOR GENERALIZED LOGIC PROGRAMS 81 HEINRICH
HERRE AND AXEL HUMMEL STATIONARY GENERATED MODELS OF GENERALIZED LOGIC
PROGRAMS 95 HEINRICH HERRE AND AXEL HUMMEL CONSTRAINT-BASED ABSTRACTION
OF A MODEL CHECKER FOR INFINITE STATE SYSTEMS 109 GOURINATH BANDA AND
JOHN GALLAGHER RANGE RESTRICTION FOR GENERAL FORMULAS 125
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1001549619 DIGITALISIERT
DURCH CONSTRAINT HANDLING RULES TRANSFORMING IMPERATIVE ALGORITHMS TO
CONSTRAINT HANDLING RULES 139 SLIM ABDENNADHER, HAY THEM ISMAIL AND
FREDERICK KHOURY PERSISTENT CONSTRAINTS IN CONSTRAINT HANDLING RULES 155
HARIOLFBETZ, FRANK RAISER AND THORN FRIIHWIRTH PRACTICE OF LOGIC
PROGRAMMING A TOOL FOR GENERATING PARTITION SCHEDULES OF MULTIPROCESSOR
SYSTEMS 167 HANS-JOACHIM GOLTZ AND NORBERT PIETH EFFICIENCY OF
DIFFERENCE-LIST PROGRAMMING 177 ULRICH GESKE AND HANS-JOACHIM GOLTZ
|
| any_adam_object | 1 |
| author_corporate | Workshop on (Constraint) Logic Programming Potsdam |
| author_corporate_role | aut |
| author_facet | Workshop on (Constraint) Logic Programming Potsdam |
| author_sort | Workshop on (Constraint) Logic Programming Potsdam |
| building | Verbundindex |
| bvnumber | BV036129272 |
| ctrlnum | (OCoLC)644221803 (DE-599)GBV623507749 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02156nam a2200385 c 4500</leader><controlfield tag="001">BV036129272</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100420s2010 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783869560267</subfield><subfield code="c">Pb. : EUR 17,00</subfield><subfield code="9">978-3-86956-026-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)644221803</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV623507749</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on (Constraint) Logic Programming</subfield><subfield code="n">23</subfield><subfield code="d">2009</subfield><subfield code="c">Potsdam</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16063133-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009</subfield><subfield code="c">Ulrich Geske ; Armin Wolf (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Potsdam</subfield><subfield code="b">Universitätsverlag</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">186 S.</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="500" ind1=" " ind2=" "><subfield code="a">Online-Ausg. im Internet</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">2009</subfield><subfield code="z">Potsdam</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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-logische Programmierung</subfield><subfield code="0">(DE-588)4382849-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Geske, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=020211593&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020211593</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Potsdam gnd-content |
| genre_facet | Konferenzschrift 2009 Potsdam |
| id | DE-604.BV036129272 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:37:32Z |
| institution | BVB |
| institution_GND | (DE-588)16063133-6 |
| isbn | 9783869560267 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020211593 |
| oclc_num | 644221803 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 186 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Universitätsverlag |
| record_format | marc |
| spelling | Workshop on (Constraint) Logic Programming 23 2009 Potsdam Verfasser (DE-588)16063133-6 aut Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 Ulrich Geske ; Armin Wolf (Hrsg.) Potsdam Universitätsverlag 2010 186 S. txt rdacontent n rdamedia nc rdacarrier Online-Ausg. im Internet The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules. Constraint-logische Programmierung (DE-588)4382849-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Potsdam gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Constraint-logische Programmierung (DE-588)4382849-8 s Geske, Ulrich Sonstige oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020211593&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 Constraint-logische Programmierung (DE-588)4382849-8 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4382849-8 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 |
| title_auth | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 |
| title_exact_search | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 |
| title_full | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 Ulrich Geske ; Armin Wolf (Hrsg.) |
| title_fullStr | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 Ulrich Geske ; Armin Wolf (Hrsg.) |
| title_full_unstemmed | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 Ulrich Geske ; Armin Wolf (Hrsg.) |
| title_short | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 |
| title_sort | proceedings of the 23rd workshop on constraint logic programming 2009 |
| topic | Constraint-logische Programmierung (DE-588)4382849-8 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Constraint-logische Programmierung Logische Programmierung Konferenzschrift 2009 Potsdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020211593&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshoponconstraintlogicprogrammingpotsdam proceedingsofthe23rdworkshoponconstraintlogicprogramming2009 AT geskeulrich proceedingsofthe23rdworkshoponconstraintlogicprogramming2009 |