{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:13Z","timestamp":1725573073946},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540252368"},{"type":"electronic","value":"9783540322757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32275-7_36","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T21:14:41Z","timestamp":1292879681000},"page":"544-559","source":"Crossref","is-referenced-by-count":0,"title":["Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals"],"prefix":"10.1007","author":[{"given":"Jamshid","family":"Bagherzadeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Arun-Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"36_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron, C., Gardenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"36_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multi-agent systems. Journal of Logic and Computation\u00a08(3), 401\u2013424 (1998)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"36_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1015057926707","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., De Rijke, M.: Combinations of modal logics. Artif. Intell. Rev.\u00a017(1), 1\u201320 (2002)","journal-title":"Artif. Intell. Rev."},{"key":"36_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"2-3","key":"36_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"36_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0004-3702(02)00196-0","volume":"139","author":"C. Dixon","year":"2002","unstructured":"Dixon, C., Fisher, M., Bolotov, A.: Clausal resolution in a logic of rational agency. Artif. Intell.\u00a0139(1), 47\u201389 (2002)","journal-title":"Artif. Intell."},{"issue":"1","key":"36_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/371282.371311","volume":"2","author":"M. Fisher","year":"2001","unstructured":"Fisher, M., Dixon, C., Peim, M.: Clausal temporal resolution. ACM Trans. Coput. Logic\u00a02(1), 12\u201356 (2001)","journal-title":"ACM Trans. Coput. Logic"},{"key":"36_CR8","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof methods for modal and intuitionistic logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof methods for modal and intuitionistic logics. Synthese Library, vol.\u00a0169. D. Reidel, Dordrecht (1983)"},{"key":"36_CR9","first-page":"196","volume-title":"Proccedings of KR","author":"A.M. Frisch","year":"1991","unstructured":"Frisch, A.M., Scherl, R.B.: A general framework for modal deduction. In: Proccedings of KR, pp. 196\u2013207. Morgan Kaufmann, San Francisco (1991)"},{"issue":"2","key":"36_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality+compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"36_CR11","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"key":"36_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R. Gore","year":"1999","unstructured":"Gore, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D., Haehnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"36_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"36_CR14","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1145\/544862.544954","volume-title":"Proc. first Int. joint Conf. on Autonomous agents and multiagent systems","author":"A. Herzig","year":"2002","unstructured":"Herzig, A., Longin, D.: A logic of intention with cooperation principles and with assertive speech acts as communication primitives. In: Proc. first Int. joint Conf. on Autonomous agents and multiagent systems, pp. 920\u2013927. ACM Press, New York (2002)"},{"unstructured":"Kripke, S.A.: Semantical considerations on modal logic. In: A Colloquium on Modal and Many-Valued Logics, Helsinki (1962)","key":"36_CR15"},{"key":"36_CR16","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF00485649","volume":"34","author":"I. Levi","year":"1977","unstructured":"Levi, I.: Subjunctive, dispositions and chances. Synthese\u00a034, 423\u2013455 (1977)","journal-title":"Synthese"},{"issue":"3","key":"36_CR17","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1006155811656","volume":"24","author":"F. Massacci","year":"2000","unstructured":"Massacci, F.: Single step tableaux for modal logics. Journal of Automated Reasoning\u00a024(3), 319\u2013364 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"36_CR18","first-page":"319","volume-title":"Formal Theories of the Commonsense World","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: A formal theory of knowledge and action. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, pp. 319\u2013358. Ablex, Norwood (1985)"},{"issue":"5","key":"36_CR19","doi-asserted-by":"publisher","first-page":"691746","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H.J. Ohlbach","year":"1991","unstructured":"Ohlbach, H.J.: Semantics-based translation methods for modal logics. Journal of Logic and Computation\u00a01(5), 691746 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"36_CR20","first-page":"462","volume-title":"Proc. Third Int. Conf. on Principles of knowledge Representation and Reasoning (KR 1992)","author":"M.D. Sadek","year":"1992","unstructured":"Sadek, M.D.: A study in the logic of intention. In: Nebel, B., Rich, C., Swartout, W. (eds.) Proc. Third Int. Conf. on Principles of knowledge Representation and Reasoning (KR 1992), pp. 462\u2013473. Morgan Kaufmann Publisher, San Francisco (1992)"},{"issue":"1","key":"36_CR21","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: A generalization of intuitionistic and modal logics. In: Leblanc, H. (ed.) Truth, Syntax and Modality, Amsterdam, pp. 274\u2013293 (1973)","key":"36_CR22","DOI":"10.1016\/S0049-237X(08)71543-X"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32275-7_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:46:58Z","timestamp":1620013618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32275-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540252368","9783540322757"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32275-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}