Declarative Agent Languages and Technologies VIII
 |
 |
booktitle = {Declarative Agent Languages and Technologies {VIII}},
doi = {10.1007/978-3-642-20715-0},
editor = {Omicini, Andrea and Sardina, Sebastian and Vasconcelos, Wamberto},
eisbn = {978-3-642-20715-0},
eissn = {1611-3349},
iris = {11585/102332},
isbn = {978-3-642-20714-3},
issn = {0302-9743},
keywords = {commitment protocols; formal semantics; multi-agent programming; ontology alignment; symbolic model checking},
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},
scopus = {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
}