國立虎尾科技大學 |

Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Engineering Multi-Agent Systems/ edited by Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern.
Reminder of title:	4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
other author:	Baldoni, Matteo.
Description:	XII, 227 p. 66 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-319-50983-9
ISBN:	9783319509839

Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
Engineering Multi-Agent Systems4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /[electronic resource] :edited by Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern. - 1st ed. 2016. - XII, 227 p. 66 illus.online resource. - Lecture Notes in Artificial Intelligence ;10093. - Lecture Notes in Artificial Intelligence ;9285.

This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools.

ISBN: 9783319509839

Standard No.: 10.1007/978-3-319-50983-9doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
LDR:02143nam a22003975i 4500 001 975116
003 DE-He213
005 20200706204432.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319509839 $9 978-3-319-50983-9
024 7 $a 10.1007/978-3-319-50983-9 $2 doi
035 $a 978-3-319-50983-9
050 4 $a Q334-342
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
245 1 0 $a Engineering Multi-Agent Systems $h [electronic resource] : $b 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / $c edited by Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XII, 227 p. 66 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Artificial Intelligence ; $v 10093
520 $a This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Software engineering. $3 562952
650 0 $a Computer programming. $3 527822
650 0 $a Computer communication systems. $3 1115394
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computers and civilization. $3 556557
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Computers and Society. $3 669900
700 1 $a Baldoni, Matteo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 678715
700 1 $a Müller, Jörg P. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264753
700 1 $a Nunes, Ingrid. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269711
700 1 $a Zalila-Wenkstern, Rym. $e editor. $1 https://orcid.org/0000-0002-2062-6794 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269712
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319509822
776 0 8 $i Printed edition: $z 9783319509846
830 0 $a Lecture Notes in Artificial Intelligence ; $v 9285 $3 1253845
856 4 0 $u https://doi.org/10.1007/978-3-319-50983-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)