𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies VIII Volume 6619 || Symbolic Model Checking Commitment Protocols Using Reduction

✍ Scribed by Omicini, Andrea; Sardina, Sebastian; Vasconcelos, Wamberto

Book ID
120172856
Publisher
Springer Berlin Heidelberg
Year
2011
Weight
421 KB
Category
Article
ISBN
3642207154

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Decl
[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies II Volume 3476 || Model Checking Agent Dialogues
✍ Leite, João; Omicini, Andrea; Torroni, Paolo; Yolum, pInar 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 185 KB

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne.