{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:29:16Z","timestamp":1761611356354},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"15","license":[{"start":{"date-parts":[[2014,6,5]],"date-time":"2014-06-05T00:00:00Z","timestamp":1401926400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s11229-014-0496-0","type":"journal-article","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T22:09:38Z","timestamp":1401919778000},"page":"3733-3758","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["A conditional logic for abduction"],"prefix":"10.1007","volume":"191","author":[{"given":"Mathieu","family":"Beirlaen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atocha","family":"Aliseda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,5]]},"reference":[{"key":"496_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-3907-7","volume-title":"Abductive reasoning logical investigations into discovery and explanations","author":"A Aliseda","year":"2006","unstructured":"Aliseda, A. (2006). Abductive reasoning logical investigations into discovery and explanations. Berlin: Springer, Synthese Library."},{"key":"496_CR2","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1093\/jigpal\/jzt005","volume":"21","author":"A Aliseda","year":"2013","unstructured":"Aliseda, A., & Leonides, L. (2013). Hypotheses testing in adaptive logics: An application to medical diagnosis. Logic Journal of the IGPL, 21, 915\u2013930.","journal-title":"Logic Journal of the IGPL"},{"key":"496_CR3","first-page":"49","volume-title":"Frontiers of paraconsistent logic","author":"D Batens","year":"2000","unstructured":"Batens, D. (2000). A survey of inconsistency-adaptive logics. In D. Batens, G. Priest, & J-Pl van Bendegem (Eds.), Frontiers of paraconsistent logic (pp. 49\u201373). Baldock: Research Studies Press, Kings College Publication."},{"key":"496_CR4","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s11787-006-0012-5","volume":"1","author":"D Batens","year":"2007","unstructured":"Batens, D. (2007). A universal logic approach to adaptive logics. Logica Universalis, 1, 221\u2013242.","journal-title":"Logica Universalis"},{"key":"496_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0004-3702(99)00081-8","volume":"116","author":"S Ben-David","year":"2000","unstructured":"Ben-David, S., & Ben-Eliyahu-Zohary, R. (2000). A modal logic for subjective default reasoning. Artificial Intelligence, 116, 217\u2013236.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"496_CR6","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.","journal-title":"Artificial Intelligence"},{"key":"496_CR7","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/s11229-009-9709-3","volume":"180","author":"D Campos","year":"2011","unstructured":"Campos, D. (2011). On the distinction between Peirce\u2019s abduction and Lipton\u2019s inference to the best explanation. Synthese, 180, 419\u2013442.","journal-title":"Synthese"},{"issue":"2","key":"496_CR8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1093\/jigpal\/jzk016","volume":"14","author":"W Carnielli","year":"2006","unstructured":"Carnielli, W. (2006). Surviving abduction. Logic Journal of IGPL, 14(2), 237\u2013256.","journal-title":"Logic Journal of IGPL"},{"key":"496_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"BF Chellas","year":"1975","unstructured":"Chellas, B. F. (1975). Basic conditional logic. Journal of Philosophical Logic, 4, 133\u2013153.","journal-title":"Journal of Philosophical Logic"},{"issue":"3\u20134","key":"496_CR10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1080\/08839510490279870","volume":"18","author":"A Ciampolini","year":"2004","unstructured":"Ciampolini, A., & Torroni, P. (2004). Using abductive logic agents for modeling the judicial evaluation of criminal evidence. Applied Artificial Intelligence, 18(3\u20134), 251\u2013275.","journal-title":"Applied Artificial Intelligence"},{"issue":"6","key":"496_CR11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0933-3657(91)90002-S","volume":"3","author":"L Console","year":"1991","unstructured":"Console, L., & Torasso, P. (1991). On the co-operation between abductive and temporal reasoning in medical diagnosis. Artificial Intelligence in Medicine, 3(6), 291\u2013311.","journal-title":"Artificial Intelligence in Medicine"},{"key":"496_CR12","unstructured":"Douven, I. (2011). Abduction. In E. N. Zalta (Ed), The Stanford Encyclopedia of Philosophy (Spring 2011 ed.). http:\/\/plato.stanford.edu\/cgi-bin\/encyclopedia\/archinfo.cgi?entry=abduction ."},{"key":"496_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-3163-9","volume-title":"Peirce\u2019s theory of abdcution","author":"KT Fann","year":"1970","unstructured":"Fann, K. T. (1970). Peirce\u2019s theory of abdcution. The Hague: Martinus Nijhoff."},{"issue":"14","key":"496_CR14","doi-asserted-by":"crossref","first-page":"593","DOI":"10.2307\/2021966","volume":"55","author":"HG Frankfurt","year":"1958","unstructured":"Frankfurt, H. G. (1958). Peirce\u2019s notion of abduction. The Journal of Philosophy, 55(14), 593\u2013597.","journal-title":"The Journal of Philosophy"},{"key":"496_CR15","doi-asserted-by":"crossref","unstructured":"Gauderis, T. (2013). Modelling abduction in science by means of a modal adaptive logic. Foundations of Science,\u00a018(4), 611\u2013624.","DOI":"10.1007\/s10699-012-9293-8"},{"key":"496_CR16","doi-asserted-by":"crossref","first-page":"88","DOI":"10.2307\/2183532","volume":"74","author":"G Harman","year":"1965","unstructured":"Harman, G. (1965). The inference to the best explanation. Philosophical Review, 74, 88\u201395.","journal-title":"Philosophical Review"},{"key":"496_CR17","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, 503\u2013533.","journal-title":"Peirce Society"},{"key":"496_CR18","first-page":"724","volume-title":"The handbook of pragmatics","author":"Jerry R Hobbs","year":"2008","unstructured":"Hobbs, Jerry R. (2008). Abduction in natural language understanding. In L. Horn & G. Ward (Eds.), The handbook of pragmatics (pp. 724\u2013741). Oxford: Blackwell Publishing Ltd."},{"key":"496_CR19","doi-asserted-by":"crossref","first-page":"570","DOI":"10.2979\/trancharpeirsoc.2010.46.4.570","volume":"46","author":"MHG Hoffmann","year":"2011","unstructured":"Hoffmann, M. H. G. (2011). \u2018Theoric transformations\u2019 and a new classification of abductive inferences. Transactions of the Charles S. Peirce Society, 46, 570\u2013590.","journal-title":"Peirce Society"},{"key":"496_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0004-3702(01)00160-6","volume":"135","author":"JF Horty","year":"2002","unstructured":"Horty, J. F. (2002). Skepticism and floating conclusions. Artificial Intelligence, 135, 55\u201372.","journal-title":"Artificial Intelligence"},{"key":"496_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as defaults","author":"J Horty","year":"2012","unstructured":"Horty, J. (2012). Reasons as defaults. Oxford: Oxford University Press."},{"issue":"6","key":"496_CR22","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1995","unstructured":"Kakas, A. C., Kowalski, R. A., & Toni, F. (1995). Abductive logic programming. Journal of Logic and Computation, 2(6), 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"496_CR23","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1093\/jigpal\/jzq053","volume":"20","author":"H Lycke","year":"2012","unstructured":"Lycke, H. (2012). A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning. Logic Journal of IGPL, 20(2), 497\u2013516.","journal-title":"Logic Journal of IGPL"},{"key":"496_CR24","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1007\/s11229-011-0054-y","volume":"190","author":"A Mackonis","year":"2013","unstructured":"Mackonis, A. (2013). Inference to the best explanation, coherence and other explanatory virtues. Synthese, 190, 975\u2013995.","journal-title":"Synthese"},{"key":"496_CR25","unstructured":"Magnani, L. (Ed.) (2013). Special issue on formal representations in model-based reasoning and abduction. Logic Journal of the IGPL, 21(6), 931\u2013942"},{"key":"496_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8562-0","volume-title":"Abduction, reason, and science: Processes of discovery and explanation","author":"L Magnani","year":"2001","unstructured":"Magnani, L. (2001). Abduction, reason, and science: Processes of discovery and explanation. New York: Kluwer-Plenum."},{"key":"496_CR27","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(91)90061-N","volume":"48","author":"D Makinson","year":"1991","unstructured":"Makinson, D., & Schlechta, K. (1991). Floating conclusions and zombie paths: two deep difficulties in the \u201cdirectly skeptical\u201d approach to defeasible inheritance nets. Artificial Intelligence, 48, 199\u2013209.","journal-title":"Artificial Intelligence"},{"key":"496_CR28","unstructured":"Marquis, P. (1991). Extending abduction from propositional to first-order logic. In Fundamentals of Artificial Intelligence Research (Lecture Notes in Computer Science, Vol. 535), (pp. 141\u2013155). Berlin: Springer-Verlag."},{"key":"496_CR29","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"MC Mayer","year":"1993","unstructured":"Mayer, M. C., & Pirri, F. (1993). First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1, 99\u2013117.","journal-title":"Bulletin of the IGPL"},{"issue":"1","key":"496_CR30","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1093\/jigpal\/4.1.95","volume":"4","author":"MC Mayer","year":"1996","unstructured":"Mayer, M. C., & Pirri, F. (1996). Abduction is not deduction-in-reverse. Logic Journal of the IGPL, 4(1), 95\u2013108.","journal-title":"Logic Journal of the IGPL"},{"key":"496_CR31","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1093\/jigpal\/jzk015","volume":"14","author":"J Meheus","year":"2006","unstructured":"Meheus, J., & Batens, D. (2006). A formal logic for abductive reasoning. Logic Journal of The IGPL, 14, 221\u2013236.","journal-title":"Logic Journal of The IGPL"},{"key":"496_CR32","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-94-007-1180-8_6","volume-title":"Explanation, prediction, and confirmation. New trends and old ones reconsidered","author":"J Meheus","year":"2011","unstructured":"Meheus, J. (2011). A formal logic for the abduction of singular hypotheses. In D. Dieks, W. Gonzalez, S. Hartmann, T. Uebel, & M. Weber (Eds.), Explanation, prediction, and confirmation. New trends and old ones reconsidered (pp. 93\u2013108). Berlin: Springer."},{"issue":"6","key":"496_CR33","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. (2013). An epistemic and dynamic approach to abductive reasoning: Selecting the best explanation. Logic Journal of the IGPL, 21(6), 943\u2013961.","journal-title":"Logic Journal of the IGPL"},{"key":"496_CR34","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1093\/oso\/9780195121377.003.0015","volume-title":"Science, explanation, and rationality: The philosophy of Carl G. Hempel","author":"I Niiniluoto","year":"2000","unstructured":"Niiniluoto, I. (2000). Hempel\u2019s theory of statistical explanation. In J. H. Fetzer (Ed.), Science, explanation, and rationality: The philosophy of Carl G. Hempel (pp. 138\u2013163). Oxford: Oxford University Press."},{"key":"496_CR35","unstructured":"Peirce, C. S. (1932\u20131958). In P. Weiss, C. Hartshorne, & A. W. Burk (Eds.). Collected papers of Charles Sanders Peirce (Vols. 1\u20138). Cambridge, MA: Harvard University Press. (Abbreviated CP)."},{"issue":"7","key":"496_CR36","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.knosys.2004.12.003","volume":"18","author":"H Prendinger","year":"2005","unstructured":"Prendinger, H., & Ishizuka, M. (2005). A creative abduction approach to scientific and knowledge discovery. Knowledge-Based Systems, 18(7), 321\u2013326.","journal-title":"Knowledge-Based Systems"},{"key":"496_CR37","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"key":"496_CR38","doi-asserted-by":"crossref","DOI":"10.1017\/UPO9781844653317","volume-title":"Causation and explanation","author":"S Psillos","year":"2002","unstructured":"Psillos, S. (2002). Causation and explanation. Stocksfield: Acumen Publishing Limited."},{"key":"496_CR39","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/3-540-45632-5_24","volume-title":"Computational logic: Logic programming and beyond","author":"S Psillos","year":"2002","unstructured":"Psillos, S. (2002). Simply the best: a case for abduction. In A. C. Kakas & F. Sadri (Eds.), Computational logic: Logic programming and beyond (pp. 605\u2013625). Berlin: Springer-Verlag."},{"key":"496_CR40","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/B978-044451548-3\/50004-5","volume-title":"General philosophy of science. Focal issues","author":"S Psillos","year":"2007","unstructured":"Psillos, S. (2007). Past and contemporary perspectives on explanation. In T. A. F. Kuipers (Ed.), General philosophy of science. Focal issues (pp. 97\u2013173). Amsterdam: North-Holland Publishers."},{"key":"496_CR41","doi-asserted-by":"crossref","DOI":"10.4324\/9780203169308","volume-title":"Explaining explanation","author":"D-H Ruben","year":"1990","unstructured":"Ruben, D.-H. (1990). Explaining explanation. London\/New York: Routledge."},{"key":"496_CR42","volume-title":"Four decades of scientific explanation","author":"W Salmon","year":"1990","unstructured":"Salmon, W. (1990). Four decades of scientific explanation. Minneapolis, MN: University of Minnesota Press."},{"key":"496_CR43","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-007-9223-4","volume":"164","author":"G Schurz","year":"2008","unstructured":"Schurz, G. (2008). Patterns of abduction. Synthese, 164, 201\u2013234.","journal-title":"Synthese"},{"key":"496_CR44","doi-asserted-by":"crossref","unstructured":"Stra\u00dfer, C. (2014). Trends in Logic.Adaptive Logics for Defeasible Reasoning, Vol. 38. Berlin: Springer.","DOI":"10.1007\/978-3-319-00792-2"},{"issue":"1","key":"496_CR45","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.jal.2010.11.001","volume":"9","author":"C Stra\u00dfer","year":"2011","unstructured":"Stra\u00dfer, C. (2011). A deontic logic framework allowing for factual detachment. Journal of Applied Logic, 9(1), 61\u201380.","journal-title":"Journal of Applied Logic"},{"key":"496_CR46","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1080\/11663081.2012.682450","volume":"22","author":"C Stra\u00dfer","year":"2012","unstructured":"Stra\u00dfer, C. (2012). Adaptively applying modus ponens in conditional logics of normality. Journal of Applied Non-Classical Logic, 22, 125\u2013148.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"496_CR47","doi-asserted-by":"crossref","unstructured":"Thagard, P. (1988). Computational Philosophy of Science. Cambridge, MA: MIT Press.","DOI":"10.7551\/mitpress\/1968.001.0001"},{"key":"496_CR48","unstructured":"Touretzky, D. S., Horty, F. J., & Thomason, R. H., (1987). A clash of intuitions: The current state of nonmonotonic multiple inheritance systems\u2019. In Proceedings of the IJCAl-87 (pp. 476\u2013482). Burlington, MA: Morgan Kaufmann."},{"key":"496_CR49","doi-asserted-by":"crossref","unstructured":"Van De Putte, F., & Stra\u00dfer, C. (2013). Three formats of prioritized adaptive logics: A comparative study. Logic Journal of the IGPL, 22, 127\u2013159.","DOI":"10.1093\/jigpal\/jzs004"},{"key":"496_CR50","doi-asserted-by":"crossref","unstructured":"van Fraassen, B. (1980). The scientific image. Oxford: Clarendon Press.","DOI":"10.1093\/0198244274.001.0001"},{"key":"496_CR51","doi-asserted-by":"crossref","unstructured":"Verd\u00e9e, P. (2009). Adaptive logics using the minimal abnormality strategy are $$\\pi ^1_1$$ \u03c0 1 1 -complex. Synthese, 167, 93\u2013104.","DOI":"10.1007\/s11229-007-9291-5"},{"key":"496_CR52","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF00357696","volume":"35","author":"I Wilson","year":"1979","unstructured":"Wilson, I. (1979). Explanatory and inferential conditionals. Philosophical Studies, 35, 269\u2013278.","journal-title":"Philosophical Studies"},{"key":"496_CR53","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1017\/S175502031100027X","volume":"5","author":"J Woods","year":"2012","unstructured":"Woods, J. (2012). Cognitive economics and the logic of abduction. The Review of Symbolic Logic, 5, 148\u2013161.","journal-title":"The Review of Symbolic Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0496-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0496-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0496-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T09:26:07Z","timestamp":1716801967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0496-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,5]]},"references-count":53,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["496"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0496-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,5]]}}}