Declarative programming and knowledge management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8439 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 249S.) graph. Darst. |
| ISBN: | 9783319089096 |
| DOI: | 10.1007/978-3-319-08909-6 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042025002 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140814s2014 gw d||| o|||| 00||| eng d | ||
| 020 | |a 9783319089096 |c eBook |9 978-3-319-08909-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-08909-6 |2 doi | |
| 035 | |a (OCoLC)885825828 | ||
| 035 | |a (DE-599)BVBBV042025002 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 245 | 1 | 0 | |a Declarative programming and knowledge management |b Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers |c Michael Hanus ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (X, 249S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8439 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Kiel |2 gnd-content | |
| 689 | 0 | 0 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | 1 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 0 | 2 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hanus, Michael |d 1959- |e Sonstige |0 (DE-588)1011507609 |4 oth | |
| 711 | 2 | |a Declarative Programming Days |d 2013 |c Kiel |j Sonstige |0 (DE-588)1055031820 |4 oth | |
| 711 | 2 | |a INAP |n 20 |d 2013 |c Kiel |j Sonstige |0 (DE-588)1047477297 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-08908-9 |
| 830 | 0 | |a Lecture notes in computer science |v 8439 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 8439 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-08909-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027466584 | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-08909-6 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875583576342528 |
|---|---|
| adam_text |
DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CONSTRUCTION OF EXPLANATION GRAPHS FROM EXTENDED DEPENDENCY GRAPHS FOR
ANSWER SET PROGRAMS
SHARING AND EXCHANGING DATA
PROPOSITIONAL ENCODING OF CONSTRAINTS OVER TREE-SHAPED DATA
ON A HIGH-LEVEL APPROACH TO IMPLEMENTING EXACT REAL ARITHMETIC IN THE
FUNCTIONAL LOGIC PROGRAMMING LANGUAGE CURRY
ON AXIOMATIC REJECTION FOR THE DESCRIPTION LOGIC ALC
AND ACTION! - MONOID ACTIONS AND (PRE)ORDERS
HEX-PROGRAMS WITH EXISTENTIAL QUANTIFICATION
INTRODUCING REAL VARIABLES AND INTEGER OBJECTIVE FUNCTIONS TO ANSWER SET
PROGRAMMING
COVERAGE DRIVEN TEST GENERATION AND CONSISTENCY ALGORITHM
A DATALOG ENGINE FOR GPUS
TOWARDS PARALLEL CONSTRAINT-BASED LOCAL SEARCH WITH THE X10 LANGUAGE
DEBATE GAMES IN LOGIC PROGRAMMING
A DESCRIPTIVE HANDLING OF DIRECTLY CON ICTING RULES IN PREFERRED ANSWER
SETS
SOME EXPERIMENTS ON LIGHT-WEIGHT OBJECT-FUNCTIONAL-LOGIC PROGRAMMING IN
JAVA WITH PAISLEY
HEURISTIC SEARCH OVER PROGRAM TRANSFORMATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE KIEL DECLARATIVE
PROGRAMMING DAYS, KDPD 2013, UNIFYING THE FOLLOWING CONFERENCES: THE
20TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING
AND KNOWLEDGE MANAGEMENT (INAP 2013), THE 22ND INTERNATIONAL WORKSHOP ON
FUNCTIONAL AND (CONSTRAINT) LOGIC PROGRAMMING (WFLP 2013) AND THE 27TH
WORKSHOP ON LOGIC PROGRAMMING (WLP 2013), HELD IN KIEL, GERMANY, IN
SEPTEMBER 2013. THE 15 PAPERS PRESENTED WERE CAREFULLY AND REVIEWED AND
SELECTED FOR INCLUSION IN THIS BOOK. THEY COVER THE FOLLOWING TOPICS:
LOGIC PROGRAMMING, CONSTRAINT PROBLEM SOLVING, PROGRAMMABLE LOGIC
SOLVERS, FUNCTIONAL PROGRAMMING AND CONSTRAINT PROGRAMMING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1011507609 |
| building | Verbundindex |
| bvnumber | BV042025002 |
| classification_rvk | SS 4800 |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)885825828 (DE-599)BVBBV042025002 |
| 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 |
| doi_str_mv | 10.1007/978-3-319-08909-6 |
| format | Electronic Conference Proceeding eBook |
| 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">BV042025002</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140814s2014 gw d||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319089096</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-319-08909-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-08909-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885825828</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042025002</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Declarative programming and knowledge management</subfield><subfield code="b">Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers</subfield><subfield code="c">Michael Hanus ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 249S.)</subfield><subfield code="b">graph. Darst.</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8439 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</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="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</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">2013</subfield><subfield code="z">Kiel</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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">Hanus, Michael</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1011507609</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Declarative Programming Days</subfield><subfield code="d">2013</subfield><subfield code="c">Kiel</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1055031820</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">INAP</subfield><subfield code="n">20</subfield><subfield code="d">2013</subfield><subfield code="c">Kiel</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1047477297</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-08908-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8439 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8439</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027466584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027466584&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027466584</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08909-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Kiel gnd-content |
| genre_facet | Konferenzschrift 2013 Kiel |
| id | DE-604.BV042025002 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:57Z |
| institution | BVB |
| institution_GND | (DE-588)1055031820 (DE-588)1047477297 |
| isbn | 9783319089096 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027466584 |
| oclc_num | 885825828 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (X, 249S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers Michael Hanus ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (X, 249S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8439 : Lecture notes in artificial intelligence Deklarative Programmierung (DE-588)4293503-9 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Kiel gnd-content Deklarative Programmierung (DE-588)4293503-9 s Wissensbasiertes System (DE-588)4197554-6 s Logische Programmierung (DE-588)4195096-3 s DE-604 Hanus, Michael 1959- Sonstige (DE-588)1011507609 oth Declarative Programming Days 2013 Kiel Sonstige (DE-588)1055031820 oth INAP 20 2013 Kiel Sonstige (DE-588)1047477297 oth Erscheint auch als Druckausgabe 978-3-319-08908-9 Lecture notes in computer science 8439 : Lecture notes in artificial intelligence (DE-604)BV014880109 8439 https://doi.org/10.1007/978-3-319-08909-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers Lecture notes in computer science Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| subject_GND | (DE-588)4293503-9 (DE-588)4195096-3 (DE-588)4197554-6 (DE-588)1071861417 |
| title | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers |
| title_auth | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers |
| title_exact_search | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers |
| title_full | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers Michael Hanus ... (eds.) |
| title_fullStr | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers Michael Hanus ... (eds.) |
| title_full_unstemmed | Declarative programming and knowledge management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers Michael Hanus ... (eds.) |
| title_short | Declarative programming and knowledge management |
| title_sort | declarative programming and knowledge management declarative programming days kdpd 2013 unifying inap wflp and wlp kiel germany september 11 13 2013 revised selected papers |
| title_sub | Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 ; Revised Selected Papers |
| topic | Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| topic_facet | Deklarative Programmierung Logische Programmierung Wissensbasiertes System Konferenzschrift 2013 Kiel |
| url | https://doi.org/10.1007/978-3-319-08909-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027466584&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT hanusmichael declarativeprogrammingandknowledgemanagementdeclarativeprogrammingdayskdpd2013unifyinginapwflpandwlpkielgermanyseptember11132013revisedselectedpapers AT declarativeprogrammingdayskiel declarativeprogrammingandknowledgemanagementdeclarativeprogrammingdayskdpd2013unifyinginapwflpandwlpkielgermanyseptember11132013revisedselectedpapers AT inapkiel declarativeprogrammingandknowledgemanagementdeclarativeprogrammingdayskdpd2013unifyinginapwflpandwlpkielgermanyseptember11132013revisedselectedpapers |