Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2009
Schriftenreihe:Lecture notes in computer science 5397 : Lecture notes in artificial intelligence
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV035438533
003 DE-604
005 20090508
007 cr|uuu---uuuuu
008 090417s2009 xx d||| o|||| 10||| eng d
020 |a 9783540939191  |9 978-3-540-93919-1 
020 |a 9783540939207  |c Online  |9 978-3-540-93920-7 
024 7 |a 10.1007/978-3-540-93920-7  |2 doi 
035 |a (OCoLC)552087635 
035 |a (DE-599)BVBBV035438533 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
049 |a DE-473  |a DE-19  |a DE-91  |a DE-739  |a DE-384  |a DE-M347  |a DE-703  |a DE-706  |a DE-634  |a DE-355 
082 0 |a 005.131  |2 22/ger 
082 0 |a 006.3  |2 22/ger 
084 |a ST 300  |0 (DE-625)143650:  |2 rvk 
084 |a DAT 709f  |2 stub 
084 |a DAT 000  |2 stub 
245 1 0 |a Declarative agent languages and technologies VI  |b 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers  |c Matteo Baldoni ... (eds.) 
264 1 |a Berlin [u.a.]  |b Springer  |c 2009 
300 |a 1 Online-Ressource (X, 250 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 5397 : Lecture notes in artificial intelligence 
500 |a Literaturangaben 
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 Logische Programmierung  |0 (DE-588)4195096-3  |2 gnd  |9 rswk-swf 
650 0 7 |a Wissensrevision  |0 (DE-588)4273403-4  |2 gnd  |9 rswk-swf 
650 0 7 |a Formale Spezifikationstechnik  |0 (DE-588)4299725-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Mehragentensystem  |0 (DE-588)4389058-1  |2 gnd  |9 rswk-swf 
650 0 7 |a Verifikation  |0 (DE-588)4135577-5  |2 gnd  |9 rswk-swf 
650 0 7 |a Autonomer Agent  |0 (DE-588)4618883-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Inferenz  |g Künstliche Intelligenz  |0 (DE-588)4333533-0  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 2008  |z Estoril  |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 Spezifikationstechnik  |0 (DE-588)4299725-2  |D s 
689 0 3 |a Verifikation  |0 (DE-588)4135577-5  |D s 
689 0 |5 DE-604 
689 1 0 |a Mehragentensystem  |0 (DE-588)4389058-1  |D s 
689 1 1 |a Autonomer Agent  |0 (DE-588)4618883-6  |D s 
689 1 2 |a Deklarative Programmiersprache  |0 (DE-588)4293502-7  |D s 
689 1 3 |a Formale Methode  |0 (DE-588)4333722-3  |D s 
689 1 |5 DE-604 
689 2 0 |a Mehragentensystem  |0 (DE-588)4389058-1  |D s 
689 2 1 |a Wissensrevision  |0 (DE-588)4273403-4  |D s 
689 2 2 |a Inferenz  |g Künstliche Intelligenz  |0 (DE-588)4333533-0  |D s 
689 2 3 |a Logische Programmierung  |0 (DE-588)4195096-3  |D s 
689 2 |5 DE-604 
700 1 |a Baldoni, Matteo  |e Sonstige  |4 oth 
711 2 |a DALT  |n 6  |d 2008  |c Estoril  |j Sonstige  |0 (DE-588)10368936-9  |4 oth 
830 0 |a Lecture notes in computer science  |v 5397 : Lecture notes in artificial intelligence  |w (DE-604)BV014880109  |9 5397 
856 4 0 |u https://doi.org/10.1007/978-3-540-93920-7  |x Verlag  |3 Volltext 
912 |a ZDB-2-LNC 
912 |a ZDB-2-SCS 
940 1 |q UBR Paketkauf 2024 
940 1 |q ZDB-2-SCS_2009 
943 1 |a oai:aleph.bib-bvb.de:BVB01-017358818 

Datensatz im Suchindex

DE-BY-TUM_katkey 1688811
_version_ 1822468348307308544
adam_text
any_adam_object
building Verbundindex
bvnumber BV035438533
classification_rvk ST 300
classification_tum DAT 709f
DAT 000
collection ZDB-2-LNC
ZDB-2-SCS
ctrlnum (OCoLC)552087635
(DE-599)BVBBV035438533
dewey-full 005.131
006.3
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 005 - Computer programming, programs, data, security
006 - Special computer methods
dewey-raw 005.131
006.3
dewey-search 005.131
006.3
dewey-sort 15.131
dewey-tens 000 - Computer science, information, general works
discipline Informatik
doi_str_mv 10.1007/978-3-540-93920-7
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">BV035438533</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090508</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">090417s2009 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540939191</subfield><subfield code="9">978-3-540-93919-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540939207</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-93920-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-93920-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)552087635</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035438533</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</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-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</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 VI</subfield><subfield code="b">6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited 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">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 250 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">5397 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Autonomer Agent</subfield><subfield code="0">(DE-588)4618883-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</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">2008</subfield><subfield code="z">Estoril</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 Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Autonomer Agent</subfield><subfield code="0">(DE-588)4618883-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Deklarative Programmiersprache</subfield><subfield code="0">(DE-588)4293502-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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">6</subfield><subfield code="d">2008</subfield><subfield code="c">Estoril</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10368936-9</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">5397 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">5397</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-93920-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2009</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017358818</subfield></datafield></record></collection>
genre (DE-588)1071861417 Konferenzschrift 2008 Estoril gnd-content
genre_facet Konferenzschrift 2008 Estoril
id DE-604.BV035438533
illustrated Illustrated
indexdate 2025-01-28T05:14:16Z
institution BVB
institution_GND (DE-588)10368936-9
isbn 9783540939191
9783540939207
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-017358818
oclc_num 552087635
open_access_boolean
owner DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-91
DE-BY-TUM
DE-739
DE-384
DE-M347
DE-703
DE-706
DE-634
DE-355
DE-BY-UBR
owner_facet DE-473
DE-BY-UBG
DE-19
DE-BY-UBM
DE-91
DE-BY-TUM
DE-739
DE-384
DE-M347
DE-703
DE-706
DE-634
DE-355
DE-BY-UBR
physical 1 Online-Ressource (X, 250 S.) graph. Darst.
psigel ZDB-2-LNC
ZDB-2-SCS
UBR Paketkauf 2024
ZDB-2-SCS_2009
publishDate 2009
publishDateSearch 2009
publishDateSort 2009
publisher Springer
record_format marc
series Lecture notes in computer science
series2 Lecture notes in computer science
spelling Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers Matteo Baldoni ... (eds.)
Berlin [u.a.] Springer 2009
1 Online-Ressource (X, 250 S.) graph. Darst.
txt rdacontent
c rdamedia
cr rdacarrier
Lecture notes in computer science 5397 : Lecture notes in artificial intelligence
Literaturangaben
Formale Methode (DE-588)4333722-3 gnd rswk-swf
Deklarative Programmiersprache (DE-588)4293502-7 gnd rswk-swf
Logische Programmierung (DE-588)4195096-3 gnd rswk-swf
Wissensrevision (DE-588)4273403-4 gnd rswk-swf
Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf
Mehragentensystem (DE-588)4389058-1 gnd rswk-swf
Verifikation (DE-588)4135577-5 gnd rswk-swf
Autonomer Agent (DE-588)4618883-6 gnd rswk-swf
Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf
(DE-588)1071861417 Konferenzschrift 2008 Estoril gnd-content
Mehragentensystem (DE-588)4389058-1 s
Deklarative Programmiersprache (DE-588)4293502-7 s
Formale Spezifikationstechnik (DE-588)4299725-2 s
Verifikation (DE-588)4135577-5 s
DE-604
Autonomer Agent (DE-588)4618883-6 s
Formale Methode (DE-588)4333722-3 s
Wissensrevision (DE-588)4273403-4 s
Inferenz Künstliche Intelligenz (DE-588)4333533-0 s
Logische Programmierung (DE-588)4195096-3 s
Baldoni, Matteo Sonstige oth
DALT 6 2008 Estoril Sonstige (DE-588)10368936-9 oth
Lecture notes in computer science 5397 : Lecture notes in artificial intelligence (DE-604)BV014880109 5397
https://doi.org/10.1007/978-3-540-93920-7 Verlag Volltext
spellingShingle Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
Lecture notes in computer science
Formale Methode (DE-588)4333722-3 gnd
Deklarative Programmiersprache (DE-588)4293502-7 gnd
Logische Programmierung (DE-588)4195096-3 gnd
Wissensrevision (DE-588)4273403-4 gnd
Formale Spezifikationstechnik (DE-588)4299725-2 gnd
Mehragentensystem (DE-588)4389058-1 gnd
Verifikation (DE-588)4135577-5 gnd
Autonomer Agent (DE-588)4618883-6 gnd
Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd
subject_GND (DE-588)4333722-3
(DE-588)4293502-7
(DE-588)4195096-3
(DE-588)4273403-4
(DE-588)4299725-2
(DE-588)4389058-1
(DE-588)4135577-5
(DE-588)4618883-6
(DE-588)4333533-0
(DE-588)1071861417
title Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
title_auth Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
title_exact_search Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
title_full Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers Matteo Baldoni ... (eds.)
title_fullStr Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers Matteo Baldoni ... (eds.)
title_full_unstemmed Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers Matteo Baldoni ... (eds.)
title_short Declarative agent languages and technologies VI
title_sort declarative agent languages and technologies vi 6th international workshop dalt 2008 estoril portugal may 12 2008 revised selected and invited papers
title_sub 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
topic Formale Methode (DE-588)4333722-3 gnd
Deklarative Programmiersprache (DE-588)4293502-7 gnd
Logische Programmierung (DE-588)4195096-3 gnd
Wissensrevision (DE-588)4273403-4 gnd
Formale Spezifikationstechnik (DE-588)4299725-2 gnd
Mehragentensystem (DE-588)4389058-1 gnd
Verifikation (DE-588)4135577-5 gnd
Autonomer Agent (DE-588)4618883-6 gnd
Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd
topic_facet Formale Methode
Deklarative Programmiersprache
Logische Programmierung
Wissensrevision
Formale Spezifikationstechnik
Mehragentensystem
Verifikation
Autonomer Agent
Inferenz Künstliche Intelligenz
Konferenzschrift 2008 Estoril
url https://doi.org/10.1007/978-3-540-93920-7
volume_link (DE-604)BV014880109
work_keys_str_mv AT baldonimatteo declarativeagentlanguagesandtechnologiesvi6thinternationalworkshopdalt2008estorilportugalmay122008revisedselectedandinvitedpapers
AT daltestoril declarativeagentlanguagesandtechnologiesvi6thinternationalworkshopdalt2008estorilportugalmay122008revisedselectedandinvitedpapers