Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; 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
7784 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XII, 209 S.) graph. Darst. |
| ISBN: | 9783642378904 3642378897 |
| DOI: | 10.1007/978-3-642-37890-4 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041393724 | ||
| 003 | DE-604 | ||
| 005 | 20140327 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131104s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783642378904 |c Online |9 978-3-642-37890-4 | ||
| 020 | |a 3642378897 |9 3-642-37889-7 | ||
| 024 | 7 | |a 10.1007/978-3-642-37890-4 |2 doi | |
| 035 | |a (OCoLC)846967947 | ||
| 035 | |a (DE-599)BVBBV041393724 | ||
| 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-739 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 006.3 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 709f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Declarative Agent Languages and Technologies X |b 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers |c Matteo Baldoni ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XII, 209 S.) |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 7784 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehragentensystem |0 (DE-588)4389058-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Valencia |2 gnd-content | |
| 689 | 0 | 0 | |a Mehragentensystem |0 (DE-588)4389058-1 |D s |
| 689 | 0 | 1 | |a Deklarative Programmiersprache |0 (DE-588)4293502-7 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Baldoni, Matteo |e Sonstige |4 oth | |
| 711 | 2 | |a DALT |n 10 |d 2012 |c Valencia |j Sonstige |0 (DE-588)1033774316 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-37889-8 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7784 |w (DE-604)BV014880109 |9 7784 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-37890-4 |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=026841446&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=026841446&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-026841446 | |
Datensatz im Suchindex
| _version_ | 1820875503472476160 |
|---|---|
| adam_text |
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES X
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INVITED PAPERS
HANDLING CHANGE IN NORMATIVE SPECIFICATIONS
LATEST DEVELOPMENTS OF WADE TO SUPPORT USER-CENTRIC BUSINESS PROCESSES
STRONG PLANNING IN THE LOGICS OF COMMUNICATION AND CHANGE
AGENT DELIBERATION VIA FORWARD AND BACKWARD CHAINING IN LINEAR LOGIC
CONTRIBUTED PAPERS
AUTOMATIC GENERATION OF SELF-MONITORING MASS FROM MULTIPARTY GLOBAL
SESSION TYPES IN JASON
A GENERALIZED COMMITMENT MACHINE FOR 2CL PROTOCOLS AND ITS
IMPLEMENTATION
SOLVING FUZZY DISTRIBUTED CSPS: AN APPROACH WITH NAMING GAMES
COMMITMENT PROTOCOL GENERATION
GOAL-BASED QUALITATIVE PREFERENCE SYSTEMS
SAT-BASED BMC FOR DEONTIC METRIC TEMPORAL LOGIC AND DEONTIC INTERLEAVED
INTERPRETED SYSTEMS
POSITION PAPERS
SOME THOUGHTS ABOUT COMMITMENT PROTOCOLS (POSITION PAPER)
SEMANTIC WEB AND DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES: CURRENT
AND FUTURE TRENDS (POSITION PAPER)
DESIGNING AND IMPLEMENTING A FRAMEWORK FOR BDI-STYLE COMMUNICATING
AGENTS IN HASKELL (POSITION PAPER)
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES X
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-PROCEEDINGS OF THE
10TH INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND
TECHNOLOGIES, DALT 2012, HELD IN CONJUNCTION WITH THE 11TH INTERNATIONAL
JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS
2012) AT VALENCIA, SPAIN, IN JUNE 2012. THE VOLUME CONTAINS 13
REVISED SELECTED PRESENTED AT DALT 2012.THE PAPERS COVER THE FOLLOWING
TOPICS: DECLARATIVE LANGUAGES AND TECHNOLOGIES, COMPUTATIONAL LOGICS,
DECLARATIVE APPROACHES TO ENGINEERING AGENT-BASED SYSTEMS, MODELS OF
BUSINESS INTERACTIONS AMONG AGENTS, AND MODELS OF TRUST, COMMITMENTS,
AND REPUTATION FOR AGENTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV041393724 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 709f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)846967947 (DE-599)BVBBV041393724 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-37890-4 |
| 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">BV041393724</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140327</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131104s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642378904</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-37890-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642378897</subfield><subfield code="9">3-642-37889-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-37890-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)846967947</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041393724</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-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</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">006.3</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 709f</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="245" ind1="1" ind2="0"><subfield code="a">Declarative Agent Languages and Technologies X</subfield><subfield code="b">10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers</subfield><subfield code="c">Matteo Baldoni ... (eds.)</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 (XII, 209 S.)</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">7784</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</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">2012</subfield><subfield code="z">Valencia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">Baldoni, Matteo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DALT</subfield><subfield code="n">10</subfield><subfield code="d">2012</subfield><subfield code="c">Valencia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033774316</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-37889-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7784</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7784</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-37890-4</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=026841446&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=026841446&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-026841446</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Valencia gnd-content |
| genre_facet | Konferenzschrift 2012 Valencia |
| id | DE-604.BV041393724 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:40Z |
| institution | BVB |
| institution_GND | (DE-588)1033774316 |
| isbn | 9783642378904 3642378897 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026841446 |
| oclc_num | 846967947 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 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-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 209 S.) 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 | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers Matteo Baldoni ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XII, 209 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 7784 Formale Methode (DE-588)4333722-3 gnd rswk-swf Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf Mehragentensystem (DE-588)4389058-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Valencia gnd-content Mehragentensystem (DE-588)4389058-1 s Deklarative Programmiersprache (DE-588)4293502-7 s Formale Methode (DE-588)4333722-3 s DE-604 Baldoni, Matteo Sonstige oth DALT 10 2012 Valencia Sonstige (DE-588)1033774316 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-37889-8 Lecture Notes in Computer Science 7784 (DE-604)BV014880109 7784 https://doi.org/10.1007/978-3-642-37890-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026841446&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=026841446&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Deklarative Programmiersprache (DE-588)4293502-7 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4293502-7 (DE-588)4389058-1 (DE-588)1071861417 |
| title | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers |
| title_auth | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers |
| title_exact_search | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers |
| title_full | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers Matteo Baldoni ... (eds.) |
| title_fullStr | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers Matteo Baldoni ... (eds.) |
| title_full_unstemmed | Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers Matteo Baldoni ... (eds.) |
| title_short | Declarative Agent Languages and Technologies X |
| title_sort | declarative agent languages and technologies x 10th international workshop dalt 2012 valencia spain june 4 2012 revised selected papers |
| title_sub | 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 ; revised selected papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Deklarative Programmiersprache (DE-588)4293502-7 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| topic_facet | Formale Methode Deklarative Programmiersprache Mehragentensystem Konferenzschrift 2012 Valencia |
| url | https://doi.org/10.1007/978-3-642-37890-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026841446&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=026841446&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT baldonimatteo declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers AT daltvalencia declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers |