{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:11:05Z","timestamp":1737349865970,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430919"},{"type":"electronic","value":"9783540455844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45584-1_6","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:27:55Z","timestamp":1186421275000},"page":"74-85","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about failure"],"prefix":"10.1007","author":[{"given":"L\u00e1szl\u00f3","family":"Aszal\u00f3s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"6_CR1","first-page":"533","volume":"14","author":"L. Aszal\u00f3s","year":"2000","unstructured":"L\u00e1szl\u00f3 Aszal\u00f3s. The Logic of Knights, Knaves, Normals, and Mutes. Acta Cybernetica, 14:533\u2013540, 2000.","journal-title":"Acta Cybernetica"},{"unstructured":"L\u00e1szl\u00f3 Aszal\u00f3s. Said and Can Say in Puzzles of Knights and Knaves. In Proc. Premi\u00e8res Journ\u00e9es Francophones sur les Mod\u00e8les formels pour interaction, Toulouse, May 2001.","key":"6_CR2"},{"doi-asserted-by":"crossref","unstructured":"Luis Fari\u00f1nas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, and Fabio Massacci. Lotrec: The Generic Tableau Prover for Modal and Description Logics (system abstract). In Proc. Int. Joint Conf. on Automated Reasoning (IJCAR\u201901), 2001.","key":"6_CR3","DOI":"10.1007\/3-540-45744-5_38"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Brian F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980."},{"key":"6_CR5","volume-title":"Trust and Deception in Virtual Societies","author":"R. Demolombe","year":"2001","unstructured":"Robert Demolombe. To Trust Information Sources: a proposal for a modal logical framework. In Cristiano Castelfranchi and Yao-Hua Tan, editors, Trust and Deception in Virtual Societies. Kluwer Academic Publishers, Dordrecht, 2001."},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, MA, 1995."},{"unstructured":"Sebastien Konieczny and Ramon Pino Perez. On the logic of merging. In Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 488\u2013498. Morgan Kaufmann, 1998.","key":"6_CR7"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48747-6_22","volume-title":"Proc. 5th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201999)","author":"S. Konieczny","year":"1999","unstructured":"Sebastien Konieczny and Ramon Pino Perez. Merging with integrity constraints. In Proc. 5th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201999), number 1638 in LNCS. Springer, 1999."},{"unstructured":"Churn-Jung Liau. Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust. In Proc. ECAI 2000, 2000.","key":"6_CR9"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1093\/jigpal\/9.2.257","volume":"9","author":"M. Wooldridge","year":"2001","unstructured":"M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception, and Knowledge. In Logic Journal of the IGPL, 9(2):273\u2013288, 2001.","journal-title":"Logic Journal of the IGPL"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45584-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:34:33Z","timestamp":1737347673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45584-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430919","9783540455844"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45584-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}