{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:29:55Z","timestamp":1755599395537,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2015,7,26]],"date-time":"2015-07-26T00:00:00Z","timestamp":1437868800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s10458-015-9306-4","type":"journal-article","created":{"date-parts":[[2015,7,25]],"date-time":"2015-07-25T09:04:23Z","timestamp":1437815063000},"page":"793-825","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems"],"prefix":"10.1007","volume":"30","author":[{"given":"Olivier","family":"Gasquet","sequence":"first","affiliation":[]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1228-4333","authenticated-orcid":false,"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,26]]},"reference":[{"issue":"3","key":"9306_CR1","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1093\/jigpal\/jzs052","volume":"21","author":"P Balbiani","year":"2013","unstructured":"Balbiani, P., Gasquet, O., & Schwarzentruber, F. (2013). Agents that look at one another. Logic Journal of IGPL, 21(3), 438\u2013467.","journal-title":"Logic Journal of IGPL"},{"key":"9306_CR2","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-1-4020-5587-4_7","volume-title":"Handbook of spatial logics","author":"P Balbiani","year":"2007","unstructured":"Balbiani, P., Goranko, V., Kellerman, R., & Vakarelov, D. (2007). Logical theories of fragments of elementary geometry. In M. Aiello, J. van Benthem, & I. Pratt-Hartmann (Eds.), Handbook of spatial logics (pp. 343\u2013428). Heidelberg: Springer."},{"issue":"1","key":"9306_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/logcom\/exn060","volume":"20","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., Van Ditmarsch, H., Herzig, A., & De Lima, T. (2010). Tableaux for public announcement logic. Journal of Logic and Computation, 20(1), 55\u201376.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9306_CR4","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"M Ben-Or","year":"1986","unstructured":"Ben-Or, M., Kozen, D., & Reif, J. (1986). The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(2), 251\u2013264.","journal-title":"Journal of Computer and System Sciences"},{"key":"9306_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press."},{"key":"9306_CR6","doi-asserted-by":"crossref","unstructured":"Bustamante, A. L., Molina, J. M., & Patricio, M. A. (2010). Multi-camera and multi-modal sensor fusion, an architecture overview. In Proceedings of the DCAI\u20192010 (pp. 301\u2013308).","DOI":"10.1007\/978-3-642-14883-5_39"},{"key":"9306_CR7","doi-asserted-by":"crossref","unstructured":"Canny, J. (1988). Some algebraic and geometric computations in PSPACE. In Proceedings of STOC\u201988 (pp. 460\u2013467). New York: ACM.","DOI":"10.1145\/62212.62257"},{"key":"9306_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge: MIT Press."},{"issue":"1","key":"9306_CR9","first-page":"33","volume":"2","author":"J Garc\u00eda","year":"2005","unstructured":"Garc\u00eda, J., Carb\u00f3, J., & Molina, J. M. (2005). Agent-based coordination of cameras. International Journal of Computer Science & Applications, 2(1), 33\u201337.","journal-title":"International Journal of Computer Science & Applications"},{"key":"9306_CR10","unstructured":"Gasquet, O., Goranko, V., & Schwarzentruber, F. (2014). Big brother logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane. In Proceedings of the AAMAS\u20192014 (pp. 325\u2013332)"},{"key":"9306_CR11","unstructured":"Goranko, V., Merker, M., & Thomassen, C. (2014). Directed graphs with restricted angles of vision. Manuscript."},{"key":"9306_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT Press."},{"issue":"2","key":"9306_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165\u2013179.","journal-title":"Synthese"},{"key":"9306_CR14","doi-asserted-by":"crossref","unstructured":"Schwarzentruber, F. (2011). Seeing, knowledge and common knowledge. In Logic, rationality, and interaction (pp. 258\u2013271). Berlin: Springer.","DOI":"10.1007\/978-3-642-24130-7_19"},{"key":"9306_CR15","volume-title":"Introduction to the theory of computation","author":"M Sipser","year":"2006","unstructured":"Sipser, M. (2006). Introduction to the theory of computation (Vol. 2). Boston: Thomson Course Technology."},{"key":"9306_CR16","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"A Tarski","year":"1951","unstructured":"Tarski, A. (1951). A decision method for elementary algebra and geometry. Berlin: Springer."},{"key":"9306_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Dordecht: Springer."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-015-9306-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-015-9306-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-015-9306-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T17:54:41Z","timestamp":1748541281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-015-9306-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,26]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["9306"],"URL":"https:\/\/doi.org\/10.1007\/s10458-015-9306-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[2015,7,26]]}}}