{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T22:10:36Z","timestamp":1736287836151,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331063"},{"type":"electronic","value":"9783540331070"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691792_3","type":"book-chapter","created":{"date-parts":[[2006,2,27]],"date-time":"2006-02-27T07:39:13Z","timestamp":1141025953000},"page":"33-50","source":"Crossref","is-referenced-by-count":4,"title":["Complete Axiomatizations of Finite Syntactic Epistemic States"],"prefix":"10.1007","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Walicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"\u00c5gotnes, T.: A Logic of Finite Syntactic Epistemic States. PhD thesis, Department of Informatics, University of Bergen (2004)"},{"key":"3_CR2","unstructured":"\u00c5gotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Technical Report 304, Dept. of Informatics, Univ. of Bergen, Norway (2005)"},{"key":"3_CR3","first-page":"163","volume-title":"Proc. of the 8th Scandinavian Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications","author":"T. \u00b0Agotnes","year":"2003","unstructured":"\u00c5gotnes, T., Walicki, M.: A logic for reasoning about agents with finite explicit knowledge. In: Tessem, B., Ala-Siuru, P., Doherty, P., Mayoh, B. (eds.) Proc. of the 8th Scandinavian Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, pp. 163\u2013174. IOS Press, Amsterdam (2003)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Walicki, M.: Syntactic knowledge: A logic of reasoning, communication and cooperation. In: Ghidini, P., Giorgini, P., van der Hoek, W. (eds.) Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS), Barcelona, Spain (December 2004)","DOI":"10.1145\/1082473.1082660"},{"key":"3_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/11750734_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T., Walicki, M.: Strongly complete axiomatizations of knowing at most in standard syntactic assignments. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 57\u201376. Springer, Heidelberg (2006)"},{"key":"3_CR6","first-page":"606","volume-title":"Proc. of the Third Intern. Joint Conf. on Autonomous Agents and Multi-Agent Syst. (AAMAS 2004)","author":"N. Alechina","year":"2005","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proc. of the Third Intern. Joint Conf. on Autonomous Agents and Multi-Agent Syst. (AAMAS 2004), pp. 606\u2013613. ACM Press, New York (2005)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/BF00883100","volume":"26","author":"R.A. Eberle","year":"1974","unstructured":"Eberle, R.A.: A logic of believing, knowing and inferring. Synthese\u00a026, 356\u2013382 (1974)","journal-title":"Synthese"},{"key":"3_CR8","unstructured":"Elgot-Drapkin, J., Kraus, S., Miller, M., Nirkhe, M., Perlis, D.: Active logics: A unified formal approach to episodic reasoning. Techn. Rep. CS-TR-4072 (1999)"},{"key":"3_CR9","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, pp. 491\u2013501 (1985)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness and limited reasoning. Artificial Intelligence\u00a034, 39\u201376 (1988); A preliminary version appeared in [9]","journal-title":"Artificial Intelligence"},{"key":"3_CR11","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.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J.: Impossible possible worlds vindicated. Journ. of Phil. Logic\u00a04, 475\u2013484 (1975)","journal-title":"Journ. of Phil. Logic"},{"key":"3_CR14","unstructured":"Konolige, K.: A Deduction Model of Belief and its Logics. PhD thesis, Stanford U (1984)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"Levesque, H.J.: All I know: a study in autoepistemic logic. Art. Intell.\u00a042, 263\u2013309 (1990)","journal-title":"Art. Intell."},{"key":"3_CR16","doi-asserted-by":"publisher","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. In: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"3_CR17","unstructured":"Moore, R.C., Hendrix, G.: Computational models of beliefs and the semantics of belief sentences. Technical Note 187, SRI International, Menlo Park, CA (1979)"},{"key":"3_CR18","first-page":"101","volume":"11","author":"A. Moreno","year":"1998","unstructured":"Moreno, A.: Avoiding logical omniscience and perfect reasoning: a survey. AI Communications\u00a011, 101\u2013122 (1998)","journal-title":"AI Communications"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"K.M. Sim","year":"1997","unstructured":"Sim, K.M.: Epistemic logic and logical omniscience: A survey. International Journal of Intelligent Systems\u00a012, 57\u201381 (1997)","journal-title":"International Journal of Intelligent Systems"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691792_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:45:03Z","timestamp":1736286303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691792_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331063","9783540331070"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11691792_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}