Declarative agent languages and technologies VII: 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
5948 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 261 S. graph. Darst. 24 cm |
| ISBN: | 9783642113543 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036052690 | ||
| 003 | DE-604 | ||
| 005 | 20120521 | ||
| 007 | t| | ||
| 008 | 100226s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N52,0015 |2 dnb | ||
| 016 | 7 | |a 998805122 |2 DE-101 | |
| 020 | |a 9783642113543 |c kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) |9 978-3-642-11354-3 | ||
| 024 | 3 | |a 9783642113543 | |
| 028 | 5 | 2 | |a 12832613 |
| 035 | |a (OCoLC)541085519 | ||
| 035 | |a (DE-599)DNB998805122 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 709f |2 stub | ||
| 245 | 1 | 0 | |a Declarative agent languages and technologies VII |b 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers |c Matteo Baldoni ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 261 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5948 : 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 2009 |z Budapest |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 7 |d 2009 |c Budapest |j Sonstige |0 (DE-588)16056022-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5948 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 5948 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018944337&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018944337 | |
Datensatz im Suchindex
| _version_ | 1820875200367951872 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALK PLAYING WITH RULES 1 JOAEO LEITE INVITED
PAPERS THE REFINEMENT OF CHOREOGRAPHED MULTI-AGENT SYSTEMS 20
LAECRAEMIOARA A§TEFAENOAEI, FRANK S. DE BOER, AND MEHDI DASTANI GOAL
GENERATION FROM POSSIBILISTIC BELIEFS BASED ON TRUST AND DISTRUST 35
CELIA DA COSTA PEREIRA AND ANDREA G.B. TETTAMANZI MONITORING DIRECTED
OBLIGATIONS WITH FLEXIBLE DEADLINES: A RULE-BASED APPROACH 51 HENRIQUE
LOPES CARDOSO AND EUGENIO OLIVEIRA CONTRIBUTED PAPERS UNIFYING THE
INTENTIONAL AND INSTITUTIONAL SEMANTICS OF SPEECH ACTS . 68 CAROLE
ADAM, ANDREAS HERZIG, DOMINIQUE LONGIN, AND VINCENT LOUIS TABLEAUX FOR
ACCEPTANCE LOGIC 85 MATHIJS DE BOER, ANDREAS HERZIG, TIAGO DE LIMA, AND
EMILIANO LORINI ONTOLOGY AND TIME EVOLUTION OF OBLIGATIONS AND
PROHIBITIONS USING SEMANTIC WEB TECHNOLOGY 101 NICOLETTA FORNARA AND
MARCO COLOMBETTI PRIORITIZED GOALS AND SUBGOALS IN A LOGICAL ACCOUNT OF
GOAL CHANGE - A PRELIMINARY REPORT 119 SHAKIL M. KHAN AND YVES
LESPERANCE DECLARATIVE AND NUMERICAL ANALYSIS OF EDGE CREATION PROCESS
IN TRUST-BASED SOCIAL NETWORKS 137 BABAK KHOSRAVIFAR, JAMAL BENTAHAR,
AND MAZIAR GOMROKCHI COMPUTING UTILITY FROM WEIGHTED DESCRIPTION LOGIC
PREFERENCE FORMULA BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/998805122 DIGITALISIERT DURCH XII TABLE OF CONTENTS
EXPLAINING AND PREDICTING THE BEHAVIOR OF BDI-BASED AGENTS IN
ROLE-PLAYING GAMES 174 MICHAL P. SINDLAR, MEHDI M. DASTANI, FRANK
DIGNUM, AND JOHN-JULES CH. MEYER CORRECTNESS PROPERTIES FOR MULTIAGENT
SYSTEMS 192 MUNINDAR P. SINGH AND AMIT K. CHOPRA REASONING AND PLANNING
WITH COOPERATIVE ACTIONS FOR MULTIAGENTS USING ANSWER SET PROGRAMMING
208 TRAN CAO SON AND CHIAKI SAKAMA SOCIAL COMMITMENTS IN TIME: SATISFIED
OR COMPENSATED 228 PAOLO TORRONI, FEDERICO CHESANI, PAOLA MELLO, AND
MARCO MONTALI VERIFYING DRIBBLE AGENTS 244 DOAN THU TRANG, BRIAN LOGAN,
AND NATASHA ALECHINA AUTHOR INDEX 263 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036052690 |
| classification_rvk | ST 300 |
| classification_tum | DAT 709f |
| ctrlnum | (OCoLC)541085519 (DE-599)DNB998805122 |
| dewey-full | 006.3 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods 005 - Computer programming, programs, data, security |
| dewey-raw | 006.3 005.131 |
| dewey-search | 006.3 005.131 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV036052690</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120521</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100226s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N52,0015</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998805122</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642113543</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-11354-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642113543</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12832613</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)541085519</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998805122</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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">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="245" ind1="1" ind2="0"><subfield code="a">Declarative agent languages and technologies VII</subfield><subfield code="b">7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers</subfield><subfield code="c">Matteo Baldoni ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 261 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 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">Lecture notes in computer science</subfield><subfield code="v">5948 : 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">2009</subfield><subfield code="z">Budapest</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">7</subfield><subfield code="d">2009</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16056022-6</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">5948 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5948</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=018944337&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018944337</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Budapest gnd-content |
| genre_facet | Konferenzschrift 2009 Budapest |
| id | DE-604.BV036052690 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:51Z |
| institution | BVB |
| institution_GND | (DE-588)16056022-6 |
| isbn | 9783642113543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018944337 |
| oclc_num | 541085519 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 DE-355 DE-BY-UBR |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 DE-355 DE-BY-UBR |
| physical | XII, 261 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers Matteo Baldoni ... (ed.) Berlin [u.a.] Springer 2010 XII, 261 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5948 : 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 2009 Budapest 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 7 2009 Budapest Sonstige (DE-588)16056022-6 oth Lecture notes in computer science 5948 : Lecture notes in artificial intelligence (DE-604)BV000000607 5948 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018944337&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; 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 VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers |
| title_auth | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers |
| title_exact_search | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers |
| title_full | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers Matteo Baldoni ... (ed.) |
| title_fullStr | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers Matteo Baldoni ... (ed.) |
| title_full_unstemmed | Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; revised selected and invited papers Matteo Baldoni ... (ed.) |
| title_short | Declarative agent languages and technologies VII |
| title_sort | declarative agent languages and technologies vii 7th international workshop dalt 2009 budapest hungary may 11 2009 revised selected and invited papers |
| title_sub | 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 ; 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 2009 Budapest |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018944337&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT baldonimatteo declarativeagentlanguagesandtechnologiesvii7thinternationalworkshopdalt2009budapesthungarymay112009revisedselectedandinvitedpapers AT daltbudapest declarativeagentlanguagesandtechnologiesvii7thinternationalworkshopdalt2009budapesthungarymay112009revisedselectedandinvitedpapers |