Applications of declarative programming and knowledge management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7773 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIII, 364 S.) Ill., graph. Darst. |
| ISBN: | 9783642415234 9783642415241 |
| DOI: | 10.1007/978-3-642-41524-1 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041590668 | ||
| 003 | DE-604 | ||
| 005 | 20140326 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140127s2013 gw ad|| o|||| 00||| eng d | ||
| 020 | |a 9783642415234 |c print |9 978-3-642-41523-4 | ||
| 020 | |a 9783642415241 |c eBook |9 978-3-642-41524-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-41524-1 |2 doi | |
| 035 | |a (OCoLC)874395495 | ||
| 035 | |a (DE-599)BVBBV041590668 | ||
| 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-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 652f |2 stub | ||
| 245 | 1 | 0 | |a Applications of declarative programming and knowledge management |b 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers |c Hnas Tompits ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XIII, 364 S.) |b Ill., 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 7773 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Wissensmanagement |0 (DE-588)4561842-2 |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 Abfragesprache |0 (DE-588)4134011-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a World Wide Web |0 (DE-588)4363898-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierparadigma |0 (DE-588)4308224-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |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 2011 |z Wien |2 gnd-content | |
| 689 | 0 | 0 | |a World Wide Web |0 (DE-588)4363898-3 |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 | 3 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | 4 | |a Programmierparadigma |0 (DE-588)4308224-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a World Wide Web |0 (DE-588)4363898-3 |D s |
| 689 | 1 | 1 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 1 | 2 | |a Abfragesprache |0 (DE-588)4134011-5 |D s |
| 689 | 1 | 3 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 4 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Wissensmanagement |0 (DE-588)4561842-2 |D s |
| 689 | 2 | 1 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 2 | 2 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | 3 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 2 | 4 | |a Programmierparadigma |0 (DE-588)4308224-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Tompits, Hans |e Sonstige |4 oth | |
| 711 | 2 | |a INAP |n 19 |d 2011 |c Wien |j Sonstige |0 (DE-588)1045648086 |4 oth | |
| 711 | 2 | |a Workshop on Logic Programming |n 25 |d 2011 |c Wien |j Sonstige |0 (DE-588)1045622761 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7773 : Lecture notes in artificial intelligence |w (DE-604)BV014880109 |9 7773 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-41524-1 |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=027035736&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=027035736&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027035736 | |
Datensatz im Suchindex
| _version_ | 1820875558012059648 |
|---|---|
| adam_text |
APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
THE IMPL POLICY LANGUAGE FOR MANAGING INCONSISTENCY IN MULTI-CONTEXT
SYSTEMS
THE PARAMETERIZED COMPLEXITY OF CONSTRAINT SATISFACTION AND REASONING
TRANSLATING NONDETERMINISTIC FUNCTIONAL LANGUAGE BASED ON ATTRIBUTE
GRAMMARS INTO JAVA
SENSITIVITY ANALYSIS FOR DECLARATIVE RELATIONAL QUERY LANGUAGES WITH
ORDINAL RANKS
A UNIFORM FIXPOINT APPROACH TO THE IMPLEMENTATION OF INFERENCE METHODS
FOR DEDUCTIVE DATABASES
TRANSLATING ANSWER-SET PROGRAMS INTO BIT-VECTOR LOGIC
MAKING USE OF ADVANCES IN ANSWER-SET PROGRAMMING FOR ABSTRACT
ARGUMENTATION SYSTEMS
CONFIDENTIALITY-PRESERVING PUBLISHING OF EDPS FOR CREDULOUS AND
SKEPTICAL USERS
EVERY FORMULA-BASED LOGIC PROGRAM HAS A LEAST INNITE-VALUED MODEL
A DECLARATIVE APPROACH FOR COMPUTING ORDINAL CONDITIONAL FUNCTIONS USING
CONSTRAINT LOGIC PROGRAMMING
A DESCRIPTIVE APPROACH TO PREFERRED ANSWER SETS
SOLVING MODULAR MODEL EXPANSION: CASE STUDIES
FDCONG: A CONSTRAINT-BASED INTERACTIVE PRODUCT CONGURATOR
DYNPARTIX - A DYNAMIC PROGRAMMING REASONER FOR ABSTRACT ARGUMENTATION
HEX-PROGRAMS WITH NESTED PROGRAM CALLS
A PROTOTYPE OF A KNOWLEDGE-BASED PROGRAMMING ENVIRONMENT
COMPUTING WITH LOGIC AS OPERATOR ELIMINATION: THE TOYELIM SYSTEM
COPROCESSOR - A STANDALONE SAT PREPROCESSOR
THE SEALION HAS LANDED: AN IDE FOR ANSWER-SET PROGRAMMING PRELIMINARY
REPORT
KARA: A SYSTEM FOR VISUALISING AND VISUAL EDITING OF INTERPRETATIONS FOR
ANSWER-SET PROGRAMS
UNIT TESTING IN ASPIDE.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES REVISED SELECTED PAPERS OF THE 19TH INTERNATIONAL
CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE
MANAGEMENT, INAP 2011, AND THE 25TH WORKSHOP ON LOGIC PROGRAMMING, WLP
2011, HELD IN VIENNA, AUSTRIA, IN SEPTEMBER 2011. THE 19 PAPERS
PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 27
PAPERS PRESENTED AT THE CONFERENCE AND INITIALLY A TOTAL OF 35
SUBMISSIONS. THE BOOK ALSO CONTAINS THE PAPERS OF TWO INVITED TALKS. THE
PAPERS ARE ORGANIZED IN TOPICAL SECTIONS ON LANGUAGES; ANSWER-SET
PROGRAMMING AND ABDUCTIVE REASONING; CONSTRAINTS AND LOGIC PROGRAMMING;
ANSWER-SET PROGRAMMING AND MODEL EXPANSION; APPLICATION PAPERS; AND
SYSTEM DESCRIPTIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV041590668 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 000 DAT 652f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)874395495 (DE-599)BVBBV041590668 |
| 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-642-41524-1 |
| 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">BV041590668</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140326</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140127s2013 gw ad|| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642415234</subfield><subfield code="c">print</subfield><subfield code="9">978-3-642-41523-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642415241</subfield><subfield code="c">eBook</subfield><subfield code="9">978-3-642-41524-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-41524-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874395495</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041590668</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-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</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-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 652f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applications of declarative programming and knowledge management</subfield><subfield code="b">19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers</subfield><subfield code="c">Hnas Tompits ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 364 S.)</subfield><subfield code="b">Ill., 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">7773 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</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">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">World Wide Web</subfield><subfield code="0">(DE-588)4363898-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</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="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">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">2011</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">World Wide Web</subfield><subfield code="0">(DE-588)4363898-3</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="3"><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="4"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</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">World Wide Web</subfield><subfield code="0">(DE-588)4363898-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Abfragesprache</subfield><subfield code="0">(DE-588)4134011-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</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">Wissensmanagement</subfield><subfield code="0">(DE-588)4561842-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="3"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="4"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</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">Tompits, Hans</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">INAP</subfield><subfield code="n">19</subfield><subfield code="d">2011</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1045648086</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Logic Programming</subfield><subfield code="n">25</subfield><subfield code="d">2011</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1045622761</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">7773 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7773</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-41524-1</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=027035736&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=027035736&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-SCS</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-027035736</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Wien gnd-content |
| genre_facet | Konferenzschrift 2011 Wien |
| id | DE-604.BV041590668 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:31Z |
| institution | BVB |
| institution_GND | (DE-588)1045648086 (DE-588)1045622761 |
| isbn | 9783642415234 9783642415241 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027035736 |
| oclc_num | 874395495 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIII, 364 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers Hnas Tompits ... (ed.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIII, 364 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7773 : Lecture notes in artificial intelligence Wissensmanagement (DE-588)4561842-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Abfragesprache (DE-588)4134011-5 gnd rswk-swf World Wide Web (DE-588)4363898-3 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Programmierparadigma (DE-588)4308224-5 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Deklarative Programmierung (DE-588)4293503-9 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Wien gnd-content World Wide Web (DE-588)4363898-3 s Wissensbasiertes System (DE-588)4197554-6 s Logische Programmierung (DE-588)4195096-3 s Deklarative Programmierung (DE-588)4293503-9 s Programmierparadigma (DE-588)4308224-5 s DE-604 Datenbanksystem (DE-588)4113276-2 s Abfragesprache (DE-588)4134011-5 s Wissensmanagement (DE-588)4561842-2 s Constraint-Programmierung (DE-588)4567206-4 s Tompits, Hans Sonstige oth INAP 19 2011 Wien Sonstige (DE-588)1045648086 oth Workshop on Logic Programming 25 2011 Wien Sonstige (DE-588)1045622761 oth Lecture notes in computer science 7773 : Lecture notes in artificial intelligence (DE-604)BV014880109 7773 https://doi.org/10.1007/978-3-642-41524-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027035736&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=027035736&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers Lecture notes in computer science Wissensmanagement (DE-588)4561842-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Abfragesprache (DE-588)4134011-5 gnd World Wide Web (DE-588)4363898-3 gnd Datenbanksystem (DE-588)4113276-2 gnd Programmierparadigma (DE-588)4308224-5 gnd Constraint-Programmierung (DE-588)4567206-4 gnd Deklarative Programmierung (DE-588)4293503-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| subject_GND | (DE-588)4561842-2 (DE-588)4195096-3 (DE-588)4134011-5 (DE-588)4363898-3 (DE-588)4113276-2 (DE-588)4308224-5 (DE-588)4567206-4 (DE-588)4293503-9 (DE-588)4197554-6 (DE-588)1071861417 |
| title | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers |
| title_auth | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers |
| title_exact_search | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers |
| title_full | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers Hnas Tompits ... (ed.) |
| title_fullStr | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers Hnas Tompits ... (ed.) |
| title_full_unstemmed | Applications of declarative programming and knowledge management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers Hnas Tompits ... (ed.) |
| title_short | Applications of declarative programming and knowledge management |
| title_sort | applications of declarative programming and knowledge management 19th international conference inap 2011 and 25th workshop on logic programming wlp 2011 vienna austria september 28 30 2011 revised selected papers |
| title_sub | 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28 - 30, 2011 ; revised selected papers |
| topic | Wissensmanagement (DE-588)4561842-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Abfragesprache (DE-588)4134011-5 gnd World Wide Web (DE-588)4363898-3 gnd Datenbanksystem (DE-588)4113276-2 gnd Programmierparadigma (DE-588)4308224-5 gnd Constraint-Programmierung (DE-588)4567206-4 gnd Deklarative Programmierung (DE-588)4293503-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| topic_facet | Wissensmanagement Logische Programmierung Abfragesprache World Wide Web Datenbanksystem Programmierparadigma Constraint-Programmierung Deklarative Programmierung Wissensbasiertes System Konferenzschrift 2011 Wien |
| url | https://doi.org/10.1007/978-3-642-41524-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027035736&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=027035736&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT tompitshans applicationsofdeclarativeprogrammingandknowledgemanagement19thinternationalconferenceinap2011and25thworkshoponlogicprogrammingwlp2011viennaaustriaseptember28302011revisedselectedpapers AT inapwien applicationsofdeclarativeprogrammingandknowledgemanagement19thinternationalconferenceinap2011and25thworkshoponlogicprogrammingwlp2011viennaaustriaseptember28302011revisedselectedpapers AT workshoponlogicprogrammingwien applicationsofdeclarativeprogrammingandknowledgemanagement19thinternationalconferenceinap2011and25thworkshoponlogicprogrammingwlp2011viennaaustriaseptember28302011revisedselectedpapers |