Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. In Corrado Priami, Paola Quaglia, editors, Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Volume 3267 of Lecture Notes in Computer Science, pages 314-339, Springer, 2004. [doi]
@inproceedings{AlbertiCGLMT04,
title = {The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies},
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3267&spage=314},
tags = {logic, systematic-approach},
researchr = {https://researchr.org/publication/AlbertiCGLMT04},
cites = {0},
citedby = {0},
pages = {314-339},
booktitle = {Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers},
editor = {Corrado Priami and Paola Quaglia},
volume = {3267},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-24101-9},
}