Verification of relational multiagent systems with data types

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2015, Pages 2031-2037

  Calvanese, Diego ^a   Montali, Marco ^a   Delzanno, Giorgio ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CALCULATIONS; COMPUTABILITY AND DECIDABILITY; TEMPORAL LOGIC;

DOMAIN SPECIFIC; FINITE STATE; NUMBER OF DATUM; ORIGINAL SYSTEMS; RELATIONAL DATABASE; SOUND AND COMPLETE; TEMPORAL PROPERTY; UNDECIDABILITY;

MULTI AGENT SYSTEMS;

EID: 84959898797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; Deutsch, A.; and Montali, M. 2013. Verification of relational data-centric dynamic systems with external services. In Proc. of the 32nd ACM SICA CT S IG MOD SlüAISymp. on Principles of Database Systems (PODS), 163-174.
2. Bagheri Hariri, B.; Calvanese, D.; Deutsch, A.; and Montali, M. 2014. State-boundedness in data-aware dynamic systems. In Proc. of the 14th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR). AAAI Press.
3. Baier, C, and Katoen, J.-P. 2008. Principles of Model Checking. The MIT Press.
4. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2012. An abstraction technique for the verification of artifact-centric systems. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR), 319-328.
5. Belardinelli, F. 2014. Model checking auctions as artifact systems: Decidability via finite abstraction. In Proc. of the 21st Eur. Conf. on Artificial Intelligence (ECAI), 81-86.
6. Bultan, T; Gerber, R.; and Pugh, W. 1999. Model-checking con-current systems with unbounded integer variables: Symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and Systems 21{4):747-789.
7. Calvanese, D.; Delzanno, G.; and Montali, M. 2014. Verification of relational multiagent systems with data types (extended version). CoRR Technical Report arXiv:1411.4516, arXiv.org e-Print archive.
8. Cavada, R.; Cimatti, A.; Dorigatti, M.; Griggio, A.; Mariotti, A.; Micheli, A.; Mover, S.; Roveri, M.; and Tonetta, S. 2014. The nuXmv symbolic model checker. In Proc. of the 26th Int. Conf. on Computer Aided Verification (CAV), volume 8559 of LNCS, 334-342. Springer.
9. Chopra, A. K., and Singh, M. P. 2013. Multiagent Systems: A Modern Appmach to Distributed Artificial Intelligence. The MIT Press, chapter Agent Communication, 101-141.
10. Delzanno, G., and Podelski, A. 1999. Model checking in CLP. In Proc. of the Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 223-239.
11. Delzanno, G., and Rosa-Velardo, F. 2013. On the coverability and reachability languages of monotonie extensions of petri nets. TCS 467:12-29.
12. Deutsch, A.; Sui, L.; and Vianu, V. 2007. Specification and verification of data-driven web applications. J. of Computer and System Sciences 73(3):442-474.
13. ISO/IEC 11404:2007. 2007. Information technology: General-Purpose Datatypes (GPD). Technical report, ISO/IEC, CH-1211 Geneva 20, Switzerland.
14. Lomuscio, A.; Qu, H.; and Raimondi, F. 2009. MCMAS: A model checker for the verification of multi-agent systems. In Proc. of the 21st Int. Conf. on Computer Aided Verification (CAV), volume 5643 ofLTVCS, 682-688. Springer.
15. Montali, M.; Calvanese, D.: and De Giacomo, G. 2014. Verification of data-aware commitment-based multiagent systems. In Proc. of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), 157-164.
16. Montanari, U., and Pistore, M. 2005. History-dependent automata: An introduction. In Proc. of the 5th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-Moby), volume 3465 of LNCS, 1-28. Springer.
17. Needham, R. 1989. Distributed Systems. Addison Wesley Pubi. Co. chapter Names, 89-101.
18. Savkovic, O., and Calvanese, D. 2012. Introducing datatypes in DL-Lite. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI).