{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T13:10:52Z","timestamp":1689081052521},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,3,25]],"date-time":"2014-03-25T00:00:00Z","timestamp":1395705600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10849-014-9192-1","type":"journal-article","created":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T09:21:09Z","timestamp":1395652869000},"page":"141-168","source":"Crossref","is-referenced-by-count":7,"title":["Generation and Selection of Abductive Explanations for Non-Omniscient Agents"],"prefix":"10.1007","volume":"23","author":[{"given":"Fernando","family":"Soler-Toscano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,25]]},"reference":[{"key":"9192_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-3907-7","volume-title":"Abductive reasoning. Logical investigations into discovery and explanation, synthese library series","author":"A Aliseda","year":"2006","unstructured":"Aliseda, A. (2006). Abductive reasoning. Logical investigations into discovery and explanation, synthese library series (Vol. 330). Berlin: Springer."},{"key":"9192_CR2","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the foundations of game and decision theory (LOFT7), texts in logic and games, vol. 3, (pp. 13\u201360). Amsterdam University Press."},{"key":"9192_CR3","unstructured":"Boissier, O., Seghrouchni, A. E. F., Hassas, S., Maudet, N. (eds). (2010). Proceedings of the multi-agent logics, languages, and organisations federated workshops (MALLOW 2010), vol. 627, CEUR Workshop Proceedings, Lyon, France."},{"key":"9192_CR4","unstructured":"Boutilier, C. (1994). Toward a logic for qualitative decision theory. In J. Doyle, E. Sandewall, & P. Torasso (Eds.), KR 94 (pp. 75\u201386). Bonn, Germany: Morgan Kaufmann."},{"issue":"1","key":"9192_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(94)00025-V","volume":"77","author":"C Boutilier","year":"1995","unstructured":"Boutilier, C., & Becher, V. (1995). Abduction as belief revision. Artificial Intelligence, 77(1), 43\u201394. doi: 10.1016\/0004-3702(94)00025-V .","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9192_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1988","unstructured":"Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39\u201376. doi: 10.1016\/0004-3702(87)90003-8 .","journal-title":"Artificial Intelligence"},{"key":"9192_CR7","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P. (Ed.). (1992). Belief revision. no. 29 in Cambridge tracts in theoretical computer science. Cambridge: Cambridge Press.","DOI":"10.1017\/CBO9780511526664"},{"key":"9192_CR8","first-page":"67","volume-title":"Logic, language and computation","author":"J Gerbrandy","year":"1999","unstructured":"Gerbrandy, J. (1999). Dynamic epistemic logic. In L. S. Moss, J. Ginzburg, & M. de Rijke (Eds.), Logic, language and computation (Vol. 2, pp. 67\u201384). Stanford, CA: CSLI Publications."},{"key":"9192_CR9","doi-asserted-by":"crossref","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F. R. (2009). Twelve Angry Men: A study on the fine-grain of announcements. In: X. He, J. F. Horty, E. Pacuit (eds.) LORI, Springer, lecture notes in computer science, vol. 5834, pp. 147\u2013160. doi: 10.1007\/978-3-642-04893-7_12 .","DOI":"10.1007\/978-3-642-04893-7_12"},{"issue":"2","key":"9192_CR10","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17(2), 157\u2013170. doi: 10.1007\/BF00247909 .","journal-title":"Journal of Philosophical Logic"},{"key":"9192_CR11","unstructured":"Hartshorne, C., Weiss, P. (eds). (1934). Collected papers of Charles S. Peirce, vol. V: Pragmatism and pramaticism. Harvard Universit Press, Cambridge."},{"key":"9192_CR12","volume-title":"Knowledge and belief: An introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Ithaca, NY: Cornell University Press."},{"issue":"3","key":"9192_CR13","first-page":"503","volume":"34","author":"J Hintikka","year":"1998","unstructured":"Hintikka, J. (1998). What is abduction? The fundamental problem of contemporary epistemology. Transactions of the Charles S Peirce Society, 34(3), 503\u2013533.","journal-title":"Transactions of the Charles S Peirce Society"},{"key":"9192_CR14","unstructured":"Holliday, W. H., & Icard, T. F. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in modal logic (pp. 178\u2013199) College Publications."},{"key":"9192_CR15","unstructured":"Jago, M. (2006). Rule-based and resource-bounded: A new look at epistemic logic. In T. \u00c5gotnes & N. Alechina (Eds.), Proceedings of the workshop on logics for resource-bounded agents, organized as part of the 18th European summer school on logic, language and information (ESSLLI) (pp. 63\u201377). Spain: Malaga."},{"key":"9192_CR16","doi-asserted-by":"crossref","unstructured":"Kraus, S., & Lehmann, D. J. (1986). Knowledge, belief and time. In: L. Kott (ed.) ICALP, Springer, lecture notes in computer science, vol. 226, pp. 186\u2013195.","DOI":"10.1007\/3-540-16761-7_68"},{"key":"9192_CR17","unstructured":"Levesque, H. J. (1984). A logic of implicit and explicit belief. In: Proceedings of AAAI-84, Austin, TX, pp. 198\u2013202."},{"key":"9192_CR18","volume-title":"Inference to the best explanation","author":"P Lipton","year":"1991","unstructured":"Lipton, P. (1991). Inference to the best explanation. New York: Routledge."},{"issue":"1","key":"9192_CR19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/jigpal\/11.1.69","volume":"11","author":"D Makinson","year":"2003","unstructured":"Makinson, D. (2003). Bridges between classical and nonmonotonic logic. Logic Journal of the IGPL, 11(1), 69\u201396.","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"9192_CR20","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1093\/jigpal\/jzt013","volume":"21","author":"A Nepomuceno-Fern\u00e1ndez","year":"2013","unstructured":"Nepomuceno-Fern\u00e1ndez, A., Soler-Toscano, F., & Vel\u00e1zquez-Quesada, F. R. (2013). An epistemic and dynamic approach to abductive reasoning: Selecting the best explanation. Logic Journal of IGPL, 21(6), 943\u2013961. doi: 10.1093\/jigpal\/jzt013 .","journal-title":"Logic Journal of IGPL"},{"key":"9192_CR21","unstructured":"Peirce, C. S. (1911). A letter to J. H. Kehler, nem 3:203\u2013204, 1911. Available at http:\/\/www.helsinki.fi\/science\/commens\/terms\/retroduction.html ."},{"key":"9192_CR22","unstructured":"Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems, Oak Ridge National Laboratory, ORNL\/DSRD-24, Tennessee, USA, pp. 201\u2013216."},{"key":"9192_CR23","doi-asserted-by":"crossref","unstructured":"Segerberg, K. (2001). The basic dynamic doxastic logic of AGM. In: Williams and Rott (2001), pp. 57\u201384.","DOI":"10.1007\/978-94-015-9817-0_3"},{"key":"9192_CR24","unstructured":"Soler-Toscano, F., & Vel\u00e1zquez-Quesada, F. R. (2010). Abduction for (non-omniscient) agents. In: Boissier et al. (2010)."},{"issue":"1","key":"9192_CR25","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s11098-005-4062-y","volume":"128","author":"R Stalnaker","year":"2006","unstructured":"Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128(1), 169\u2013199. doi: 10.1007\/s11098-005-4062-y .","journal-title":"Philosophical Studies"},{"key":"9192_CR26","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2), 129\u2013155.","DOI":"10.3166\/jancl.17.129-155"},{"key":"9192_CR27","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511974533"},{"key":"9192_CR28","doi-asserted-by":"crossref","unstructured":"van Benthem, J., & Vel\u00e1zquez-Quesada, F. R. (2010). The dynamics of awareness. Synthese (Knowledge, Rationality and Action), 177(1), 5\u201327. doi: 10.1007\/s11229-010-9764-9 .","DOI":"10.1007\/s11229-010-9764-9"},{"key":"9192_CR29","doi-asserted-by":"crossref","unstructured":"van der Hoek, W. (1993). Sytems for knowledge and belief. Journal of Logic and Computation, 3(2), 173\u2013195.","DOI":"10.1093\/logcom\/3.2.173"},{"key":"9192_CR30","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese, 147(2), 229\u2013275. doi: 10.1007\/s11229-005-1349-7 .","DOI":"10.1007\/s11229-005-1349-7"},{"key":"9192_CR31","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic, synthese library series, vol. 337 Berlin: Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9192_CR32","first-page":"293","volume-title":"TARK","author":"MY Vardi","year":"1986","unstructured":"Vardi, M. Y. (1986). On epistemic logic and logical omniscience. In J. Y. Halpern (Ed.), TARK (pp. 293\u2013305). San Francisco, CA: Morgan Kaufmann Publishers Inc."},{"key":"9192_CR33","unstructured":"Vel\u00e1zquez-Quesada, F. R. (2010). Dynamic epistemic logic for implicit and explicit beliefs. In: Boissier et al. (2010)."},{"issue":"4","key":"9192_CR34","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/j.jal.2013.07.002","volume":"11","author":"FR Vel\u00e1zquez-Quesada","year":"2013","unstructured":"Vel\u00e1zquez-Quesada, F. R., Soler-Toscano, F., & Nepomuceno-Fern\u00e1ndez, A. (2013). An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. Journal of Applied Logic, 11(4), 505\u2013522. doi: 10.1016\/j.jal.2013.07.002 .","journal-title":"Journal of Applied Logic"},{"key":"9192_CR35","unstructured":"Voorbraak, F. (1993). As far as I know: Epistemic logic and uncertainty. PhD thesis, Utretch University, Utretch, The Netherlands."},{"key":"9192_CR36","doi-asserted-by":"crossref","unstructured":"Williams, M. A., & Rott, H. (Eds.). (2001). Frontiers in belief revision. No. 22 in applied logic series. Dordrecht: Kluwer.","DOI":"10.1007\/978-94-015-9817-0"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9192-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9192-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9192-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T12:33:35Z","timestamp":1689078815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9192-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,25]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9192"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9192-1","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,25]]}}}