{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:11:13Z","timestamp":1725455473760},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625070"},{"type":"electronic","value":"9783540680574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0013581","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T02:22:38Z","timestamp":1131848558000},"page":"117-130","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification of beliefs in multi-agent systems"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Benerecetti","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71\u201385. Springer Verlag, 1995. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.","DOI":"10.1007\/3-540-58855-8_4"},{"key":"13_CR2","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57\u201364, 1996. Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"P.R. Cohen and H.J. Levesque. Intention Is Choice with Commitment. Artificial Intelligence, 42:213\u2013261,1990.","journal-title":"Artificial Intelligence"},{"key":"13_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":"13_CR5","unstructured":"F. Giunchiglia. Multilanguage systems. In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. Also IRST-Technical Report 9011-17, IRST, Trento, Italy."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"F. Giunchiglia and E. Giunchiglia. Ideal and Real Belief about Belief: Some intuitions. In Agents Breaking Away, Proc. MAAMAW'96, number 1038 in Lecture Notes in Artificial Intelligence, pages 1\u201312. Springer Verlag, 1996.","DOI":"10.1007\/BFb0031842"},{"key":"13_CR7","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. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.","journal-title":"Artificial Intelligence"},{"key":"13_CR8","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. Also IRST-Technical Report 9206-03, IRST, Trento, Italy."},{"key":"13_CR9","volume-title":"A deduction model of belief","author":"K. Konolige","year":"1986","unstructured":"K. Konolige. A deduction model of belief. Pitman, London, 1986."},{"key":"13_CR10","unstructured":"K. Konolige. Explanatory Belief Ascription: notes and premature formalization. In Proc of the third Conference on Theoretical Aspects of Reasoning about Knowledge, pages 85\u201396, 1990."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1111\/j.1467-8640.1988.tb00282.x","volume":"4","author":"A. Lansky","year":"1988","unstructured":"A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319\u2013339, 1988.","journal-title":"Computational Intelligence"},{"key":"13_CR12","volume-title":"Lecture Notes in Artificial Intelligence","author":"A. Lomuscio","year":"1996","unstructured":"A. Lomuscio and M. Colombetti. QLB: a quantified logic for belief. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"13_CR13","unstructured":"M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 254\u2013260, 1996."},{"key":"13_CR14","unstructured":"J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense \u2014 Papers by John McCarthy, pages 158\u2013166. Ablex Publishing Corporation, 1990."},{"key":"13_CR15","unstructured":"J. McCarthy. Notes on Formalizing Context. Unpublished, 1991."},{"key":"13_CR16","volume-title":"Lecture Notes in Artificial Intelligence","author":"P. Noriega","year":"1996","unstructured":"P. Noriega and C. Sierra. Towards layered dialogical agents. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."},{"key":"13_CR17","volume-title":"Natural Deduction \u2014 A proof theoretical study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction \u2014 A proof theoretical study. Almquist and Wiksell, Stockholm, 1965."},{"key":"13_CR18","unstructured":"A. S. Rao and M. Georgeff. BDI-Agents, from Theory to Practice. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 312\u2013319, 1996."},{"key":"13_CR19","unstructured":"A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principle of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1991."},{"key":"13_CR20","volume-title":"Lecture Notes in Artificial Intelligence","author":"M. J. Wooldridge","year":"1996","unstructured":"M. J. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J. P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III \u2014 Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents III Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/BFb0013581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T16:53:48Z","timestamp":1586537628000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/BFb0013581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625070","9783540680574"],"references-count":20,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/bfb0013581","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}