Author:
Wan Wei,Bentahar Jamal,Ben Hamza Abdessamad
Subject
Artificial Intelligence,Information Systems and Management,Management Information Systems,Software
Reference50 articles.
1. I. Anciutti, A learning classifier system for emergent team behavior in real-time POMDP, in: Proceedings of the IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS), 2009, pp. 733–738.
2. Principles of Model Checking;Baier,2008
3. F. Belardinelli, A. Lomuscio, A complete first-order logic of knowledge and time, in: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, 2008, pp. 705–714.
4. Quantified epistemic logics for reasoning about knowledge in multi-agent systems;Belardinelli;Artificial Intelligence,2009
5. Model checking communicative agent-based systems;Bentahar;Knowledge-Based Systems,2009
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献