Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu. Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. In Marina Sokolova, Peter van Beek, editors, Advances in Artificial Intelligence - 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings. Volume 8436 of Lecture Notes in Computer Science, pages 269-274, Springer, 2014. [doi]

This author has not been identified. Look up 'Qingliang Chen' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Yong Hu' in GoogleThis author has not been identified. Look up 'Guiwu Hu' in Google

runs on WebDSL