{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:28Z","timestamp":1761611248884,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042218"},{"type":"electronic","value":"9783642042225"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04222-5_12","type":"book-chapter","created":{"date-parts":[[2009,9,16]],"date-time":"2009-09-16T16:42:11Z","timestamp":1253119331000},"page":"198-213","source":"Crossref","is-referenced-by-count":1,"title":["Taming the Complexity of Temporal Epistemic Reasoning"],"prefix":"10.1007","author":[{"given":"Clare","family":"Dixon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Konev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0057441","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"S. Cerrito","year":"1998","unstructured":"Cerrito, S., Mayer, M.C.: Using linear temporal logic to model and solve planning problems. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol.\u00a01480, pp. 141\u2013152. Springer, Heidelberg (1998)"},{"issue":"7","key":"12_CR2","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem-Proving. Commun. ACM\u00a05(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.jal.2005.08.003","volume":"4","author":"C. Dixon","year":"2006","unstructured":"Dixon, C.: Using Temporal Logics of Knowledge for Specification and Verification\u2013a Case Study. Journal of Applied Logic\u00a04(1), 50\u201378 (2006)","journal-title":"Journal of Applied Logic"},{"doi-asserted-by":"crossref","unstructured":"Dixon, C., Fern\u00e1ndez Gago, M.C., Fisher, M., van der Hoek, W.: Temporal Logics of Knowledge and their Applications in Security. Electronic Notes in Theoretical Computer Science, vol.\u00a0186, pp. 27\u201342 (2007)","key":"12_CR4","DOI":"10.1016\/j.entcs.2006.11.043"},{"key":"12_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-74621-8_11","volume-title":"Frontiers of Combining Systems","author":"C. Dixon","year":"2007","unstructured":"Dixon, C., Fisher, M., Konev, B.: Temporal Logic with Capacity Constraints. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol.\u00a04720, pp. 163\u2013177. Springer, Heidelberg (2007)"},{"key":"12_CR6","volume-title":"Proc. Int. Joint Conference on Artificial Intelligence (IJCAI)","author":"C. Dixon","year":"2007","unstructured":"Dixon, C., Fisher, M., Konev, B.: Tractable Temporal Reasoning. In: Proc. Int. Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, Menlo Park (2007)"},{"key":"12_CR7","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.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R. Fagin","year":"1996","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.: What Can Machines Know? On the Properties of Knowledge in Distributed Systems. Journal of the ACM\u00a039, 328\u2013376 (1996)","journal-title":"Journal of the ACM"},{"key":"12_CR9","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol.\u00a0148. Elsevier Science, Amsterdam (2003)"},{"doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: The Temporal Analysis of Fairness. In: Proc. Seventh ACM Symposium on the Principles of Programming Languages (POPL), January 1980, pp. 163\u2013173 (1980)","key":"12_CR10","DOI":"10.1145\/567446.567462"},{"issue":"3","key":"12_CR11","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. J. ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"J. ACM"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"unstructured":"Janssen, G.: Logics for Digital Circuit Verification: Theory, Algorithms, and Applications. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1999)","key":"12_CR13"},{"key":"12_CR14","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison Wesley Professional, Reading (2003)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-71541-2_2","volume-title":"Swarm Robotics","author":"W. Liu","year":"2007","unstructured":"Liu, W., Winfield, A., Sa, J., Chen, J., Dou, L.: Strategies for energy optimisation in a swarm of foraging robots. In: \u015eahin, E., Spears, W.M., Winfield, A.F.T. (eds.) SAB 2006 Ws 2007. LNCS, vol.\u00a04433, pp. 14\u201326. Springer, Heidelberg (2007)"},{"key":"12_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)"},{"unstructured":"Moore, R.C.: Logic and Representation. Lecture Notes. Center for the Study of Language and Information, CSLI (1994)","key":"12_CR17"},{"unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. First Int. Conference on Multi-Agent Systems (ICMAS), San Francisco, USA, pp. 312\u2013319 (1995)","key":"12_CR18"},{"unstructured":"Schwendimann, S.: Aspects of Computational Logic. PhD thesis, University of Bern, Switzerland (1998)","key":"12_CR19"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1093\/logcom\/3.2.173","volume":"3","author":"W. Hoek van der","year":"1993","unstructured":"van der Hoek, W.: Systems for Knowledge and Beliefs. Journal of Logic and Computation\u00a03(2), 173\u2013195 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR21","series-title":"CSLI Lecture Notes","first-page":"43","volume-title":"Games, Logic, and Constructive Sets","author":"H. Ditmarsch van","year":"2003","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Descriptions of game states. In: Games, Logic, and Constructive Sets. CSLI Lecture Notes, vol.\u00a0161, pp. 43\u201358. CSLI Publications, Stanford (2003)"},{"key":"12_CR22","first-page":"108","volume":"3","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Playing Cards with Hintikka \u2014 An Introduction to Dynamic Epistemic Logic. Australasian Journal of Logic\u00a03, 108\u2013134 (2005)","journal-title":"Australasian Journal of Logic"},{"key":"12_CR23","series-title":"Synthese Library Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol.\u00a0337. Springer, Heidelberg (2007)"},{"issue":"4","key":"12_CR24","doi-asserted-by":"publisher","first-page":"363","DOI":"10.5772\/5769","volume":"2","author":"A. Winfield","year":"2005","unstructured":"Winfield, A., Sa, J., Fern\u00e1ndez-Gago, M.-C., Dixon, C., Fisher, M.: On Formal Specification of Emergent Behaviours in Swarm Robotic Systems. Int. Journal of Advanced Robotic Systems\u00a02(4), 363\u2013370 (2005)","journal-title":"Int. Journal of Advanced Robotic Systems"},{"unstructured":"Wolper, P.: The Tableau Method for Temporal Logic: An Overview. Logique et Analyse, 110\u2013111, 119\u2013136 (June-September 1985)","key":"12_CR25"},{"issue":"3","key":"12_CR26","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M. Wooldridge","year":"1998","unstructured":"Wooldridge, M., Dixon, C., Fisher, M.: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics\u00a08(3), 225\u2013258 (1998)","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04222-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T06:28:25Z","timestamp":1739341705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04222-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042218","9783642042225"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04222-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}