{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:51Z","timestamp":1725493191837},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_17","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"198-210","source":"Crossref","is-referenced-by-count":7,"title":["On Fibring Semantics for BDI Logics"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vineet","family":"Padmanabhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"M.E. Bratman, D.J. Israel, and M.E Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349\u2013355, 1988.","journal-title":"Computational Intelligence"},{"key":"17_CR2","unstructured":"L. Catach. Normal multimodal logics. In In Proc. National Conference on AI(AAAI-88), pages 491\u2013495, 1988."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"17_CR4","first-page":"203","volume":"1037","author":"K. Fischer","year":"1996","unstructured":"K. Fischer and Muller J. P. & Pischel M. A pragmatic BDI architecture. In Intelligent Agents II, LNAI-1037, volume 1037, pages 203\u2013218. Springer-Verlag, 1996.","journal-title":"Intelligent Agents II"},{"key":"17_CR5","volume-title":"Norms, Logics And Information Systems","author":"D. M. Gabbay","year":"1999","unstructured":"D. M. Gabbay and G. Governatori. Dealing with label dependent deontic modalities. In Norms, Logics And Information Systems. IOS Press, Amsterdam, 1999."},{"key":"17_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503811.001.0001","volume-title":"Fibring Logics","author":"D. M. Gabbay","year":"1998","unstructured":"D. M. Gabbay. Fibring Logics. Oxford University Press, Oxford, 1998."},{"key":"17_CR7","unstructured":"M. George. and F. Ingrand. Decision making in an embedded reasoning system. In In proc. of the International Joint Conference on Artificial Intelligence-IJCAI, pages 972\u2013978, 1989."},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. The Journal of Symbolic Logic, 56(4):1469\u20131485, 1991.","journal-title":"The Journal of Symbolic Logic"},{"key":"17_CR9","unstructured":"M. Kracht. Tools and Techniques for Modal Logics. Elsevier, 1999."},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","volume":"31","author":"E.J. Lemmon","year":"1966","unstructured":"E.J. Lemmon. Algebraic semantics for modal logic II. Journal of Symbolic Logic, 31:191\u2013218, June 1966.","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/088395102753365771","volume":"16","author":"F. Baader","year":"2002","unstructured":"Franz Baader & Carsten Lutz, Holger Sturn, and Frank Wolter. Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research, 16:1\u201358, 2002.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"17_CR12","unstructured":"Lin Padgham and Patrick Lambrix. Agent capabilities: Extending bdi theory. In Proccedings of AAAI-2000, Austin, Texas, USA, pages 68\u201373. AAAI\/MIT Press, 2000."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Vineet Padmanabhan, Guido Governatori, and Abdul Sattar. Actions made explicit in BDI. In AI 2001: Advances in Artificial Intelligence, LNAI-2256. Springer Verlag, 2001.","DOI":"10.1007\/3-540-45656-2_34"},{"key":"17_CR14","unstructured":"A.S. Rao and George. M.P. Modelling rational agents within a bdi-architecture. In Principles of Knowledge Representation and Reasoning (KR\u201991). Morgan Kaufmann, 1991."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"A. S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In Intelligent Agents Volume II, LNAI-1037, pages 33\u201348. Springer-Verlag, 1996.","DOI":"10.1007\/3540608052_57"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent oriented programming. Artificial Intelligence, 60:51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"17_CR17","unstructured":"Munindar P. Singh. Semantical considerations on intention dynamics for bdi agents. Journal of Experimental and Theoretical Artificial Intelligence, 1998."},{"key":"17_CR18","unstructured":"B. Van Linder. Modal Logic for Rational Agents. PhD thesis, Department of Computer Science, Utrecht University, 19th June 1996."},{"key":"17_CR19","unstructured":"Frank Wolter. Fusions of modal logics revisited. In Advances in Modal Logic, volume 1. CSLI Lecture notes 87, 1997."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T15:29:39Z","timestamp":1708270179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}