{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:21Z","timestamp":1725544881351},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424949"},{"type":"electronic","value":"9783540446798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44679-6_62","type":"book-chapter","created":{"date-parts":[[2010,2,9]],"date-time":"2010-02-09T12:00:37Z","timestamp":1265716837000},"page":"561-570","source":"Crossref","is-referenced-by-count":1,"title":["A Logical Framework for Knowledge Sharing in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Kaile","family":"Su","sequence":"first","affiliation":[]},{"given":"Xudong","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Huaiqing","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Chengqi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Shichao","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Qingfeng","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,31]]},"reference":[{"key":"62_CR1","unstructured":"Bond, A. and Gasser, L. (eds): Readings in Distributed Artificial Intelligence, Morgan Kaufman Publishers, 1988."},{"key":"62_CR2","unstructured":"Cohen, P.R. and Levesque, H.J.: Communication actions for artificial agents. In Proc. of the First International Conference on Multi-Agent System, pp. 65\u201372, San Francisco, CA, 1995"},{"key":"62_CR3","unstructured":"FIPA: Specification part 2-Agent communication language. The text refers to the specification dated 23 Oct 1997."},{"key":"62_CR4","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Fibred semantics and the weaving of logics, part 1, modal and intuitionistic logics. Journal of Symbolic Logic, 61 (1996) 1057\u20131120","journal-title":"Journal of Symbolic Logic"},{"key":"62_CR5","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y.: Reasoning about knowledge: a survey. In D. Gabbay et al eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 4. Oxford University Press. pp.1-34, 1995","DOI":"10.1093\/oso\/9780198534532.003.0001"},{"key":"62_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/7.1.79","volume":"7","author":"J.Y. Halpern","year":"1997","unstructured":"Halpern, J.Y.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation.7 (1997) 79\u2013108","journal-title":"Journal of Logic and Computation"},{"key":"62_CR7","series-title":"Lect Notes Comput Sci","first-page":"254","volume-title":"JELIA 2000","author":"d. H. Wiebe van","year":"2000","unstructured":"Wiebe van der Hoek, Jan Jaspars, and Elias Thijisse. A general approach to multiagent. In M. Ojeda-Aciego et al. (Eds.): JELIA 2000, Lecture Notes in Computer Science, Vol. 1919, pages 254\u2013268, Springer-Verlog, Berlin, 2000."},{"key":"62_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. Math. Logik Grundl. Math. 9 (1963) 67\u201396.","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"62_CR9","unstructured":"Lakemeyer, G.: All they know: a study in multi-agent autoepistemic reasoning logic. In Proc. of IJCAI\u201993, pp.376\u2013381, 1993"},{"key":"62_CR10","unstructured":"Lamarre, P. and Shoham, Y.: Knowledge, certainty, belief and conditionalisation. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR\u201994), pp.415\u2013424, 1994"},{"key":"62_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"J. Levesque","year":"1984","unstructured":"Levesque, J.: Foundations of a functional approach to knowledge representation. Artificial Intelligence,23 (1984) 155\u2013212","journal-title":"Artificial Intelligence"},{"key":"62_CR12","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"J. Levesque","year":"1990","unstructured":"Levesque, J.: All I know: a study in autoepistemic logic. Artificial Intelligence, 42 (1990) 263\u2013309","journal-title":"Artificial Intelligence"},{"key":"62_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription: A form of nonmonotonic reasoning. Artificial Intelligence, 13 (1980) 27\u201339","journal-title":"Artificial Intelligence"},{"key":"62_CR14","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/0010-4809(92)90003-S","volume":"25","author":"M.A. Musen","year":"1992","unstructured":"Musen, M.A.: Dimensions of Knowledge Sharing and Reuse. Computers and Biomedical Research, 25(1992) 435\u2013467","journal-title":"Computers and Biomedical Research"},{"key":"62_CR15","unstructured":"Patil, R.S., Fikes, R.E. and Patel-Schneider, P.F. et al. The DARPA Knowledge Sharing Effort: Progress Report. Readings in Agents, M.N. Huhns and M.P. Singh (eds.), Morgan Kaufmann Publishers, INc., pp. 243\u2013254, 1998."},{"key":"62_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning, Artificial Intelligence, 13 (1980) 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"62_CR17","unstructured":"Wooldridge, M.: Verifying that Agents Implement a Communication Language. In Proceedings of AAAI-99, pp. 52\u201357, 1999."}],"container-title":["Lecture Notes in Computer Science","Computing and Combinatorics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44679-6_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,23]],"date-time":"2024-03-23T17:19:31Z","timestamp":1711214371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44679-6_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424949","9783540446798"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44679-6_62","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}