Author:
de C. Ferreira Nivea,Fisher Michael,van der Hoek Wiebe
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;P. Abdulla,2000
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
4. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)
5. Bradshaw, J., Greaves, M., Holmback, H., Karygiannis, T., Silverman, B., Suri, N., Wong, A.: Agents for the Masses? IEEE Intelligent Systems 14(2) (1999)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learnability with PAC Semantics for Multi-agent Beliefs;Theory and Practice of Logic Programming;2023-07
2. Executing Logical Agent Specifications;Multi-Agent Programming;2009
3. Specifying and reasoning about uncertain agents;International Journal of Approximate Reasoning;2008-09
4. Towards an Epistemic Logic for Uncertain Agents;Multi-Agent Systems and Applications V;2007
5. A Complete Probabilistic Belief Logic;Lecture Notes in Computer Science;2007