{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:02:30Z","timestamp":1725570150733},"publisher-location":"Dordrecht","reference-count":15,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400701427"},{"type":"electronic","value":"9789400701434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-94-007-0143-4_15","type":"book-chapter","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T22:05:04Z","timestamp":1290549904000},"page":"201-212","source":"Crossref","is-referenced-by-count":0,"title":["Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems"],"prefix":"10.1007","author":[{"given":"\u00c1ngel","family":"Nepomuceno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Soler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atocha","family":"Aliseda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,13]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-3907-7","volume-title":"Abductive Reasoning. Logical Investigation into Discovery and Explanation","author":"A. Aliseda","year":"2006","unstructured":"Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into Discovery and Explanation. Synthese Library\/vol. 330. Dordrecht: Springer."},{"key":"15_CR2","first-page":"25","volume-title":"Fragments of Science: Festschrift for Mendel Sachs","author":"J. Corcoran","year":"1999","unstructured":"Corcoran, J. (1999). Information-theoretic logic and transformation-theoretic logic. In Ram, M. (ed), Fragments of Science: Festschrift for Mendel Sachs, pp. 25\u201335. River Edge, NJ: World Scientific Publishing Co."},{"key":"15_CR3","volume-title":"Aspects of Scientific Explanation and Other Essays in the Philosophy of Science","author":"C. Hempel","year":"1965","unstructured":"Hempel, C. (1965). Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. New York, NY: The Free Press."},{"issue":"3","key":"15_CR4","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":"15_CR5","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Kowalski, R., Toni, F. (1998). The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 235\u2013324. Oxford: Oxford University Press."},{"key":"15_CR6","first-page":"129","volume-title":"Principles of Knowledge Representation","author":"K. Konolidge","year":"1996","unstructured":"Konolige, K. (1996). Abductive theories in artificial intelligence. In Brewka, G. (ed), Principles of Knowledge Representation, pp. 129\u2013152. Stanford, CA: CSLI Publications."},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0004-3702(96)00032-X","volume":"89","author":"J. Lobo","year":"1997","unstructured":"Lobo, J., Uzcategui, C. (1997). Abductive consequence relations, Artificial Intelligence, 89, 149\u2013171.","journal-title":"Artificial Intelligence"},{"key":"15_CR8","volume-title":"Bridges from Classical to Nonmonotonic Logic","author":"D. Makinson","year":"2005","unstructured":"Makinson, D. (2005). Bridges from Classical to Nonmonotonic Logic. London: King\u2019s College."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"M. C. 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"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-94-010-0550-0_9","volume-title":"Logical and Computational Aspects of Model-Based Reasoning","author":"A. Nepomuceno","year":"2002","unstructured":"Nepomuceno, A. (2002). Scientific explanation and modified semantic tableaux. In Magnani, L., Nerssessian, N., Pizzi C. (eds), Logical and Computational Aspects of Model-Based Reasoning, pp. 181\u2013198. Applied Logic Series. Dordrecht: Kluwer Academic Publishers."},{"key":"15_CR11","volume-title":"Proceedings of Symposium in Honour of John Corcoran","author":"A Nepomuceno","year":"2007","unstructured":"Nepomuceno, A. (2007). Information and logic. In Proceedings of Symposium in Honour of John Corcoran. Spain: Universidad de Santiago de Compostela."},{"key":"15_CR12","unstructured":"Peirce, C. S. (1931\u20131935). Collected Papers of Charles Sanders Peirce, 1\u20136 vols. In Hartshorne, C., Weiss, P. (eds), Cambridge: Harvard University Press; and vols. 7\u20138, edited by A. W. Burks, Cambridge, Harvard University Press."},{"volume-title":"Substructural Logics","year":"1999","key":"15_CR14","unstructured":"Schroeder-Heister, P., Do\u015ben, K. (eds), (1999). Substructural Logics. Oxford: Oxford Science Publications."},{"issue":"2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/jigpal\/jzk020","volume":"14","author":"F. Soler-Toscano","year":"2006","unstructured":"Soler-Toscano, F., Nepomuceno-Fern\u00e1ndez, A., Aliseda-Llera, A. (2006). Model based abduction via dual resolution, Logic Journal of the IGPL 14(2), 305\u2013319.","journal-title":"Logic Journal of the IGPL"},{"key":"15_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1968.001.0001","volume-title":"Computational Philosophy of Science","author":"P. Thagard","year":"1988","unstructured":"Thagard, P. (1988). Computational Philosophy of Science. Cambridge, MA: The MIT Press."}],"container-title":["Otto Neurath and the Unity of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-0143-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T12:37:14Z","timestamp":1711975034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-0143-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,13]]},"ISBN":["9789400701427","9789400701434"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-0143-4_15","relation":{},"subject":[],"published":{"date-parts":[[2010,11,13]]}}}