{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T05:10:05Z","timestamp":1750050605666,"version":"3.41.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11704-016-5100-y","type":"journal-article","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T09:01:19Z","timestamp":1488963679000},"page":"499-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Lijun","family":"Wu","sequence":"first","affiliation":[]},{"given":"Kaile","family":"Su","sequence":"additional","affiliation":[]},{"given":"Yabiao","family":"Han","sequence":"additional","affiliation":[]},{"given":"Jingyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Xiangyu","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"issue":"9","key":"5100_CR1","first-page":"200","volume":"30","author":"W Lenzen","year":"1978","unstructured":"Lenzen W. Recent work in epistemic logic. Acta Philosophica Fennica, 1978, 30(9): 200\u2013219","journal-title":"Acta Philosophica Fennica"},{"key":"5100_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin R, Hal pern J, Moss Y, Vardi M. Reasoning About Knowledge. Cambridge: MIT Press, 1995"},{"key":"5100_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for AI and Computer Science","author":"J J C Meyer","year":"1995","unstructured":"Meyer J J C, Van der Hoek W. Epistemic logic for AI and Computer Science. Cambridge: Cambridge University Press, 1995"},{"issue":"9","key":"5100_CR4","first-page":"116","volume":"63","author":"R J Aumann","year":"1995","unstructured":"Aumann R J, Brandenburger A. Epistemic conditions for nash equilibrium. Econometrica, 1995, 63(9): 116\u2013180","journal-title":"Econometrica"},{"issue":"2","key":"5100_CR5","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R Fagin","year":"1992","unstructured":"Fagin R, Hal pern J Y, Vardi M Y. What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM, 1992, 39(2): 328\u2013378","journal-title":"Journal of the ACM"},{"key":"5100_CR6","first-page":"332","volume-title":"Proceedings of the 4th International Workshops on Meta-Programming in Logic","author":"W V D Hoek","year":"1994","unstructured":"Hoek W V D, Meyer J J, Treur J. Formal semantics of temporal epistemic reflection Logic. In: Proceedings of the 4th International Workshops on Meta-Programming in Logic. 1994, 332\u2013352"},{"key":"5100_CR7","first-page":"15","volume-title":"Proceedings of the 9th IEEE Symposium on Logic in Computer Science","author":"R Meyden Van Der","year":"1993","unstructured":"Van Der Meyden R. Axioms for knowledge and time in distributed systems with perfect recall. In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science. 1993, 15\u201322"},{"issue":"1","key":"5100_CR8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(95)00063-1","volume":"84","author":"G Lakemeyer","year":"1996","unstructured":"Lakemeyer G. Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence, 1996, 84(1): 209\u2013255","journal-title":"Artificial Intelligence"},{"key":"5100_CR9","volume-title":"Proceedings of the 3rd International Workshop on Agent Theories, Architectures, and Languages","author":"A Lomuscio","year":"1996","unstructured":"Lomuscio A, Colombetti M. QLB: a quantified logic for belief. In: Proceedings of the 3rd International Workshop on Agent Theories, Architectures, and Languages. 1996"},{"issue":"3","key":"5100_CR10","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1007\/s11229-015-0773-6","volume":"193","author":"B Renne","year":"2016","unstructured":"Renne B, Sack J, Yap A. Logics of temporal-epistemic actions. Synthese, 2016, 193(3): 813\u2013849","journal-title":"Synthese"},{"issue":"1","key":"5100_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s11704-014-4097-3","volume":"9","author":"Q L Chen","year":"2015","unstructured":"Chen Q L, Su K L, Hu Y, Hu GW. A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science, 2015, 9(1): 75\u201386","journal-title":"Frontiers of Computer Science"},{"issue":"3","key":"5100_CR12","first-page":"343","volume":"27","author":"L J Wu","year":"2012","unstructured":"Wu L J, Su K L, Sattar A, Chen Q L, Su J S, Wu W. A complete firstorder temporal BDI logic for forest multi-agent systems. Knowledge-Based Systems, 2012, 27(3): 343\u2013351","journal-title":"Knowledge-Based Systems"},{"key":"5100_CR13","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/B978-1-4832-1452-8.50134-2","volume-title":"Proceedings of the International Conference on Knowledge Representation and Reasoning","author":"P Lamarre","year":"1994","unstructured":"Lamarre P, Shoham Y. Knowledge, certainty, belief, and conditionalisation, belief and certainty. In: Proceedings of the International Conference on Knowledge Representation and Reasoning. 1994, 415\u2013424"},{"key":"5100_CR14","first-page":"149","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-agent Systems","author":"K L Su","year":"2005","unstructured":"Su K L, Sattar A, Governatori G, Chen Q L. A computational grounded logic of knowledge, belief and certainty. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-agent Systems. 2005, 149\u2013156"},{"key":"5100_CR15","first-page":"499","volume-title":"Proceedings of Logics in AI, European Workshop","author":"F Voorbraak","year":"1990","unstructured":"Voorbraak F. The theory of objective knowledge and rational belief. In: Proceedings of Logics in AI, European Workshop. 1990, 499\u2013515"},{"issue":"1","key":"5100_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1967.tb00606.x","volume":"23","author":"D Follesdal","year":"1967","unstructured":"Follesdal D. Knowledge, identity, and existence. Theoria, 1967, 23(1): 1\u201327","journal-title":"Theoria"},{"issue":"1","key":"5100_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2214711","volume":"1","author":"Y Hintikka","year":"1962","unstructured":"Hintikka Y. Knowledge, identity, and existence. Nous, 1962, 1(1): 33\u201362","journal-title":"Nous"},{"issue":"1","key":"5100_CR18","first-page":"81","volume":"30","author":"H Levesque","year":"1986","unstructured":"Levesque H. Knowledge representation and reasoning. Annual Reviews Computer Science, 1986, 30(1): 81\u2013108","journal-title":"Annual Reviews Computer Science"},{"key":"5100_CR19","first-page":"639","volume-title":"Proceedings of National Conference on Artificial Intelligence","author":"Y M Liu","year":"2005","unstructured":"Liu Y M, Levesque H J. Tractable reasoning in first-order knowledge bases with disjunctive information. In: Proceedings of National Conference on Artificial Intelligence. 2005, 639\u2013644"},{"issue":"1","key":"5100_CR20","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00370838","volume":"57","author":"M Kaneko","year":"1996","unstructured":"Kaneko M, Nagashima T. Game logic and its applications 1. Studia Logica, 1996, 57(1): 325\u2013354","journal-title":"Studia Logica"},{"issue":"1","key":"5100_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1023\/A:1004975724824","volume":"58","author":"M Kaneko","year":"1997","unstructured":"Kaneko M, Nagashima T. Game logic and its applications 2. Studia Logica, 1997, 58(1): 273\u2013303","journal-title":"Studia Logica"},{"key":"5100_CR22","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/CSFW.1990.128181","volume-title":"Proceedings of the 3rd IEEE Computer Security Foundations Workshop","author":"P Bieber","year":"1990","unstructured":"Bieber P. A Logic of communication in hostile environments. In: Proceedings of the 3rd IEEE Computer Security Foundations Workshop. 1990, 14\u201322"},{"key":"5100_CR23","first-page":"77","volume-title":"Proceedings of IEEE Symposium on Logic in Computer Science","author":"M Cohen","year":"2007","unstructured":"Cohen M, Dams M. A complete axiomatization of knowledge and cryptography. In: Proceedings of IEEE Symposium on Logic in Computer Science. 2007, 77\u201388"},{"key":"5100_CR24","first-page":"52","volume-title":"Proceedings of the 16th National Conference on Artificial Intelligence and the 11th Innovative Applications of Artificial Intelligence Conference Innovative Applications of Artificial Intelligence","author":"M Wooldridge","year":"1999","unstructured":"Wooldridge M. Verifying that agents implement a communication language. In: Proceedings of the 16th National Conference on Artificial Intelligence and the 11th Innovative Applications of Artificial Intelligence Conference Innovative Applications of Artificial Intelligence. 1999, 52\u201357"},{"key":"5100_CR25","first-page":"952","volume-title":"Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge M, Fisher M, Huget M, Parsons S. Model checking multiagent systems with MABLE. In: Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems. 2002, 952\u2013959"},{"issue":"4","key":"5100_CR26","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1093\/comjnl\/bxm009","volume":"50","author":"K L Su","year":"2007","unstructured":"Su K L, Sattar A, Luo X Y. Model checking temporal logics of knowledge via OBDDs. Computer Journal, 2007, 50(4): 403\u2013420","journal-title":"Computer Journal"},{"key":"5100_CR27","first-page":"705","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning","author":"F Belardinelli","year":"2008","unstructured":"Belardinelli F, Lomuscio A. A complete first-order logic of knowledge and time. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning. 2008, 705\u2013714"},{"issue":"9","key":"5100_CR28","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.artint.2009.02.003","volume":"173","author":"F Belardinelli","year":"2009","unstructured":"Belardinelli F, Lomuscio A. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artificial Intelligence, 2009, 173(9): 982\u20131013","journal-title":"Artificial Intelligence"},{"key":"5100_CR29","first-page":"38","volume-title":"Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning","author":"F Belardinelli","year":"2010","unstructured":"Belardinelli F, Lomuscio A. Interactions between time and knowledge in a first-order logic for multi-agent systems. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. 2010, 38\u201348"},{"issue":"9","key":"5100_CR30","first-page":"175","volume":"17","author":"F Belardinelli","year":"2010","unstructured":"Belardinelli F, Lomuscio A. First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Fundamenta Informaticae, 2010, 17(9): 175\u2013190","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"5100_CR31","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"Wooldridge M, Jennings N. Intelligent agents: theory and practice. Knowledge Engineering Review, 1995, 10(2): 49\u201362","journal-title":"Knowledge Engineering Review"},{"issue":"2","key":"5100_CR32","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.knosys.2009.11.017","volume":"23","author":"L J Wu","year":"2010","unstructured":"Wu L J, Su J S, Su K L, Luo X Y, Yang Z H. A concurrent dynamic logic of knowledge, belief, and certainty for multi-agent systems. Knowledge-Based Systems, 2010, 23(2): 162\u2013168","journal-title":"Knowledge-Based Systems"},{"key":"5100_CR33","first-page":"539","volume-title":"Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems","author":"E Adam","year":"2005","unstructured":"Adam E, Mandiau R. Roles and hierarchy in multi-agent organizations. In: Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems. 2005, 539\u2013542"},{"issue":"5","key":"5100_CR34","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s00422-009-0342-5","volume":"101","author":"M Emadi Andani","year":"2009","unstructured":"Emadi Andani M, Bahrami F, Jabehdar-Maralani P, Ijspeert A J. MODEM: a multiagent hierarchical structure to model the human motor control system. Biological Cybernetics, 2009, 101(5): 361\u2013377","journal-title":"Biological Cybernetics"},{"key":"5100_CR35","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1007\/978-3-540-72830-6_68","volume-title":"Proceedings of the 1st KES Symposium on Agent and Multi-Agent Systems: Technologies and Applications","author":"D Choi\u0144ski","year":"2007","unstructured":"Choi\u0144ski D, Noco\u0144 W, Metzger M. Multi-agent system for hierarchical control with self-organising database. In: Proceedings of the 1st KES Symposium on Agent and Multi-Agent Systems: Technologies and Applications. 2007, 655\u2013664"},{"issue":"2","key":"5100_CR36","first-page":"170","volume":"53","author":"P Blackburn","year":"2007","unstructured":"Blackburn P, van Benthem J F A K, Wolter F. Handbook of modal logic. Cambridge Tracts in Theoretical Computer Science, 2007, 53(2): 170\u2013180","journal-title":"Cambridge Tracts in Theoretical Computer Science"},{"key":"5100_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Zakharyaschev M.Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov A, Zakharyaschev M.Modal Logic. Oxford: Clarendon Press, 1997"},{"key":"5100_CR38","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A new introduction to modal logic","author":"M J Hughes","year":"1996","unstructured":"Hughes M J, Cresswell G E. A new introduction to modal logic. New York: Routledge, 1996"},{"issue":"3","key":"5100_CR39","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J Y Halpern","year":"2003","unstructured":"Hal pern J Y, Meyden R V, Vardi M Y. Complete axiomatisations for reasoning about knowledge and time. SIAM Journal on Computing, 2003, 33(3): 674\u2013703","journal-title":"SIAM Journal on Computing"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-5100-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5100-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5100-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T04:30:36Z","timestamp":1750048236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-5100-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["5100"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-5100-y","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2017,6]]}}}