{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T14:59:20Z","timestamp":1759935560048,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664321"},{"type":"electronic","value":"9783540483151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48315-2_12","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:51:21Z","timestamp":1187268681000},"page":"145-158","source":"Crossref","is-referenced-by-count":8,"title":["Modelling (Un)Bounded Beliefs"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Ghidini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,12,6]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and Resource-Bounded Practical Reasoning. Computational Intelligence, 4(4), 1988.","DOI":"10.1111\/j.1467-8640.1988.tb00284.x"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal Logic \u2014 an Introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"A. Cimatti and L. Serafini. Mechanizing Multi-Agent Reasoning with Belief Confitexts. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR\u201996, number 1085 in Lecture Notes in Artificial Intelligence, pages 694\u2013696. Springer, 1996.","DOI":"10.1007\/3-540-61313-7_111"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J.Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"12_CR6","unstructured":"M. Fisher and C. Ghidini. Programming Resource-Bounded Deliberative Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999), 1999. To appear."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR\u201996, number 1085 in Lecture Notes in Artificial Intelligence, pages 261\u2013275. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61313-7_78"},{"key":"12_CR8","first-page":"363","volume-title":"Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97)","author":"F. Giunchiglia","year":"1997","unstructured":"F. Giunchiglia and C. Ghidini. A Local Models Semantics for Propositional Attitudes. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 363\u2013372, Rio de Jeneiro, Brazil, 1997."},{"key":"12_CR9","unstructured":"F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 282\u2013289, Trento, 1998. Morgan Kaufmann."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29\u201370, 1994.","journal-title":"Artificial Intelligence"},{"key":"12_CR11","unstructured":"F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548\u2013554, Chambery, France, 1993."},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0004-3702(86)90051-2","volume":"28","author":"A. R. Haas","year":"1986","unstructured":"A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245\u2013292, 1986.","journal-title":"Artificial Intelligence"},{"key":"12_CR13","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"J. Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4:475\u2013484, 1975.","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR15","unstructured":"I.A. Langevelde, van, A.W. Philipsen, and J. Treur. A Compositional Architecture for Simple Design Formally Specified in DESIRE. In J. Treur and T. Wetter, editors, Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"F. Massacci. Strongly analytic tableaux for normal modal logics. In Proc. of the 12th Conference on Automated Deduction, 1994.","DOI":"10.1007\/3-540-58156-1_52"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1002\/int.4550060304","volume":"6","author":"J. Treur","year":"1991","unstructured":"J. Treur. On the Use of Reflection Principles in Modelling Complex Reasoning. Internation Journal of Intelligent Systems, 6:277\u2013294, 1991.","journal-title":"Internation Journal of Intelligent Systems"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48315-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T11:44:10Z","timestamp":1737373450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48315-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664321","9783540483151"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48315-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}