Author:
Jongmans Sung-Shik T. Q.,Hindriks Koen V.,van Riemsdijk M. Birna
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 409–416. ACM, New York (2003)
2. Lecture Notes in Artificial Intelligence;R.H. Bordini,2004
3. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verificiation of multi-agent programs. In: 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 69–78. IEEE Computer Society, Los Alamitos (2008)
4. Lecture Notes in Computer Science;L.A. Dennis,2009
5. Kacprzak, M., Nabialek, W., Niewiadomski, A., Penczek, W., Pólrola, A., Szreter, M., Wozna, B., Zbrzezny, A.: Verics 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae 85, 313–328 (2008)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modelling and verifying BDI agents with bigraphs;Science of Computer Programming;2022-03
2. Machine-checked Verification of Cognitive Agents;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022
3. A Theorem Proving Approach to Formal Verification of a Cognitive Agent;Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference;2021-09-02
4. On using Theorem Proving for Cognitive Agent-oriented Programming;Proceedings of the 13th International Conference on Agents and Artificial Intelligence;2021
5. Logic-based technologies for multi-agent systems: a systematic literature review;Autonomous Agents and Multi-Agent Systems;2020-10-19