{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:23:19Z","timestamp":1776838999875,"version":"3.51.2"},"reference-count":38,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5959,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1016\/s0004-3702(97)00017-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:24:09Z","timestamp":1027643049000},"page":"281-307","source":"Crossref","is-referenced-by-count":5,"title":["A computational approach to George Boole's discovery of mathematical logic"],"prefix":"10.1016","volume":"91","author":[{"given":"Luis","family":"de Ledesma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurora","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Borrajo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis M.","family":"Laita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00017-9_BIB1","series-title":"Working Notes of the AAAI Spring Symposium on Systematic Methods of Scientific Discovery","year":"1995"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB2","author":"Boole","year":"1835"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB3","author":"Boole","year":"1847"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB4","author":"Boole","year":"1851"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB5","author":"Boole","year":"1854"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB6","series-title":"Actas de la Reuni\u00f3n Matem\u00e1tica en Honor de A. Dou","first-page":"341","article-title":"From differential equations to mathematical logic","author":"de Ledesma","year":"1989"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB7","series-title":"Real Academia de Ciencias Exactas, F\u00edsicas y Naturales, Proceedings of the Segundo Curso de Conferencias Sobre Inteligencia Artificial","first-page":"115","article-title":"Descubrimiento cient\u00edfico e inteligencia artificial","author":"de Ledesma","year":"1993"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB8","series-title":"Contra los titanes de la rutina. Contre les titans de la routine. Proceedings of the Congreso Hispano-Franc\u00e9s Sobre la Historia y la Filosof\u00eda de la Matem\u00e1tica","first-page":"287","article-title":"La l\u00f3gica de Boole como consecuencia del m\u00e9todo de separaci\u00f3n de s\u00edmbolos de Gregory Boole. Estudio hist\u00f3rico y su emulaci\u00f3n por computador","author":"de Ledesma","year":"1994"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB9","author":"De Morgan","year":"1847"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB10","author":"De Morgan","year":"1882"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB11","author":"Diagne","year":"1989","journal-title":"Boole: L'Oiseau de Nuit en Plein Jour"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB12_1","first-page":"103","article-title":"Home side of a scientific mind","volume":"91","author":"Everest","year":"1878","journal-title":"The Dublin University Magazine"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB12_2","first-page":"173","article-title":"Home side of a scientific mind","volume":"91","author":"Everest","year":"1878","journal-title":"The Dublin University Magazine"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB12_3","first-page":"327","article-title":"Home side of a scientific mind","volume":"91","author":"Everest","year":"1878","journal-title":"The Dublin University Magazine"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB12_4","first-page":"456","article-title":"Home side of a scientific mind","volume":"91","author":"Everest","year":"1878","journal-title":"The Dublin University Magazine"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB13","unstructured":"Reprinted in Mary Everest Collected Works"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB14","first-page":"232","article-title":"Demonstrations, by the method of separation of symbols of theorems in the differential calculus and calculus of finite differences","volume":"1","author":"Gregory","year":"1838","journal-title":"Cambridge Math. J."},{"key":"10.1016\/S0004-3702(97)00017-9_BIB15","first-page":"1","article-title":"On the elementary principles of the application of algebraic symbols to geometry","volume":"2","author":"Gregory","year":"1839","journal-title":"Cambridge Math. J."},{"key":"10.1016\/S0004-3702(97)00017-9_BIB16","volume":"Vol. 4","author":"Hamilton","year":"1862"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB17","author":"Harley","year":"1886","journal-title":"British Quarterly Review"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB18","unstructured":"Reprinted in: R. Harley, Studies in Logic and Probability. Boole's Collected Logical Works, pp. 425\u2013472."},{"key":"10.1016\/S0004-3702(97)00017-9_BIB19","author":"Kneale","year":"1961"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB20","series-title":"Mathematical Perspectives, Essays on Mathematics and its Historical Development","first-page":"208","article-title":"Symbolik und Formalismus im mathematischen Denken des 19. und beginnenden 20. Jahrhunderts","author":"Knobloch","year":"1981"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB21","doi-asserted-by":"crossref","DOI":"10.1007\/BF00327101","article-title":"The calculus of operations and the rise of abstract algebra","volume":"8","author":"Koppelman","year":"1971","journal-title":"Archive for the History of Exact Sciences"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB22","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1207\/s15516709cog1202_1","article-title":"The processes of scientific discovery: the strategy of experimentation","volume":"12","author":"Kulkarni","year":"1988","journal-title":"Cognitive Sci."},{"key":"10.1016\/S0004-3702(97)00017-9_BIB23","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1080\/00033797700200181","article-title":"The influence of Boole's search for a universal method in analysis on the creation of his logic","author":"Laita","year":"1977","journal-title":"Annals of Science"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB24","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1080\/00033797900200121","article-title":"Influences on Boole's logic. The controversy Hamilton-De Morgan","author":"Laita","year":"1979","journal-title":"Annals of Science"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB25","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1080\/01445348008837004","article-title":"Boolean algebras and its extralogical sources","author":"Laita","year":"1980","journal-title":"History and Philosophy of Logic"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB26","first-page":"425","article-title":"The search for regularity: four aspects of scientific discovery","volume":"2","author":"Langley","year":"1986"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB27","author":"Langley","year":"1987"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB28","series-title":"Proceedings IJCAI-77","article-title":"Automated theory formation in mathematics","author":"Lenat","year":"1977"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB29","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(82)90036-4","article-title":"The nature of heuristics","volume":"19","author":"Lenat","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB30","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0004-3702(83)80005-8","article-title":"A program that learns new heuristics and domain concepts","volume":"21","author":"Lenat","year":"1983","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB31","author":"MacHale","year":"1985"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB32","article-title":"Relationships between algebra, differential equations and logic in England, 1800-1860","author":"Panteki","year":"1991"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB33","article-title":"FRuleKit: A frame-based production system","author":"Shell","year":"1989","journal-title":"User's manual, Internal paper"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB34","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0004-3702(90)90045-2","article-title":"Functional transformations in AI discovery systems","volume":"41","author":"Shen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00017-9_BIB35","author":"Shrager","year":"1990"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000179?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T06:28:29Z","timestamp":1555050509000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0004370297000179"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00017-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}