Publications » Declarative Agent Languages and Technologies VIII

Declarative Agent Languages and Technologies VIII

Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos (eds.)
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
Keywords: commitment protocols; formal semantics; multi-agent programming; ontology alignment; symbolic model checking
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 6619, pages X, 205, May 2011, Springer Berlin Heidelberg
8th International Workshop on Declarative Agent Languages and Technologies (DALT 2010), Toronto, Canada, 10 May 2010. Revised, Selected and Invited Papers
@proceedings{daltVIII,
	Booktitle = {Declarative Agent Languages and Technologies {VIII}},
	Doi = {10.1007/978-3-642-20715-0},
	Editor = {Omicini, Andrea and Sardina, Sebastian and Vasconcelos, Wamberto},
	Isbn = {978-3-642-20714-3},
	Isbn-Online = {978-3-642-20715-0},
	Issn = {0302-9743},
	Issn-Online = {1611-3349},
	Month = may,
	Note = {8th International Workshop (DALT 2010), Toronto, Canada, 10~} # may # {~2010. Revised, Selected and Invited Papers},
	Pages = {X, 205},
	Publisher = {Springer Berlin Heidelberg},
	ScopusId = {2-s2.0-79957525749},
	Series = {Lecture Notes in Computer Science},
	Subseries = {Lecture Notes in Artificial Intelligence},
	Title = {Declarative Agent Languages and Technologies {VIII}},
	Url = {http://link.springer.com/10.1007/978-3-642-20715-0},
	Volume = 6619,
	Year = 2011}