Author:
Ferrando Angelo,Ancona Davide,Mascardi Viviana
Publisher
Springer International Publishing
Reference36 articles.
1. Communications in Computer and Information Science;F Aielli,2016
2. Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: Proceedings of SAC 2013, pp. 1377–1379 (2013)
3. Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: Proceedings of AAMAS 2015, pp. 1019–1029 (2015)
4. Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Runtime verification of fail-uncontrolled and ambient intelligence systems: a uniform approach. Intelligenza Artificiale 9(2), 131–148 (2015)
5. Ancona, D., Dovier, A.: A theoretical perspective of coinductive logic programming. Fundamenta Informaticae 140(3–4), 221–246 (2015)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献