Eintrag weiter verarbeiten
Online-Ressource

Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Baldoni, Matteo (VerfasserIn), Dennis, Louise (Sonstige), Mascardi, Viviana (Sonstige), Vasconcelos, Wamberto (Sonstige)
Titel: Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers/ edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7784
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Artificial intelligence
Konferenzschrift > 2012 > Valencia
Konferenzschrift
Druckausg.: Declarative agent languages and technologies ; 10: 10th international workshop ; revised selected papers, Berlin : Springer, 2013, XII, 207 S.
Druckausg.: Declarative agent languages and technologies X, Berlin [u.a.] : Springer, 2013, XII, 207 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 07330cam a22012492 4500
001 0-1652326464
003 DE-627
005 20240316102847.0
007 cr uuu---uuuuu
008 130503s2013 gw |||||o 00| ||eng c
020 |a 9783642378904  |9 978-3-642-37890-4 
024 7 |a 10.1007/978-3-642-37890-4  |2 doi 
035 |a (DE-627)1652326464 
035 |a (DE-576)381843238 
035 |a (DE-599)BSZ381843238 
035 |a (OCoLC)846967947 
035 |a (ZBM)1268.68002 
035 |a (ZBM)1268.68002 
035 |a (DE-He213)978-3-642-37890-4 
035 |a (EBP)040548058 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a Q334-342  |a TJ210.2-211.495 
050 0 |a Q334-342 
050 0 |a TJ210.2-211.495 
072 7 |a TJFM1  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
084 |a SS 4800  |q BVB  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68T42  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.72  |2 bkl 
084 |a 54.51  |2 bkl 
100 1 |a Baldoni, Matteo  |4 aut 
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 edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XII, 209 p. 42 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7784 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a 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). 
520 |a 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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Artificial intelligence 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Artificial intelligence 
655 7 |a Konferenzschrift  |y 2012  |z Valencia  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4389058-1  |0 (DE-627)189373342  |0 (DE-576)211924512  |a Mehragentensystem  |2 gnd 
689 0 1 |d s  |0 (DE-588)4293502-7  |0 (DE-627)104135670  |0 (DE-576)210953047  |a Deklarative Programmiersprache  |2 gnd 
689 0 2 |d s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 |5 DE-101 
700 1 |a Dennis, Louise  |4 oth 
700 1 |a Mascardi, Viviana  |4 oth 
700 1 |a Vasconcelos, Wamberto  |4 oth 
776 1 |z 9783642378898 
776 0 8 |i Druckausg.  |t Declarative agent languages and technologies ; 10: 10th international workshop ; revised selected papers  |d Berlin : Springer, 2013  |h XII, 207 S.  |w (DE-627)1471011291  |w (DE-576)401011291  |z 9783642378898  |z 3642378897 
776 0 8 |i Druckausg.  |t Declarative agent languages and technologies X  |d Berlin [u.a.] : Springer, 2013  |h XII, 207 S.  |w (DE-627)739914952  |w (DE-576)9739914950  |z 3642378897  |z 9783642378898 
830 0 |a Lecture notes in computer science  |v 7784  |9 7784  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-37890-4  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz381843238cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20140212102032  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1268.68002  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4283886&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)74500234X 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.72  |j Künstliche Intelligenz  |0 (DE-627)10641240X 
936 b k |a 54.51  |j Programmiermethodik  |0 (DE-627)106418122 
951 |a BO 
950 |a Nichtprozedurale Programmiersprache 
950 |a Deskriptive Programmiersprache 
950 |a Denotationelle Programmiersprache 
950 |a Programmiersprache 
950 |a Deklarative Programmierung 
950 |a Formales Verfahren 
950 |a Methode 
950 |a Multi-Agenten-System 
950 |a Multiagentensystem 
950 |a Multi-Agentensystem 
950 |a Agent 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |9 DE-14 
852 |a DE-14  |x epn:3359521234  |z 2013-05-03T09:23:28Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |9 DE-15 
852 |a DE-15  |x epn:3359521269  |z 2013-05-03T09:23:28Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3359521307  |z 2013-05-03T09:23:28Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3359521331  |z 2013-05-03T09:23:28Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-37890-4  |9 DE-520 
852 |a DE-520  |x epn:3359521366  |z 2013-05-03T09:23:28Z 
980 |a 1652326464  |b 0  |k 1652326464  |o 381843238 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Declarative+Agent+Languages+and+Technologies+X%3A+10th+International+Workshop%2C+DALT+2012%2C+Valencia%2C+Spain%2C+June+4%2C+2012%2C+Revised+Selected+Papers&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Declarative+Agent+Languages+and+Technologies+X%3A+10th+International+Workshop%2C+DALT+2012%2C+Valencia%2C+Spain%2C+June+4%2C+2012%2C+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7784&rft.au=Baldoni%2C+Matteo&rft.pub=Springer&rft.edition=&rft.isbn=3642378900
SOLR
_version_ 1794571108687544320
author Baldoni, Matteo
author2 Dennis, Louise, Mascardi, Viviana, Vasconcelos, Wamberto
author2_role oth, oth, oth
author2_variant l d ld, v m vm, w v wv
author_facet Baldoni, Matteo, Dennis, Louise, Mascardi, Viviana, Vasconcelos, Wamberto
author_role aut
author_sort Baldoni, Matteo
author_variant m b mb
callnumber-first Q - Science
callnumber-label Q334-342
callnumber-raw Q334-342 TJ210.2-211.495, Q334-342, TJ210.2-211.495
callnumber-search Q334-342 TJ210.2-211.495, Q334-342, TJ210.2-211.495
callnumber-sort Q 3334 3342 T J210 12 3211.495
callnumber-subject Q - General Science
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SXCS, ZDB-2-SEB
contents 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)., 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
ctrlnum (DE-627)1652326464, (DE-576)381843238, (DE-599)BSZ381843238, (OCoLC)846967947, (ZBM)1268.68002, (DE-He213)978-3-642-37890-4, (EBP)040548058
de15_date 2013-05-03T09:23:28Z
dech1_date 2013-05-03T09:23:28Z
doi_str_mv 10.1007/978-3-642-37890-4
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SXCS, ZDB-2-SEB
facet_avail Online
facet_local_del330 Mehragentensystem, Deklarative Programmiersprache, Formale Methode
finc_class_facet Informatik, Allgemeine Naturwissenschaft, Technik
finc_id_str 0007307447
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2012 Valencia (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Valencia
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7784
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652326464
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652326464
is_hierarchy_title Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
isbn 9783642378904
isbn_isn_mv 9783642378898, 3642378897
issn_isn_mv 1611-3349
kxp_id_str 1652326464
language English
last_indexed 2024-03-26T06:59:33.667Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Mehragentensystem, Deklarative Programmiersprache, Formale Methode
marc024a_ct_mv 10.1007/978-3-642-37890-4
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @205854f2, Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ]
match_str baldoni2013declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7784
oclc_num 846967947
physical Online-Ressource (XII, 209 p. 42 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 381843238
recordtype marcfinc
rsn_id_str_mv (DE-15)3218823
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7784
series2 Lecture Notes in Computer Science ; 7784, SpringerLink ; Bücher
source_id 0
spelling Baldoni, Matteo aut, Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos, Berlin, Heidelberg Springer 2013, Online-Ressource (XII, 209 p. 42 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7784, SpringerLink Bücher, Literaturangaben, 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)., 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, Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Konferenzschrift 2012 Valencia (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4389058-1 (DE-627)189373342 (DE-576)211924512 Mehragentensystem gnd, s (DE-588)4293502-7 (DE-627)104135670 (DE-576)210953047 Deklarative Programmiersprache gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, DE-101, Dennis, Louise oth, Mascardi, Viviana oth, Vasconcelos, Wamberto oth, 9783642378898, Druckausg. Declarative agent languages and technologies ; 10: 10th international workshop ; revised selected papers Berlin : Springer, 2013 XII, 207 S. (DE-627)1471011291 (DE-576)401011291 9783642378898 3642378897, Druckausg. Declarative agent languages and technologies X Berlin [u.a.] : Springer, 2013 XII, 207 S. (DE-627)739914952 (DE-576)9739914950 3642378897 9783642378898, Lecture notes in computer science 7784 7784 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-37890-4 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-37890-4 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz381843238cov.jpg V:DE-576 X:springer image/jpeg 20140212102032 Cover, https://zbmath.org/?q=an:1268.68002 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4283886&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)74500234X, http://dx.doi.org/10.1007/978-3-642-37890-4 DE-14, DE-14 epn:3359521234 2013-05-03T09:23:28Z, http://dx.doi.org/10.1007/978-3-642-37890-4 DE-15, DE-15 epn:3359521269 2013-05-03T09:23:28Z, http://dx.doi.org/10.1007/978-3-642-37890-4 DE-Ch1, DE-Ch1 epn:3359521307 2013-05-03T09:23:28Z, http://dx.doi.org/10.1007/978-3-642-37890-4 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3359521331 2013-05-03T09:23:28Z, http://dx.doi.org/10.1007/978-3-642-37890-4 DE-520, DE-520 epn:3359521366 2013-05-03T09:23:28Z
spellingShingle Baldoni, Matteo, Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, Lecture notes in computer science, 7784, 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)., 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, Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Konferenzschrift 2012 Valencia, Konferenzschrift, Mehragentensystem, Deklarative Programmiersprache, Formale Methode
swb_id_str 381843238
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_full Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
title_fullStr Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
title_full_unstemmed Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
title_in_hierarchy 7784. Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (2013)
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
title_unstemmed Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
topic Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Konferenzschrift 2012 Valencia, Konferenzschrift, Mehragentensystem, Deklarative Programmiersprache, Formale Methode
topic_facet Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Konferenzschrift, Mehragentensystem, Deklarative Programmiersprache, Formale Methode
url https://doi.org/10.1007/978-3-642-37890-4, http://dx.doi.org/10.1007/978-3-642-37890-4, https://swbplus.bsz-bw.de/bsz381843238cov.jpg, https://zbmath.org/?q=an:1268.68002, http://deposit.d-nb.de/cgi-bin/dokserv?id=4283886&prov=M&dok_var=1&dok_ext=htm
work_keys_str_mv AT baldonimatteo declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers, AT dennislouise declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers, AT mascardiviviana declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers, AT vasconceloswamberto declarativeagentlanguagesandtechnologiesx10thinternationalworkshopdalt2012valenciaspainjune42012revisedselectedpapers