14. Workshop Logische Programmierung: Würzburg, 26. - 28. Januar 2000
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | German English |
| Published: |
Sankt Augustin
GMD-Forschungszentrum Informationstechnik
2000
|
| Series: | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report
90 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | ca. 200 S. 30 cm |
| ISBN: | 3884579711 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013030973 | ||
| 003 | DE-604 | ||
| 005 | 20030401 | ||
| 007 | t | ||
| 008 | 000208s2000 gw |||| 10||| ger d | ||
| 016 | 7 | |a 958321345 |2 DE-101 | |
| 020 | |a 3884579711 |9 3-88457-971-1 | ||
| 035 | |a (OCoLC)76117153 | ||
| 035 | |a (DE-599)BVBBV013030973 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-210 | ||
| 111 | 2 | |a Workshop on Logic Programming |n 14 |d 2000 |c Würzburg |j Verfasser |0 (DE-588)2181474-0 |4 aut | |
| 245 | 1 | 0 | |a 14. Workshop Logische Programmierung |b Würzburg, 26. - 28. Januar 2000 |c GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)] |
| 246 | 1 | 3 | |a Vierzehnter Workshop Logische Programmierung |
| 264 | 1 | |a Sankt Augustin |b GMD-Forschungszentrum Informationstechnik |c 2000 | |
| 300 | |a ca. 200 S. |c 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report |v 90 | |
| 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 2000 |z Würzburg |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bry, François |d 1956- |e Sonstige |0 (DE-588)1173357440 |4 oth | |
| 830 | 0 | |a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report |v 90 |w (DE-604)BV012058336 |9 90 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008877892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008877892 | ||
Record in the Search Index
| _version_ | 1804127727799762944 |
|---|---|
| adam_text | UWVERS1TATSB1BLI0THEK HANNOVER TECHNISGHE INPORMATIONSBTBLLOTHEK GMD
REPORT 90 GMD- FORSCHUNGSZENTRUM INFORMATIONSTECHNIK GMBH FRANCOIS BRY,
ULRICH GESKE, DIETMAR SEIPEL (HRSG.) 14. WORKSHOP LOGISCHE
PROGRAMMIERUNG WURZBURG, 26. - 28. JANUAR 2000 UB/TIB HANNOVER 121 791
742 JANUAR 2000 89 *-| O O CONTENT PREFACE 7 INVITED TALKS SLIM
ABDENNADHER, THOM FRIIHWIRTH (LMU MIINCHEN) DEFINITION VON ANGEPAFITEN
CONSTRAINT-SOLVERN MIT CONSTRAINT-HANDLING-RULES 15 DAVID PEARCE
EQUILIBRIUM LOGIC: AN EXTENSION OF ANSWER SET PROGRAMMING FOR
NONMONOTONIC REASONING 17 HAROLD BOLEY BEZIEHUNGEN ZWISCHEN
LOGIKPROGRAMMIERUNG UND XML 19 FRANK PUPPE UBERSICHT ILBER HEURISTISCHE,
FALLBASIERTE UND MODELLBASIERTE PROBLEMLOSUNGSMETHODEN IN DER DIAGNOSTIK
35 CONSTRAINT LOGIC PROGRAMMING I 43 ULRICH JOHN (GMD-FIRST, BERLIN)
REKONFIGURATION KOMPLEXER INDUSTRIELLER PRODUKTE MITTELS
CONSTRAINT-LOGISCHER PROGRAMMIERUNG 43 HANS SCHLENKER (GMD-FIRST,
BERLIN) REDUCE-TO-THE-MAX: EIN SCHNELLER ALGORITHMUS FUR
MULTI-RESSOURCEN- PROBLEME 55 MARKUS HANNEBAUER, INES MUNCH (TU BERLIN
UND HUMBOLDT-UNIV. BERLIN) TRANSFORMING OBJECT-ORIENTED DOMAIN MODELS
INTO DECLARATIVE CLP EXPRESSIONS 65 HANS-JOACHIM GOLTZ (GMD-FIRST,
BERLIN) UBER METHODEN DES CONSTRAINBASIERTEN LOSENS VON PROBLEMEN DER
STUNDENPLANUNG 77 GEORG RINGWELSKI, ARMIN WOLF, ULRICH GESKE (GMD-FIRST,
BERLIN) EIN ANSATZ FUR LOW-LEVEL FINITE-DOMAIN-CONSTRAINTS IN MINERVA 89
ANNALISA DI DEO, DMITRI BOULANGER (GMD-FIRST, BERLIN) USING OBJECTS TO
BUILD CONSTRAINT DATABASES 101 EXTENSIONS OF LOGIC PROGRAMMING 115
CLEMENS BECKSTEIN, MANFRED RAHNEBERG (UNIV. JENA) ON THE COMPLEXITY OF
GENERALIZED HORN CLAUSE INTUIONISTIC LOGIC 115 THOMAS EITER, WOLFGANG
FABER, NICOLA LEONE, GERALD PFEIFER, AND AXEL POLLERES (TU WIEN) USING
THE DLV SYSTEM FOR PLANNING AND DIAGNOSTIC REASONING 125 1 O C
FUNCTIONAL LOGIC PROGRAMMING FRANK STEINER, MICHAEL HANUS (RWTH AACHEN)
TYPE-BASED NONDETERMINISM CHECKING IN FUNCTIONAL LOGIC PROGRAMS 135
MICHAEL HANUS (RWTH AACHEN) TKCURRY: A DECLARATIVE APPROACH TO GUI
PROGRAMMING 149 LOGIC AND AI 161 STEFFEN HOLLDOBLER (TU DRESDEN)
CHALLENGE PROBLEMS FOR THE INTEGRATION OF LOGIC AND CONNECTIONIST
SYSTEMS 161 PIERRE BONZON (UNIV. LAUSANNE) DELIBERATE AGENT RECONCILE
REACTIVE AND GOAL-DIRECTED AGENTS 171 PROGRAM ANALYSIS AND DEBUGGING 183
MARIJA KULAS (FERN-UNIV. HAGEN) DEBUGGING PROLOG USING ANNOTATIONS 183
GABRIELLA KOKAI (UNIV. ERLANGEN) NEW MISSING SOLUTION METHOD FOR TRACE
TREES 199 SYSTEM DEMONSTRATIONS 211 NORBERT E. FUCHS (UNIV. ZURICH)
ATTEMPTO CONTROLLED ENGLISH 211 MICHAEL HANUS (RWTH AACHEN) PACS: THE
PORTLAND AACHEN CURRY SYSTEM 219 UWE EGLY, THOMAS EITER, HANS TOMPITS,
STEFAN WOLTRAN (TU WIEN, AUSTRIA) IMPLEMENTING DEFAULT REASONING USING
QUANTIFIED BOOLEAN FORMULAE 223 HANS-JOACHIM GOLTZ (GMD-FIRST
CONSTRAINTBASIERTE INTERAKTIVE UND AUTOMATISCHE STUNDENPLANUNG 227 SLIM
ABDENNADHER, MATTHIAS SAFT UND SEBASTIAN WILL (LMU MIINCHEN)
CONSTRAINTBASIERTE RAUMPLANUNG FUR UNIVERSITDTEN 229 GABRIELLA KOKAI
(UNIV. ERLANGEN) CAPP: STATISCHE CODEANALYSE VON PROLOG PROGRAMMEN 23 1
STEFAN KRAI, FRED MESNARD, ULRICH NEUMERKEL (TU WIEN, AUSTRIA) SLICING
ZUR FEHLERSUCHE IN LOGIKPROGRAMMEN 241
|
| any_adam_object | 1 |
| author_GND | (DE-588)1173357440 |
| author_corporate | Workshop on Logic Programming Würzburg |
| author_corporate_role | aut |
| author_facet | Workshop on Logic Programming Würzburg |
| author_sort | Workshop on Logic Programming Würzburg |
| building | Verbundindex |
| bvnumber | BV013030973 |
| ctrlnum | (OCoLC)76117153 (DE-599)BVBBV013030973 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01970nam a22003858cb4500</leader><controlfield tag="001">BV013030973</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030401 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000208s2000 gw |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958321345</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884579711</subfield><subfield code="9">3-88457-971-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76117153</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013030973</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">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Logic Programming</subfield><subfield code="n">14</subfield><subfield code="d">2000</subfield><subfield code="c">Würzburg</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2181474-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">14. Workshop Logische Programmierung</subfield><subfield code="b">Würzburg, 26. - 28. Januar 2000</subfield><subfield code="c">GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)]</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Vierzehnter Workshop Logische Programmierung</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">GMD-Forschungszentrum Informationstechnik</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ca. 200 S.</subfield><subfield code="c">30 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">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report</subfield><subfield code="v">90</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">2000</subfield><subfield code="z">Würzburg</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="700" ind1="1" ind2=" "><subfield code="a">Bry, François</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1173357440</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report</subfield><subfield code="v">90</subfield><subfield code="w">(DE-604)BV012058336</subfield><subfield code="9">90</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008877892&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-008877892</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Würzburg gnd-content |
| genre_facet | Konferenzschrift 2000 Würzburg |
| id | DE-604.BV013030973 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:37:57Z |
| institution | BVB |
| institution_GND | (DE-588)2181474-0 |
| isbn | 3884579711 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008877892 |
| oclc_num | 76117153 |
| open_access_boolean | |
| owner | DE-20 DE-210 |
| owner_facet | DE-20 DE-210 |
| physical | ca. 200 S. 30 cm |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | GMD-Forschungszentrum Informationstechnik |
| record_format | marc |
| series | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report |
| series2 | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report |
| spelling | Workshop on Logic Programming 14 2000 Würzburg Verfasser (DE-588)2181474-0 aut 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)] Vierzehnter Workshop Logische Programmierung Sankt Augustin GMD-Forschungszentrum Informationstechnik 2000 ca. 200 S. 30 cm txt rdacontent n rdamedia nc rdacarrier GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report 90 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Würzburg gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Bry, François 1956- Sonstige (DE-588)1173357440 oth GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report 90 (DE-604)BV012058336 90 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008877892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Report Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 |
| title_alt | Vierzehnter Workshop Logische Programmierung |
| title_auth | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 |
| title_exact_search | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 |
| title_full | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)] |
| title_fullStr | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)] |
| title_full_unstemmed | 14. Workshop Logische Programmierung Würzburg, 26. - 28. Januar 2000 GMD-Forschungszentrum Informationstechnik GmbH. François Bry ... (Hrsg.). [Veranst.: Gesellschaft für Logisches Programmieren (GLP), Untergruppe der Association for Logic Programming (ALP) und die Fachausschüsse 1.1. und 1.2. der Gesellschaft für Informatik (GI)] |
| title_short | 14. Workshop Logische Programmierung |
| title_sort | 14 workshop logische programmierung wurzburg 26 28 januar 2000 |
| title_sub | Würzburg, 26. - 28. Januar 2000 |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift 2000 Würzburg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008877892&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012058336 |
| work_keys_str_mv | AT workshoponlogicprogrammingwurzburg 14workshoplogischeprogrammierungwurzburg2628januar2000 AT bryfrancois 14workshoplogischeprogrammierungwurzburg2628januar2000 AT workshoponlogicprogrammingwurzburg vierzehnterworkshoplogischeprogrammierung AT bryfrancois vierzehnterworkshoplogischeprogrammierung |