Author:
de Boer F.S.,Hindriks K.V.,van der Hoek W.,Meyer J.-J.Ch.
Subject
Applied Mathematics,Logic
Reference34 articles.
1. On the logic of theory change: Partial meet contraction and revision functions;Gärdenfors;J. Symbolic Logic,1985
2. Concurrent Programming: Principles and Practice;Andrews,1991
3. Verification of Sequential and Concurrent Programs;Apt,1991
4. Parallel Program Design;Mani Chandy,1988
5. Intention is choice with commitment;Cohen;Artificial Intelligence,1990
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making model checking feasible for GOAL;Annals of Mathematics and Artificial Intelligence;2023-10-05
2. Safe Autonomous Decision-Making with vGOAL;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023
3. Generating Safe Autonomous Decision-Making in ROS;Electronic Proceedings in Theoretical Computer Science;2022-09-27
4. Machine-checked Verification of Cognitive Agents;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022
5. A Theorem Proving Approach to Formal Verification of a Cognitive Agent;Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference;2021-09-02