{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:28Z","timestamp":1749725008608,"version":"3.32.0"},"reference-count":24,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5814,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1002\/(sici)1098-111x(199910)14:10<1021::aid-int5>3.0.co;2-e","type":"journal-article","created":{"date-parts":[[2004,11,14]],"date-time":"2004-11-14T16:49:26Z","timestamp":1100450966000},"page":"1021-1040","source":"Crossref","is-referenced-by-count":2,"title":["Formal specification of beliefs in multi-agent systems"],"prefix":"10.1155","volume":"14","author":[{"given":"Massimo","family":"Benerecetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Villafiorita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB2","volume-title":"2nd International Conference on Principle of Knowledge Representation and Reasoning","author":"Rao","year":"1991","unstructured":"; In 2nd International Conference on Principle of Knowledge Representation and Reasoning, ; ; Eds.; Morgan Kaufmann Publishers, 1991."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB3","first-page":"254","volume-title":"1st Int Conference on Multi-Agent Systems (ICMAS-95)","author":"Luck","year":"1996","unstructured":"; 1st Int Conference on Multi-Agent Systems (ICMAS-95); 1996, pp 254-260."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB4","volume-title":"Knowledge and Belief","author":"Hintikka","year":"1962","unstructured":"Knowledge and Belief; Cornell University Press: Ithaca, NY, 1962."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"Fagin","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"Giunchiglia","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB7","first-page":"548","volume-title":"13th International Joint Conference on Artificial Intelligence","author":"Giunchiglia","year":"1993","unstructured":"; ; ; 13th International Joint Conference on Artificial Intelligence, Chambery, France, 1993, pp 548-554. Also IRST-Technical Report 9206-03, IRST: Trento, Italy."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB8","series-title":"Lecture Notes","first-page":"1","volume-title":"MAAMAW'96, number 1038","author":"Giunchiglia","year":"1996","unstructured":"; MAAMAW'96, number 1038 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1996, pp 1-12."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB9","series-title":"number 890 in","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/3-540-58855-8_4","volume-title":"Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages","author":"Cimatti","year":"1995","unstructured":"; In Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, and Eds., number 890 in Lecture Notes in Computer Science; Springer Verlag, 1995, pp 71-85. Also IRST-Technical Report 9312-01, IRST, Trento, Italy."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB10","first-page":"57","volume-title":"1st Int. Conference on Multi-Agent Systems (ICMAS-95)","author":"Cimatti","year":"1996","unstructured":"; 1st Int. Conference on Multi-Agent Systems (ICMAS-95), 1996, pp 57-64. Also IRST-Technical Report 9412-09, IRST: Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB11","volume-title":"AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning","author":"Giunchiglia","year":"1991","unstructured":"AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. Also IRST-Technical Report 9011-17, IRST, Trento, Italy."},{"year":"1991","author":"McCarthy","key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB12","unstructured":"Notes on Formalizing Context. Unpublished, 1991."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB13","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1111\/j.1467-8640.1988.tb00282.x","volume":"4","author":"Lansky","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB14","volume-title":"A deduction model of belief","author":"Konolige","year":"1986","unstructured":"A deduction model of belief; Pitman: London, 1986."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB15","volume-title":"Natural Deduction?A proof theoretical study","author":"Prawitz","year":"1965","unstructured":"Natural Deduction?A proof theoretical study; Almquist and Wiksell: Stockhom, 1965."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB16","first-page":"158","volume-title":"Formalizing Common Sense?Papers by John McCarthy","author":"McCarthy","year":"1990","unstructured":"In Formalizing Common Sense?Papers by John McCarthy; Ed.; Ablex Publishing Corporation, 1990, pp 158-166."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin","year":"1995","unstructured":"; ; ; Reasoning about knowledge. MIT Press, 1995."},{"year":"1996","author":"Giunchiglia","key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB18","unstructured":"; A Local Models Semantics for Modal Logics. Technical Report 9607-13; IRST: Trento, Italy, 1996."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB19","first-page":"312","volume-title":"1st Int Conference on Multi-Agent Systems (ICMAS-95)","author":"Rao","year":"1996","unstructured":"; 1st Int Conference on Multi-Agent Systems (ICMAS-95), 1996, pp 312-319."},{"year":"1984","author":"Levesque","key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB20","unstructured":"AAAI-84, 1984, pp 198-202."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB21","first-page":"359","volume-title":"Formal Theories of the Commonsense World","author":"Konolige","year":"1985","unstructured":"In Formal Theories of the Commonsense World, ; Eds.; Ablex Publishing Corporation, 1985, pp 359-403."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB22","volume-title":"Computational Methods of Beliefs and the Semantic of Belief Sentences. Technical Note","author":"Moore","year":"1979","unstructured":"; Computational Methods of Beliefs and the Semantic of Belief Sentences. Technical Note, SRI International: Menlo Park, CA, 1979."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB23","first-page":"39","volume-title":"IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France","author":"Giunchiglia","year":"1993","unstructured":"IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp 39-49. Also IRST-Technical Report 9211-20, IRST: Trento, Italy."},{"key":"10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E-BIB24","first-page":"85","volume-title":"Third Conference on Theoretical Aspects of Reasoning about Knowledge","author":"Konolige","year":"1990","unstructured":"Third Conference on Theoretical Aspects of Reasoning about Knowledge; 1990, pp 85-96."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1098-111X(199910)14:10%3C1021::AID-INT5%3E3.0.CO;2-E","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1098-111X(199910)14:10%3C1021::AID-INT5%3E3.0.CO;2-E","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T01:42:55Z","timestamp":1734658975000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1098-111X(199910)14:10<1021::AID-INT5>3.0.CO;2-E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":24,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1999,10]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1098-111x(199910)14:10<1021::aid-int5>3.0.co;2-e","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"type":"print","value":"0884-8173"},{"type":"electronic","value":"1098-111X"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}