{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T14:09:59Z","timestamp":1777385399802,"version":"3.51.4"},"publisher-location":"Cham","reference-count":382,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030061630","type":"print"},{"value":"9783030061647","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_1","type":"book-chapter","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T22:03:20Z","timestamp":1588889000000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Elements for a History of Artificial Intelligence"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Marquis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"1_CR1","unstructured":"Abraham M, Gabbay DM, Hazut G, Maruvka YE, Schild U (2010) Studies in talmudic logic. Vol. 2: the textual inference rules Klal uPrat (How the Talmud defines sets). College Publications"},{"key":"1_CR2","unstructured":"Abraham M, Gabbay DM, Schild UJ (2010\u20132013) Studies in talmudic logic. Vol. 1: Non-deductive inferences in the Talmud. Vol. 3: Talmudic deontic logic. Vol. 5: Resolution of conflicts and normative loops in the Talmud. Vol. 10: Principles of Talmudic logic. College Publications"},{"key":"1_CR3","unstructured":"Abraham M, Belfer I, Gabbay DM, Schild U (2011\u20132016) Studies in Talmudic logic. Vol. 4: Temporal logic in the Talmud. Vol. 7: Delegation in Talmudic logic. Vol. 8: Synthesis of concepts in the Talmud. Vol. 9: Analysis of concepts and states in Talmudic reasoning. Vol. 11: Platonic realism and Talmudic reasoning. Vol. 12: Fuzzy logic and quantum states in Talmudic reasoning. Vol. 13: Partition problems in Talmudic reasoning. College Publications"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11787-017-0158-3","volume":"11","author":"M Akrami","year":"2017","unstructured":"Akrami M (2017) From logic in Islam to islamic logic. Log Univers 11(1):61\u201383","journal-title":"Log Univers"},{"key":"1_CR5","unstructured":"Anderson AR (ed) (1964) Minds and machines. Prentice-Hall, Includes: Introduction (A.R. Anderson), Computing machines and intelligence (A.M. Turing), The mechanical concept of mind (M. Scriven), Minds, machines and G\u00f6del (J.R. Lucas), The imitation game (K. Gunderson), Minds and machines (H. Putman), The feelings of robots (P. Ziff), Professor Ziff on robots (J.J.C. Smart), Robots Inc (N. Smart)"},{"key":"1_CR6","unstructured":"Anselm of Cantorbery (2001) Proslogion. Hackett Publishing Company, Indianapolis, with the replies by Gaunilo and then by Anselm. Translation and introduction by Th. Williams"},{"key":"1_CR7","unstructured":"Apollonius of Rhodes (1959) The Voyage of argo: the argonautica. Penguin Classics"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Aquinas T (1975) Summa contra gentiles. Book one: god. University of Notre Dame Press","DOI":"10.2307\/j.ctvpj7fpk"},{"key":"1_CR9","unstructured":"Aquinas T (2006) In: Leftow B, Davies B (eds) Summa theologiae, questions on god. Cambridge University Press, Cambridge"},{"key":"1_CR10","unstructured":"Arnauld A, Nicole P (1662) La Logique ou l\u2019Art de Penser contenant, outre les r\u00e8gles communes, plusieurs observations nouvelles, propres \u00e0 former le jugement. Flammarion, Champs, 1978; English translate: Logic or the art of thinking: containing, besides common rules, several new observations appropriate for forming judgement. Cambridge University Press, Cambridge, 1996"},{"key":"1_CR11","unstructured":"Arrow KJ (1951) Social Choice and Individual Values, 2nd edn. Yale University Press, New Haven, 1963"},{"key":"1_CR12","unstructured":"Ashby WR (1952) Design for a brain. Chapman & Hall, London"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Ashby WR (1956) An introduction to cybernetics. Chapman & Hall, London","DOI":"10.5962\/bhl.title.5851"},{"key":"1_CR14","unstructured":"Asimov I (1950) I, Robot. Gnome Press, New York"},{"key":"1_CR15","unstructured":"Augustine of Hippo (1995) Against the academicians. The teacher. Hackett Publishing Company, Indianapolis, translated with introduction and notes by P. King"},{"key":"1_CR16","unstructured":"Austin JL (1955) How to do things with words. Oxford University Press, Oxford, 1962; The William James lectures, Harvard University, Cambridge, 1955"},{"key":"1_CR17","unstructured":"Bacon F (1605) Of the proficience and advancement of learning, divine and human. Oxford University Press, Oxford, 1974; Everyman Paperbacks, 1991"},{"key":"1_CR18","unstructured":"Bacon R (2009) The art and science of logic [Summulae Dialectices]. Mediaeval sources in translation, No. 47, Pontifical institute of mediaeval studies, Toronto, translated with introduction and notes by Th. S. Maloney"},{"key":"1_CR19","unstructured":"Bain A (1870) Logic. Part first: deduction. Part second: induction. Longmans, Green and Co., London, 784 p"},{"issue":"251","key":"1_CR20","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1093\/mind\/LXIII.251.359","volume":"63","author":"Y Bar-Hillel","year":"1954","unstructured":"Bar-Hillel Y (1954) Indexical expressions. Mind 63(251):359\u2013379","journal-title":"Mind"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Bar-Hillel Y (1963) Is information retrieval approaching a crisis? American documentation 14(ii):95\u201398","DOI":"10.1002\/asi.5090140204"},{"key":"1_CR22","first-page":"279","volume":"69","author":"J Barnes","year":"1983","unstructured":"Barnes J (1983) Terms and sentences: theophrastus on hypothetical syllogisms. Proc Br Acad 69:279\u2013326","journal-title":"Proc Br Acad"},{"key":"1_CR23","unstructured":"Barr A, Feigenbaum EA (eds) (1981) The handbook of artificial intelligence, vol I. William Kaufman, Los Altos"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Barr A, Feigenbaum EA (eds) (1982) The handbook of artificial intelligence, vol II. Addison-Wesley, Menlo Park","DOI":"10.2307\/3680201"},{"key":"1_CR25","volume-title":"Steps to an ecology of mind: collected essays in anthropology, psychiatry, evolution, and epistemology","author":"G Bateson","year":"1972","unstructured":"Bateson G (1972) Steps to an ecology of mind: collected essays in anthropology, psychiatry, evolution, and epistemology. Chandler Publishing Company, San Francisco"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Bayes T (1763) An essay towards solving a problem in the doctrine of chances. Philos Trans R Soc Lond 53:370\u2013418, by the Late Rev. Mr. Bayes, F.R.S. Communicated by Mr. Price, in a Letter to John Canton, A.M.F.R.S","DOI":"10.1098\/rstl.1763.0053"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1111\/j.1751-5823.2000.tb00317.x","volume":"68","author":"DR Bellhouse","year":"2000","unstructured":"Bellhouse DR (2000) De vetula: a medieval manuscript containing probability calculations. Int Stat Rev 68(2):123\u2013136","journal-title":"Int Stat Rev"},{"key":"1_CR28","unstructured":"Berliner HJ, Greenblatt R, Pitrat J, Samuel A, Slate D (1977) Computer game playing. In: Reddy R (ed) Proceedings of the 5th international joint conference on artificial intelligence, Cambridge, MA, pp 975\u2013982"},{"key":"1_CR29","unstructured":"Bernanos G (1947) La France contre les Robots. Robert Laffont"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Bernstein A, De V Roberts M (1958) Computer vs. chess-player. Sci Am 198:96\u2013105","DOI":"10.1038\/scientificamerican0658-96"},{"key":"1_CR31","unstructured":"Bessot D, Lanier D, Le Goff JP, Leparmentier J, Levard M, A-M Sainson DT, Domain R (2006) L\u2019Esp\u00e9rance du Hollandais ou le Premier Trait\u00e9 de Calcul du Hasard. Ellipses"},{"key":"1_CR32","unstructured":"Blanch\u00e9 R (1966) Structures Intellectuelles. Essai sur l\u2019Organisation Syst\u00e9matique des Concepts. Librairie philosophique J. Vrin, Paris"},{"key":"1_CR33","unstructured":"Blanch\u00e9 R (1970) La Logique et son Histoire d\u2019Aristote \u00e0 Russell. Amand Colin, collection U, 2nd ed. augmented with a chapter \u201cLa Logique depuis Russell\u201d by J. Dubucs, 1996"},{"key":"1_CR34","unstructured":"Blanch\u00e9 R (1973) Le Raisonnement. Presses Universitaires de France, Biblioth\u00e8que de Philosophie Contemporaine, Paris"},{"issue":"1","key":"1_CR35","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0004-3702(71)90004-X","volume":"2","author":"WW Bledsoe","year":"1971","unstructured":"Bledsoe WW (1971) Splitting and reduction heuristics in automatic theorem proving. Artif Intell 2(1):55\u201377","journal-title":"Artif Intell"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Bobrow DG (1964) A question-answering system for high school algebra word problems. In: Proceedings of the fall joint computer conference (AFIPS \u201964), Part I, 27\u201329 October 1964. ACM, pp 591\u2013614","DOI":"10.1145\/1464052.1464108"},{"key":"1_CR37","first-page":"57","volume":"2","author":"S Bobzien","year":"2004","unstructured":"Bobzien S (2004) Peripatetic hypothetical syllogistic in Galen. Rhizai J Anc Philos Sci 2:57\u2013102","journal-title":"Rhizai J Anc Philos Sci"},{"key":"1_CR38","unstructured":"Boche\u0144ski IM (1947) La Logique de Th\u00e9ophraste. Librairie de l\u2019Universit\u00e9 de Fribourg en Suisse"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Bochvar DA (1984) On the consistency of a three-valued logical calculus. Topoi 3(1):3\u201312, translate by M. Bergmann of a 1938 article","DOI":"10.1007\/BF00136115"},{"key":"1_CR40","unstructured":"Bolzano B (1837) Wissenschaftslehre. Versuch einer ausf\u00fcrlichen und gr\u00f6sstentheils neuen Darstellung der Logik mit steter R\u00fccksicht auf deren bisherige Bearbeiter. J E von Seidel, Sulzbach, edited and translated by R. George, as \u201cTheory of Science. Attempt at a detailed an in the main novel exposition of logic with constant attention to earlier author\u201d, University of California Press, California, 1972"},{"key":"1_CR41","volume-title":"The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning","author":"G Boole","year":"1847","unstructured":"Boole G (1847) The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. Macmillan, Cambridge"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Boole G (1854) An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. Macmillan, Cambridge, reprinted by Dover, New York, 1958","DOI":"10.5962\/bhl.title.29413"},{"key":"1_CR43","unstructured":"Boureau-Deslandes AF (1742) Pigmalion, ou la statue anim\u00e9e. Samuel Harding, London, Pigmalion, oder, Die belebte Stat\u00fce translated by J.J. Bodmer, Hamburg Martini 1748"},{"key":"1_CR44","unstructured":"Braffort P (1968) L\u2019Intelligence Artificielle. P.U.F., Paris"},{"issue":"219","key":"1_CR45","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1017\/S0025557200062999","volume":"16","author":"RB Braithwaite","year":"1932","unstructured":"Braithwaite RB (1932) Lewis Carroll as logician. Math Gaz 16(219):174\u2013178","journal-title":"Math Gaz"},{"issue":"2","key":"1_CR46","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1162\/neco.1989.1.2.253","volume":"1","author":"R Brooks","year":"1989","unstructured":"Brooks R (1989) A robot that walks; emergent behaviors from a carefully evolved network. Neural Comput 1(2):253\u2013262","journal-title":"Neural Comput"},{"key":"1_CR47","unstructured":"Bru MF, Bru B (2018) Le jeu de l\u2019infini et du hasard - Vol. 1: Les probabilit\u00e9s d\u00e9nombrables \u00e0 la port\u00e9e de tous ; Vol. 2: Les probabilit\u00e9s ind\u00e9nombrables \u00e0 la port\u00e9e de tous. Annexes et appendices. Presses Universit\u00e9 de Franche-Comt\u00e9, Besan\u00e7on"},{"issue":"4","key":"1_CR48","first-page":"53","volume":"26","author":"BG Buchanan","year":"2005","unstructured":"Buchanan BG (2005) A (very) brief history of artificial intelligence. AI Mag 26(4):53\u201360","journal-title":"AI Mag"},{"key":"1_CR49","volume-title":"Rule-based expert systems - MYCIN experiments of the Stanford heuristic programming","year":"1984","unstructured":"Buchanan BG, Shortliffe EH (eds) (1984) Rule-based expert systems - MYCIN experiments of the Stanford heuristic programming. Addison-Wesley, Reading"},{"issue":"2","key":"1_CR50","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1609\/aimag.v34i2.2455","volume":"34","author":"BG Buchanan","year":"2013","unstructured":"Buchanan BG, Eckroth J, Smith R (2013) A virtual archive for the history of AI. AI Mag 34(2):86\u201398","journal-title":"AI Mag"},{"issue":"1","key":"1_CR51","first-page":"101","volume":"176","author":"V Bush","year":"1945","unstructured":"Bush V (1945) As we may think. Atl Mon 176(1):101\u2013108","journal-title":"Atl Mon"},{"key":"1_CR52","unstructured":"Busquets J (2006) Logique et Langage: Apports de la Philosophie M\u00e9di\u00e9vale. Presses Universitaires de Bordeaux"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Butler S (1872) Erewhon, or, over the range. Trubner & Co, London, includes three chapters, numbered 23, 24, 25, intitled \u201cThe Books of Machines\u201d, first published as articles since 1863","DOI":"10.5479\/sil.1036699.39088016476525"},{"key":"1_CR54","unstructured":"Byrne O (1841) The doctrine of proportion clearly developed: on a comprehensive, original, and very easy system; or, the fifth book of Euclid simplified. J. Williams, London"},{"key":"1_CR55","unstructured":"Byrne O (1847) In: Oechslin W (ed) The first six books of the elements of Euclid in which coloured diagrams and symbols are used instead of letters for the greater ease of learners. William Pickering, London, reprinted by Taschen Gmbh, 2013"},{"key":"1_CR56","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3406\/rde.1993.1226","volume":"15","author":"JD Candaux","year":"1993","unstructured":"Candaux JD (1993) Monsieur de Lubi\u00e8res, encyclop\u00e9diste. Recherches sur Diderot et sur l\u2019Encyclop\u00e9die 15:71\u201396","journal-title":"Recherches sur Diderot et sur l\u2019Encyclop\u00e9die"},{"key":"1_CR57","unstructured":"Capek K (1921) Rossumovi Univerz\u00e1l Roboti - R.U.R. (Rossum\u2019s Universal Robots). English translate R.U.R. and The Insect Play (with J. Capek), Oxford Paperbacks, 1963"},{"key":"#cr-split#-1_CR58.1","doi-asserted-by":"crossref","unstructured":"Carnap R (1930) Die alte und die neue logik. Erkenntnis 1(1):12-26, English translate by I. Levi, The old and the new logic. In: Ayer AJ","DOI":"10.1007\/BF00208606"},{"key":"#cr-split#-1_CR58.2","unstructured":"(ed) Logical positivism. Free Press, 1959, pp 133-146"},{"key":"1_CR59","unstructured":"Carnap R (1942) Meaning and necessity: a study in semantics and modal logic, 2nd edn. University of Chicago Press, Chicago, 1956"},{"key":"1_CR60","unstructured":"Carnap R, Bar-Hillel Y (1952) An outline of the theory of semantic information. MIT, Research Laboratory of Electronics, Technical report 247"},{"key":"1_CR61","unstructured":"Carroll L (1896) Symbolic logic. Part 1. Elementary. Macmillan and Co., London, Part 2. Advanced"},{"key":"1_CR62","unstructured":"Certigny H (1954) Les Automates. Gallimard, Paris"},{"key":"1_CR63","unstructured":"Chassay JF (2010) L\u2019imaginaire de l\u2019\u00eatre artificiel. Presses Universitaires du Qu\u00e9bec"},{"key":"1_CR64","unstructured":"Clair J, Szeemann H (eds) (1975) Junggesellenmaschinen \/ Les Machines C\u00e9libataires. Alfieri, Venezia, exhibition catalogue, Italian\/English version Le Macchine Celibi \/ The Bachelor Machines, Rizzoli, New York, 236 p"},{"key":"1_CR65","unstructured":"Clark WA, Farley BG (1955) Generalization of pattern recognition in a self-organizing system. In: Proceedings of the Western joint computer conference, 1\u20133 March 1955, Institute of Radio Engineers, New York, pp 86\u201390"},{"key":"1_CR66","unstructured":"Cohen J (1968) Les Robots Humains dans le Mythe et dans la Science. Librairie philosophique Vrin"},{"key":"1_CR67","volume-title":"The implications of induction","author":"LJ Cohen","year":"1970","unstructured":"Cohen LJ (1970) The implications of induction. Methuen, London"},{"key":"1_CR68","unstructured":"Cohen PR, Feigenbaum EA (eds) (1986) The handbook of artificial intelligence, vol III. Addison-Wesley, London"},{"key":"1_CR69","unstructured":"Cohen PR, Feigenbaum EA (eds) (1990) The handbook of artificial intelligence, vol IV. Addison-Wesley, London"},{"key":"1_CR70","unstructured":"Collective (1904) Logique et Philosophie des Sciences. S\u00e9ances de Section et S\u00e9ances G\u00e9n\u00e9rales. $$II^{e}$$ Congr\u00e8s de Philosophie - Gen\u00e8ve. Revue de M\u00e9taphysique et de Morale T. XII:1037\u20131046"},{"key":"1_CR71","unstructured":"Collective (1952) The foundations of computing machinery (J.D. Goodell); The realization of a universal decision element (T. Lode); Axiomatization of a partial system of three-value calculus of propositions (B. Sobocinski). J Comput Syst 1(1):1\u201355, publ. by The Institute of Applied Logic, St. Paul MN"},{"key":"1_CR72","unstructured":"Collins NL, Michie D (eds) (1967) Machine intelligence 1. Oliver & Boyd, Edinburgh & London, preface by Sir Edward Collingwood"},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Colmerauer A (1978) Metamorphosis grammars. In: Bolc L (ed) Natural language communication with computers. LNCS, vol 63. Springer, Berlin, pp 133\u2013189","DOI":"10.1007\/BFb0031371"},{"key":"1_CR74","unstructured":"Colmerauer A, Roussel A (1992) La naissance de Prolog. Internal report, Groupe Intelligence Artificielle, Facult\u00e9 des Sciences de Luminy, Universit\u00e9 Aix-Marseille II, France"},{"key":"1_CR75","unstructured":"Condorcet N (1785) Essai sur l\u2019Application de l\u2019Analyse \u00e0 la Probabilit\u00e9 des D\u00e9cisions Rendues \u00e0 la Pluralit\u00e9 des Voix. Reprinted by American Mathematical Society, 1972"},{"key":"1_CR76","unstructured":"Conti A (2017) Paul of venice. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University"},{"key":"1_CR77","unstructured":"Couffignal L (1952) Les Machines \u00e0 Penser. Les Editions de Minuit, Paris, 2nd edn. revised, 1964"},{"key":"1_CR78","unstructured":"Couturat L (1901) La Logique de Leibniz: d\u2019apr\u00e8s des documents in\u00e9dits. F\u00e9lix Alcan, Paris, reprinted by OLMS, Hildesheim, 1969 and 1985"},{"key":"1_CR79","unstructured":"Couturat L (1903) Opuscules et Fragments In\u00e9dits de Leibniz. Extraits des manuscrits de la biblioth\u00e8que royale de Hanovre. F\u00e9lix Alcan, Paris, 1903; reprinted by Olms, 1966"},{"key":"1_CR80","volume-title":"L\u2019Alg\u00e8bre de la Logique","author":"L Couturat","year":"1905","unstructured":"Couturat L (1905) L\u2019Alg\u00e8bre de la Logique. Gauthier-Villars, Paris"},{"key":"1_CR81","unstructured":"Craik KJW (1943) The nature of explanation. Cambridge University Press, Cambridge, reprinted 1967"},{"key":"#cr-split#-1_CR82.1","unstructured":"Cramer G (1745) Cours de Logique. Biblioth\u00e8que Publique et Universitaire de Gen\u00e8ve, MS Trembley 34, 348 pages, structured in 576 paragraphs, unpublished manuscript"},{"key":"#cr-split#-1_CR82.2","unstructured":"partly reproduced (89 p., paragraphs 1-10, 260, 448-547), by Th. Martin, in Journl \u00e9lectronique d'Histoire des Probabilit\u00e9s et des Statistiques 2(1), 2006, 6"},{"key":"1_CR83","unstructured":"Crevier D (1993) The tumultuous history of the search for artificial intelligence. Basic books, HarperCollins Publishers, New York"},{"key":"1_CR84","unstructured":"Crossley JN (2005) Raymond Llull\u2019s contributions to computer science. Technical report (13 p), Monash University, Clayton, Australia"},{"key":"1_CR85","unstructured":"Curley AJ (1996) Augustine\u2019s critique of skepticism. A study of Contra Academicos, Peter Lang, New York"},{"issue":"2","key":"1_CR86","doi-asserted-by":"publisher","first-page":"97","DOI":"10.3406\/rhs.1986.4026","volume":"39","author":"A Dahan-Dalmedico","year":"1986","unstructured":"Dahan-Dalmedico A (1986) Un texte de philosophie math\u00e9matique de Gergonne. Revue d\u2019Histoire des Sciences 39(2):97\u2013126","journal-title":"Revue d\u2019Histoire des Sciences"},{"key":"1_CR87","volume-title":"Machine intelligence 2","year":"1968","unstructured":"Dale E, Michie D (eds) (1968) Machine intelligence 2. Oliver & Boyd, London"},{"issue":"3","key":"1_CR88","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M Davis","year":"1960","unstructured":"Davis M, Putnam H (1960) A computing procedure for quantification theory. J ACM 7(3):201\u2013215","journal-title":"J ACM"},{"key":"1_CR89","unstructured":"De Borda JC (1781) M\u00e9moire sur les \u00e9lections au scrutin. M\u00e9moires de l\u2019Acad\u00e9mie Royale des Sciences, pp 657\u2013664"},{"key":"1_CR90","unstructured":"de Bovelles C (1510) Ars oppositorum. Translated in French, L\u2019art des oppos\u00e9s by P. Magnard, Vrin, Paris, 1984"},{"key":"1_CR91","unstructured":"De Castillon F (1804) R\u00e9flexions sur la logique. M\u00e9m de l\u2019Acad Royale des Sciences et Belles-Lettres de Berlin, pp 29\u201349"},{"key":"1_CR92","unstructured":"De Castillon F (1805) M\u00e9moire sur un nouvel algorithme logique. M\u00e9m de l\u2019Acad Royale des Sciences et Belles-Lettres de Berlin, pp 3\u201324"},{"key":"1_CR93","unstructured":"De Ceriziers R (1650) Le Philosophe Fran\u00e7ois. Antoine Molin, Lyon"},{"key":"1_CR94","unstructured":"De Chousy, comte D (1883) Ignis. R\u00e9\u00e9d. Col. Ressources 114, Slatkine, 1981, English translate Ignis, the Central Fire, Hollywood Comics, 2009"},{"key":"1_CR95","first-page":"1","volume":"7","author":"B De Finetti","year":"1937","unstructured":"De Finetti B (1937) La pr\u00e9vision: ses lois logiques, ses sources subjectives. Annales de l\u2019Institut Poincar\u00e9 7:1\u201368","journal-title":"Annales de l\u2019Institut Poincar\u00e9"},{"key":"1_CR96","volume-title":"Theory of probability","author":"B De Finetti","year":"1974","unstructured":"De Finetti B (1974) Theory of probability. Wiley, New York"},{"key":"1_CR97","unstructured":"De Lacy PH, De Lacy EA (1941) Philodemus: on methods of inference. A study in ancient empiricism. American Philological Association, Philadelphia, with translation and commentary"},{"key":"1_CR98","unstructured":"De Latil P (1953) La Pens\u00e9e Artificielle. Introduction \u00e0 la Cybern\u00e9tique. Gallimard, L\u2019Avenir de la Science 34"},{"key":"1_CR99","unstructured":"De Moivre A (1718) Doctrine of chances, or a method of calculating the probability of events in play, 3rd edn. Printed by W. Pearson for the Author, London, 1756"},{"key":"1_CR100","volume-title":"Formal Logic: or, the calculus of inference, necessary and probable","author":"A De Morgan","year":"1847","unstructured":"De Morgan A (1847) Formal Logic: or, the calculus of inference, necessary and probable. Taylor & Walton, London"},{"key":"1_CR101","unstructured":"De Morgan A (1868) On the syllogism and other logical writings. Routledge & Kegan Paul, London, articles 1846\u20131868; edited with an Introduction by P. Heath, 1966"},{"key":"#cr-split#-1_CR102.1","unstructured":"De Unamuno M (1913) Mecan\u00f3polis. In: Garc\u00eda Blanco M"},{"key":"#cr-split#-1_CR102.2","unstructured":"(ed) Obras Completas, Vol. 2: Novelas. Esc\u00e9licer, Madrid, pp 833-836, 1966"},{"key":"1_CR103","unstructured":"De Villiers de l\u2019Isle-Adam A (1886) L\u2019Eve future. Charpentier, English translate The Future Eve, Fantasy and Horror Classics, 2011"},{"key":"1_CR104","unstructured":"Delboeuf C (1876) Logique algorithmique: 1. Expos\u00e9 de la logique d\u00e9ductive au moyen d\u2019un syst\u00e8me conventionnel de signes. Deuxi\u00e8me partie: Caract\u00e8res g\u00e9n\u00e9raux d\u2019un algorithme. Troisi\u00e8me partie. Revue Philosophique de la France et de l\u2019Etranger 2:225\u2013252, 335\u2013355, 545\u2013595. Also published as a book, Logique Algorithmique. Essai sur un syst\u00e8me de signes appliqu\u00e9 \u00e0 la logique. J. Desoer & C. Muquardt, Li\u00e8ge & Bruxelles, 1877"},{"key":"1_CR105","unstructured":"Delpech LJ (1972) La Cybern\u00e9tique et ses Th\u00e9oriciens. Casterman \/ Poche, collection Mutations. Orientations"},{"key":"1_CR106","unstructured":"Descartes R (1637) Discours de la M\u00e9thode pour bien conduire sa raison, et chercher la v\u00e9rit\u00e9 dans les sciences. English version: A discourse on the method of correctly conducting one\u2019s reason and of seeking truth in the sciences, translated by I. Maclean, Oxford World\u2019s Classics, 2008"},{"key":"1_CR107","doi-asserted-by":"crossref","unstructured":"Dinneen GP (1955) Programming pattern recognition. In: Proceedings of the Western joint computer conference, 1\u20133 March 1955, Institute of Radio Engineers, New York, pp 94\u2013100","DOI":"10.1145\/1455292.1455311"},{"key":"1_CR108","unstructured":"Dipert RR (1994) The life and logical contributions of O.H. Mitchell, Peirce\u2019s gifted student. Trans Charles S Peirce Soc 30(3):515\u2013542"},{"key":"1_CR109","volume-title":"The pamphlets of Lewis Carroll","author":"CL Dodgson","year":"2001","unstructured":"Dodgson CL (2001) The political pamphlets and letters of Charles Lutwidge Dodgson and related pieces: a mathematical approach. In: Abeles FF (ed) The pamphlets of Lewis Carroll, vol 3. Lewis Carroll Society of North America, New York"},{"key":"1_CR110","unstructured":"Du Crest, comtesse de Genlis SF (1797) Alphonse et Dalinde, ou La f\u00e9\u00e9rie de l\u2019Art et de la Nature: conte moral. Berthevin, Orl\u00e9ans"},{"key":"1_CR111","unstructured":"Dubarle D (1948) Vers la machine \u00e0 gouverner ? Le Monde, 28 d\u00e9cembre See also Existe-t-il des machines \u00e0 penser?, Revue des Questions Scientifiques, Ve s\u00e9rie, t. XI, 210\u2013230, 1950, and Scientific Humanism and Christian Thought, Blackfriars, London, 1956"},{"key":"1_CR112","doi-asserted-by":"crossref","unstructured":"Dubois D, Prade H (2012) Abe Mamdani: a pioneer of soft artificial intelligence. In: Trillas E, Bonissone PP, Magdalena L, Kacprzyk J (eds) Combining experimentation and theory - a hommage to Abe Mamdani. Springer, Berlin, pp 49\u201360","DOI":"10.1007\/978-3-642-24666-1_4"},{"key":"1_CR113","unstructured":"Dubucs J, Sandu G (eds) (2005) Les Chemins de la Logique. Pour la Science, dossier $$n^o$$ 49"},{"key":"1_CR114","doi-asserted-by":"crossref","unstructured":"Duda RO, Hart PE, Nilsson NJ (1976) Subjective Bayesian methods for rule-based inference systems. In: Proceedings of the national computer conference (AFIPS Conference Proceedings, vol 45), pp 1075\u20131082, sRI Technical Note 124","DOI":"10.1145\/1499799.1499948"},{"key":"1_CR115","first-page":"153","volume-title":"Expert systems in the micro-electronic age","author":"RO Duda","year":"1981","unstructured":"Duda RO, Gaschnig J, Hart PE (1981) Model design in the PROSPECTOR consultant system for mineral exploration. In: Michie D (ed) Expert systems in the micro-electronic age. Edinburgh University Press, Edinburgh, pp 153\u2013167"},{"key":"1_CR116","unstructured":"Dumarsais CC (1730) Trait\u00e9 des Tropes. Reprinted, Fayard, Paris, 1992"},{"key":"1_CR117","unstructured":"Dupleix S (1603) La Logique ou Art de Discourir et de Raisonner. Edition de 1607, Fayard, Paris, 1984, 370 p"},{"key":"1_CR118","doi-asserted-by":"crossref","unstructured":"Dutilh Novaes C, Read S (eds) (2016) The Cambridge companion to medieval logic. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9781107449862"},{"key":"1_CR119","unstructured":"Elcock EW, Michie D (eds) (1977) Machine intelligence 8. Ellis Horwood Ltd. and Wiley, New York"},{"issue":"2","key":"1_CR120","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/356810.356816","volume":"12","author":"LD Erman","year":"1980","unstructured":"Erman LD, Hayes-Roth F, Lesser VR, Reddy DR (1980) The Hearsay-II speech-understanding system: integrating knowledge to resolve uncertainty. Comput Surv 12(2):213\u2013253","journal-title":"Comput Surv"},{"key":"1_CR121","unstructured":"Euler L (1761, publ. 1768) Lettres cii-cviii. In: Lettres \u00e0 une Princesse d\u2019Allemagne sur Divers Sujets de Physique & de Philosophie, vol 2; English version: Letters of Euler, on different subjects in natural philosophy, addressed to a German princess 2. J. & J. Harper, 1833"},{"key":"1_CR122","unstructured":"Evans TG (1964) A heuristic program to solve geometry-analogy problems. In: Proceedings of the A.F.I.P. spring joint computer Conference, vol 25, pp 5\u201316"},{"issue":"3","key":"1_CR123","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2307\/2268218","volume":"20","author":"JA Faris","year":"1955","unstructured":"Faris JA (1955) The Gergonne relations. J Symb Log 20(3):207\u2013231","journal-title":"J Symb Log"},{"key":"1_CR124","unstructured":"Feigenbaum EA, Feldman J (eds) (1963) Computers and Thought. McGraw-Hill, New York, articles by P. Armer, C. Chomsky, G.P.E. Clarkson, E.A. Feigenbaum, J. Feldman, H. Gelernter, B.F. Green Jr, J.T. Gullahorn, J.E. Gullahorn, J.R. Hansen, C.I. Hovland, E.B. Hunt, K. Laughery, R.K. Lindsay, D.W. Loveland, M. Minsky. U. Neisser, A. Newell, A.L. Samuel, O.G. Selfridge, J.C. Shaw, H.A. Simon, J.R. Slagle, F.M. Tonge, A.M. Turing, L. Uhr, C. Vossler, A.K. Wolf"},{"key":"1_CR125","unstructured":"Fidora A, Sierra C (eds) (2011) Ramon Llull: from the Ars Magna to artificial intelligence. Artificial Intelligence Research Institute, IIIA, CSIC, 146 p, Barcelona, Contributions by S. Barber\u00e0, M. Beuchot, E. Bonet, A. Bonner, J.M. Colomer, J.N. Crossley, A. Fidora, T. Sales, G. Wyllie"},{"key":"1_CR126","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes RE, Nilsson NJ (1971) STRIPS: a new approach to the application of theorem proving. Artif Intell 2:189\u2013208","journal-title":"Artif Intell"},{"key":"1_CR127","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0010-0277(78)90015-X","volume":"6","author":"JA Fodor","year":"1978","unstructured":"Fodor JA (1978) Tom swift and his procedural grandmother. Cognition 6:229\u2013247","journal-title":"Cognition"},{"key":"1_CR128","unstructured":"Gabbay DM, Woods J (eds) (2004a) Greek, Indian and Arabic logic. Handbook of history of logic, vol 1. Elsevier, Amsterdam"},{"key":"1_CR129","unstructured":"Gabbay DM, Woods J (eds) (2004b) The rise of modern logic: from Leibniz to Frege. Handbook of History of Logic, vol 3. Elsevier, Amsterdam"},{"key":"1_CR130","unstructured":"Gabbay DM, Woods J (eds) (2008a) British logic in the nineteenth century. Handbook of history of logic, vol 4. Elsevier, Amsterdam"},{"key":"1_CR131","unstructured":"Gabbay DM, Woods J (eds) (2008b) Mediaeval and renaissance logic. Handbook of history of logic, vol 2. Elsevier, Amsterdam"},{"key":"1_CR132","unstructured":"Galli de Bibiena J (1747) La Poup\u00e9e. Desjonqu\u00e8res, 1987; English translate The fairy doll. Chapman and Hall, 1925 and Amorous Philandre (Store Window Doll Lives). Avon Book, 1948"},{"key":"1_CR133","unstructured":"Geach P, Black M (eds) (1980) Translations from the philosophical writings of Gottlob Frege, 3rd edn. Basil Blackwell (1st edn. 1952)"},{"key":"1_CR134","unstructured":"Gelernter H (1959) Realization of a geometry theorem proving machine. In: Proceedings of the international conference on information processing, Paris, pp 273\u2013282"},{"key":"1_CR135","volume-title":"Studies in logic and the foundations of mathematics","author":"G Gentzen","year":"1969","unstructured":"Gentzen G (1969) The collected papers of Gerhard Gentzen. Studies in logic and the foundations of mathematics. North-Holland Publising Company, Amsterdam"},{"key":"#cr-split#-1_CR136.1","unstructured":"Georgeff M (1983) Communication and interaction in multi-agent planning. In: Genesereth MR"},{"key":"#cr-split#-1_CR136.2","unstructured":"(ed) Proceedings of the national conference on artificial intelligence, Washington, D.C., 22-26 August 1983. AAAI Press, pp 125-129"},{"key":"1_CR137","first-page":"242","volume":"6","author":"JD Gergonne","year":"1815","unstructured":"Gergonne JD (1815) Application de la m\u00e9thode des moindres quarr\u00e9s \u00e0 l\u2019interpolation des suites. Annales de Math\u00e9matiques Pures et Appliqu\u00e9es 6:242\u2013252","journal-title":"Annales de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"1_CR138","first-page":"117","volume":"7","author":"JD Gergonne","year":"1816","unstructured":"Gergonne JD (1816a) Th\u00e9orie de la r\u00e8gle de trois. Annales de Math\u00e9matiques Pures et Appliqu\u00e9es 7:117\u2013122","journal-title":"Annales de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"1_CR139","first-page":"189","volume":"7","author":"JD Gergonne","year":"1816","unstructured":"Gergonne JD (1816b) Vari\u00e9t\u00e9s. Essai de dialectique rationnelle. Annales de Math\u00e9matiques Pures et Appliqu\u00e9es 7:189\u2013228","journal-title":"Annales de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"issue":"2","key":"1_CR140","doi-asserted-by":"publisher","first-page":"97","DOI":"10.3406\/rhs.1972.3284","volume":"25","author":"L Giard","year":"1972","unstructured":"Giard L (1972) La \"dialectique rationnelle\" de Gergonne. Revue d\u2019Histoire des Sciences 25(2):97\u2013124","journal-title":"Revue d\u2019Histoire des Sciences"},{"key":"1_CR141","unstructured":"Gillon BS (ed) (2010) Logic in earliest classical India. Motilal Banarsidass Publishers Private Limited, Delhi, papers of the 12th World sanskrit conference, vol 10.2"},{"key":"#cr-split#-1_CR142.1","unstructured":"Giralt G, Sobek RP, Chatila R (1979) A multi-level planning and navigation system for a mobile robot: a first approach to HILARE. In: Buchanan BG"},{"key":"#cr-split#-1_CR142.2","unstructured":"(ed) Proceedings of the 6th international joint conference on artificial intelligence (IJCAI'79), Tokyo, 20-23 August 1979. William Kaufmann, pp 335-337"},{"key":"1_CR143","unstructured":"Gochet P, Gr\u00e9goire E, Gribomont P, Hulin G, Pirotte A, Roelants D, Snyers D, Thayse A, MVauclair, Wolper P (1988 and 1989) From standard logic to logic programming: introducing a logic based approach to artificial intelligence and From modal logic to deductive databases: introducing a logic based approach to artificial intelligence. Wiley, New York"},{"key":"1_CR144","unstructured":"G\u00f6del K (1995) Collected works Vol. 3. Unpublished Essays and lectures. Oxford University Press, Oxford, edited by S. Feferman, W. Goldfarb, J.W. Dawson Jr, Ch. Parsons, R.M. Solovay"},{"issue":"1\u20132","key":"1_CR145","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1163\/156852590X00072","volume":"XLIII","author":"WL Gombocz","year":"1990","unstructured":"Gombocz WL (1990) Apuleius is better still: a correction to the square of opposition. Mnemosyne XLIII(1\u20132):124\u2013131","journal-title":"Mnemosyne"},{"key":"1_CR146","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/bjps\/XI.44.305","volume":"11","author":"IJ Good","year":"1961","unstructured":"Good IJ (1961) A causal calculus I. Br J Philos Sci 11:305\u2013318","journal-title":"Br J Philos Sci"},{"key":"1_CR147","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1093\/bjps\/XII.45.43","volume":"12","author":"IJ Good","year":"1962","unstructured":"Good IJ (1962a) A causal calculus II. Br J Philos Sci 12:43\u201351","journal-title":"Br J Philos Sci"},{"key":"1_CR148","unstructured":"Good IJ (1962b) Subjective probability as the measure of a non-measurable set. In: Nagel E, Suppes P, Tarski A (eds) Logic, methodology, and philosophy of science. Stanford University Press, Stanford, pp 319\u2013329"},{"key":"1_CR149","unstructured":"Good IJ (1965) Speculations concerning the first ultra intelligent machine. In: Alt FL, Rubinoff M (eds) Advances in computers, vol 6. Academic, London, pp 31\u201388"},{"key":"1_CR150","unstructured":"Green CC (1979) Theorem proving by resolution as a basis for question answering systems. In: Meltzer B, Michie D (eds) Machine intelligence, vol 4. Edinburgh University Press, Edinburgh, pp 183\u2013205"},{"key":"1_CR151","doi-asserted-by":"publisher","first-page":"377","DOI":"10.2307\/2182440","volume":"66","author":"P Grice","year":"1957","unstructured":"Grice P (1957) Meaning. Philos Rev 66:377\u2013388","journal-title":"Philos Rev"},{"key":"1_CR152","series-title":"A MIT survey","volume-title":"AI in the 1980s and beyond","year":"1987","unstructured":"Grimson WEL, Patil RS (eds) (1987) AI in the 1980s and beyond. A MIT survey. MIT Press, Cambridge"},{"key":"1_CR153","doi-asserted-by":"crossref","unstructured":"Grize JB (1982) De la Logique \u00e0 l\u2019Argumentation. Librairie Droz, Gen\u00e8ve","DOI":"10.3917\/droz.grize.1982.01"},{"key":"1_CR154","unstructured":"G\u00fcnther G (1957) Das Bewusstsein der Maschinen. Eine Metaphysik der Kybernetik, 1. Aufl. 1957, 2. Aufl. 1963, 3. Aufl. 2002. Agis Verlag, Krefeld, Baden, French translate La Conscience des Machines - Une M\u00e9taphysique de la Cybern\u00e9tique followed by Cognition et Volition, 2008"},{"key":"1_CR155","unstructured":"Guo Z (2017) Pens\u00e9e Chinoise et Raison Grecque. Editions Universitaires de Dijon"},{"key":"1_CR156","doi-asserted-by":"crossref","unstructured":"Haavelmo T (1943) The statistical implications of a system of simultaneous equations. Econometrica 11(1\u20132):1\u201312, reprinted in D.F. Hendry and M.S. Morgan (eds) The foundations of econometric analysis. Cambridge University Press, Cambridge, pp 477\u2013490, 1995","DOI":"10.2307\/1905714"},{"key":"1_CR157","doi-asserted-by":"crossref","unstructured":"Hamilton W (1859\u20131860) Lectures on metaphysics and logic, vol 4. William Blackwood and Sons, Edinburgh","DOI":"10.1037\/12154-000"},{"key":"1_CR158","unstructured":"Hansen C (Chen Han Sheng) (1983) Language and logic in ancient China. University of Michigan Press, Michigan Studies on China, Ann Arbor"},{"key":"1_CR159","unstructured":"Harrison H, Minsky M (1992) The turing option. Viking"},{"key":"1_CR160","unstructured":"Harsanyi JC (1967) Games with incomplete information played by \u201cBayesian\u201d players, I\u2013III. Part I. The basic model. Manag Sci (Theory Series) 14(3):159\u2013182"},{"issue":"2","key":"1_CR161","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"PE Hart","year":"1968","unstructured":"Hart PE, Nilsson NJ, Raphael B (1968) A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 4(2):100\u2013107","journal-title":"IEEE Trans Syst Sci Cybern"},{"key":"1_CR162","unstructured":"Hayes JE, Michie D, Mikulich LJ (eds) (1979) Machine intelligence 9. Ellis Horwood Ltd. and Wiley, New York"},{"key":"1_CR163","unstructured":"Hebb DO (1949) The organization of behaviour. Wiley, New York"},{"key":"1_CR164","unstructured":"Hempel CG (1965) Studies in the logic of confirmation. Aspects of scientific explanation and other essays in the philosophy of science, pp 3\u201346"},{"issue":"2","key":"1_CR165","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/MIS.2008.20","volume":"23","author":"J Hendler","year":"2008","unstructured":"Hendler J (2008) Avoiding another AI winter. IEEE Intell Syst 23(2):2\u20134","journal-title":"IEEE Intell Syst"},{"key":"1_CR166","unstructured":"Herbrand J (1968) \u00c9crits Logiques. Presses Universitaires de France, Logical writings edited by W.D. Goldfarb, translation of the \u00c9crits logiques edited by J. van Heijenoort, Harvard University Press, Cambridge, 1971"},{"key":"1_CR167","unstructured":"Hewitt C (1969) PLANNER: a language for proving theorems in robots. In: Walker DE, Norton LM (eds) Proceedings of the 1st international joint conference on artificial intelligence, Washington, DC, May 1969, pp 295\u2013302"},{"key":"1_CR168","unstructured":"Hewitt C (2009) Middle history of logic programming: resolution, planner. Edinburgh LCF, Prolog, Simula, and the Japanese fifth generation project. CoRR arXiv:0904.3036v25"},{"key":"1_CR169","volume-title":"Intuitionism: an introduction","author":"A Heyting","year":"1956","unstructured":"Heyting A (1956) Intuitionism: an introduction. North-Holland Publishing Co., Amsterdam"},{"key":"1_CR170","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. Cornell University Press, Ithaca"},{"key":"1_CR171","unstructured":"Hobbes of Malmesbury T (1651) Leviathan, or the matter, forme and power of a common-wealth ecclesiasticall and civil. Basil Blackwell, Oxford, 1955"},{"key":"1_CR172","unstructured":"Hobbes of Malmesbury T (1655) Elementa Philosophiae I. De Corpore. Vrin, Paris, Biblioth\u00e8que des Textes Philosophiques, 2000, English translate Elements of philosophy, the first section, concerning body, 1656; The English works of Thomas Hobbes of Malmesbury edited by W. Molesworth, Vol. 1: elements of philosophy, parts I\u2013IV, The first section concerning body, John Bohn, London 1839; the quoted text is in Part First, Computation or Logic, chap. 1 of Philosophy"},{"issue":"1\u20132","key":"1_CR173","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11787-018-0187-6","volume":"12","author":"W Hodges","year":"2018","unstructured":"Hodges W (2018) Two early Arabic applications of model-theoretic consequence. Log Univ 12(1\u20132):37\u201354","journal-title":"Log Univ"},{"key":"1_CR174","unstructured":"Homer (1984) The iliad. Oxford Paperbacks"},{"issue":"26","key":"1_CR175","doi-asserted-by":"publisher","first-page":"219","DOI":"10.3406\/phlou.1977.5934","volume":"75","author":"H Hubien","year":"1977","unstructured":"Hubien H (1977) Logiciens m\u00e9di\u00e9vaux et logique d\u2019aujourd\u2019hui. Revue Philosophique de Louvain 75(26):219\u2013233","journal-title":"Revue Philosophique de Louvain"},{"key":"1_CR176","unstructured":"Hughes G (1982) John Buridan on self-reference: chapter eight of Buridan\u2019s Sophismata. An edition and translation with an introduction, and philosophical commentary. Cambridge University Press, London"},{"key":"1_CR177","doi-asserted-by":"crossref","unstructured":"Hume D (1748) An enquiry concerning human understanding. Oxford world\u2019s classics, 2008","DOI":"10.1093\/oseo\/instance.00032980"},{"issue":"3","key":"1_CR178","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10339-004-0025-z","volume":"5","author":"T H\u00fcnefeldt","year":"2004","unstructured":"H\u00fcnefeldt T, Brunetti R (2004) Artificial intelligence as \u201ctheoretical psychology\u201d: Christopher Longuet\u2013Higgins\u2019 contribution to cognitive science. Cogn Process 5(3):137\u2013139","journal-title":"Cogn Process"},{"key":"1_CR179","doi-asserted-by":"crossref","unstructured":"Jaynes ET (1957) Information theory and statistical mechanics I & II. Phys Rev 106(4):620\u2013630 & 108(2):171\u2013190","DOI":"10.1103\/PhysRev.108.171"},{"key":"1_CR180","unstructured":"Jeavons WS (1869) The substitution of similars, the true principle of reasoning, Derived from a Modification of Aristotle\u2019s Dictum. Macmillan & Co"},{"key":"1_CR181","unstructured":"Jeavons WS (1870) Elementary lessons in logic: deductive and inductive, with copious questions and examples, and a vocabulary of logical terms. Macmillan & Co, reprinted by Elibron Classics"},{"key":"1_CR182","doi-asserted-by":"crossref","unstructured":"Johnson-Laird PN (1978) What\u2019s wrong with Grandma\u2019s guide to procedural semantics: a reply to Jerry Fodor. Cognition pp 249\u2013261","DOI":"10.1016\/0010-0277(78)90016-1"},{"key":"1_CR183","unstructured":"Jones RB (ed) (2012) The Organon: the works of Aristotle on logic. CreateSpace independent publishing platform, includes six works on logic: the categories; On interpretation; The prior analytics; The posterior analytics; The topics; The sophistical refutations"},{"key":"1_CR184","unstructured":"Kalinowski G (1982) La logique juridique et son histoire. Archives de Philosophie du Droit 27:275\u2013289, republ. in Anuario Filos\u00f3fico, vol 16, pp 331\u2013350, 1983"},{"key":"1_CR185","volume-title":"A treatise on probability","author":"JM Keynes","year":"1921","unstructured":"Keynes JM (1921) A treatise on probability. Macmillan & Co., London"},{"key":"1_CR186","volume-title":"Studies and exercises in formal logic, including a generalization of logical processes in their application to complex inferences","author":"JN Keynes","year":"1900","unstructured":"Keynes JN (1900) Studies and exercises in formal logic, including a generalization of logical processes in their application to complex inferences. Macmillan & Co., London"},{"key":"1_CR187","unstructured":"Kleene SC (1952) Introduction to metamathematics. North Holland, Amsterdam"},{"key":"1_CR188","unstructured":"Kleene SC (1956) Representation of events in nerve nets. In: Shannon CE, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 3\u201340. 1st version: Representation of events in nerve nets and finite automata, U.S. Air Force, Project RAND, Research Memorandum 704, 98 p, 15 December 1951"},{"issue":"1","key":"1_CR189","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke S (1959) A completeness theorem in modal logic. J Symb Log 24(1):1\u201314","journal-title":"J Symb Log"},{"key":"1_CR190","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke S (1963) Semantical considerations on modal logic. Acta Philos Fenn 16:83\u201394","journal-title":"Acta Philos Fenn"},{"key":"1_CR191","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1214\/aoms\/1177729694","volume":"22","author":"S Kullback","year":"1951","unstructured":"Kullback S, Leibler R (1951) On information and sufficiency. Ann Math Stat 22:79\u201386","journal-title":"Ann Math Stat"},{"key":"1_CR192","volume-title":"The age of intelligent machines","author":"R Kurzweil","year":"1990","unstructured":"Kurzweil R (1990) The age of intelligent machines. MIT, Cambridge"},{"key":"1_CR193","unstructured":"La Mettrie (Offray de) J (1747) Man a machine and man a plant. Hackett Publishing Company, 1994, also author of L\u2019Homme plus que Machine (1748) (republished by Rivages, Payot, 2004) and of Les Animaux plus que Machines (1750)"},{"key":"1_CR194","doi-asserted-by":"crossref","unstructured":"Ladd C (1883) On the algebra of logic. In: Peirce CS (ed) Studies in logic by members of the Johns Hopkins University, Little, Brown, and Company, Baltimore, pp 17\u201371","DOI":"10.1037\/12811-004"},{"key":"1_CR195","unstructured":"Lambert JH (1764) Neues Organon oder Gedanken \u00fcber die Erforschung und Bezeichnung des Wahren und dessen Unterscheidung vom Irrthum und Schein. Reprinted in Philosophische Schriften. Volume II, Georg Olms Verlagsbuchhandlung, Hildesheim, 1965; and by Akademie Verlag Berlin, 1990"},{"key":"1_CR196","unstructured":"Lambert of Auxerre (2015) Logica, or Summa Lamberti. University of Notre Dame Press, translated, with introduction and notes, by Th. S. Maloney"},{"key":"1_CR197","unstructured":"Langius IC (1714) Inventvm Novvm Quadrati Logici Vniversalis [...]. Gissa Hassorum: Henningius Mllerus"},{"key":"1_CR198","volume-title":"La Machine Nerveuse","author":"L Lapicque","year":"1943","unstructured":"Lapicque L (1943) La Machine Nerveuse. Flammarion, Paris"},{"key":"1_CR199","unstructured":"Laplace PS (1814) Essai Philosophique sur les Probabilit\u00e9s. Madame Veuve Courcier, Paris, republ. by Christian Bourgois, 1986; English translate A Philosophical Essay on Probabilities, Dover Publications, New York, 1951"},{"key":"1_CR200","unstructured":"Largeault J (1972) Logique Math\u00e9matique. Textes. Collection U, Armand Colin, Paris, texts by J. Lukasiewicz, E. Post, E.W. Beth, Th. Skolem, L. L\u00f6wenheim, K. G\u00f6del, L. Henkin, D. Hilbert"},{"key":"1_CR201","unstructured":"Leibniz GW (1703) Explication de l\u2019arithm\u00e9tique binaire, qui se sert des seuls caract\u00e8res 0 & 1; avec des Remarques sur son utilit\u00e9, & sur ce qu\u2019elle donne le sens des anciennes figures Chinoises de Fohy. Compte Rendu de l\u2019Acad\u00e9mie des Sciences (Paris), M\u00e9moires pp 85\u201389, English translation by L. Strickland available online: Explanation of binary arithmetic, which uses only the characters 0 and 1, with some remarks on its usefulness, and on the light it throws on the ancient Chinese figures of Fuxi"},{"issue":"1","key":"1_CR202","doi-asserted-by":"publisher","first-page":"50","DOI":"10.11590\/abhps.2017.1.03","volume":"5","author":"J Lemanski","year":"2017","unstructured":"Lemanski J (2017) Periods in the use of Euler-type diagrams. Acta Baltica Historiae et Philosophiae Scientiarum 5(1):50\u201369","journal-title":"Acta Baltica Historiae et Philosophiae Scientiarum"},{"issue":"1","key":"1_CR203","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/01445340.2017.1341074","volume":"39","author":"J Lemanski","year":"2018","unstructured":"Lemanski J (2018) Logic diagrams in the Weigel and Weise circles. Hist Philos Log 39(1):3\u201328","journal-title":"Hist Philos Log"},{"issue":"2","key":"1_CR204","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11787-016-0143-2","volume":"10","author":"W Lenzen","year":"2016","unstructured":"Lenzen W (2016) Leibniz\u2019s logic and the \u201ccube of opposition\u201d. Log Univ 10(2):171\u2013189","journal-title":"Log Univ"},{"key":"1_CR205","unstructured":"Le\u015bniewski S (1992) Collected works. In: Surma SJ, Srzednicki JT, Barnett DI, Rickey VF (eds) Nijhoff international philosophy series, vol I, II. Kluwer, Dordrecht"},{"issue":"11","key":"1_CR206","doi-asserted-by":"publisher","first-page":"1940","DOI":"10.1109\/JRPROC.1959.287207","volume":"47","author":"JY Lettvin","year":"1959","unstructured":"Lettvin JY, Maturana HR, McCulloch WS, Pitts WH (1959) What the frog\u2019s eye tells the frog\u2019s brain. Proc IRE 47(11):1940\u20131951","journal-title":"Proc IRE"},{"issue":"4","key":"1_CR207","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/BF00262950","volume":"2","author":"D Lewis","year":"1973","unstructured":"Lewis D (1973) Counterfactuals and comparative possibility. J Philos Log 2(4):418\u2013446","journal-title":"J Philos Log"},{"key":"1_CR208","unstructured":"Lighthill J (1973) Artificial intelligence: a paper symposium. Science Research Council, UK, contents: Part I: Artificial intelligence: a general survey (Sir James Lighthill) Part II: Some comments on the Lighthill report and on artificial intelligence (N.S. Sutherland), Part III: Comments on the Lighthill report and the Sutherland reply, par R.M. Needham, H.C. Longuet-Higgins, et par D. Michie"},{"key":"1_CR209","unstructured":"Lindsay RK (1963) Inferential memory as the basis of machines which understand natural language. In: Feigenbaum EA, Feldman J (eds) Computers and thought. McGraw-Hill, New York, pp 217\u2013233"},{"key":"1_CR210","unstructured":"Lindsay RK, Buchanan BG, Feigenbaum EA, Lederberg J (1980) Applications of artificial intelligence for organic chemistry: the DENDRAL project. McGraw-Hill, New York"},{"issue":"3","key":"1_CR211","first-page":"23","volume":"60","author":"D Link","year":"2012","unstructured":"Link D (2012) Programming ENTER: Christopher Strachey\u2019s draughts program. Computer resurrection. Bull Comput Conserv Soc 60(3):23\u201331","journal-title":"Bull Comput Conserv Soc"},{"key":"1_CR212","doi-asserted-by":"crossref","unstructured":"Locke J (1690) An essay concerning human understanding. Penguin Classics, 1998","DOI":"10.1093\/oseo\/instance.00018020"},{"key":"1_CR213","doi-asserted-by":"crossref","unstructured":"Londey D, Johanson C (1984) Apuleius and the square of opposition. Phronesis 29(2):165\u2013173. Correction, Phronesis 30:209 (1985)","DOI":"10.1163\/156852884X00139"},{"key":"1_CR214","unstructured":"Londey D, Johanson C (1987) The Logic of Apuleius, including a complete Latin text and English translation of the Peri Hermeneias of Apuleius of Madaura. E.J. Brill, Leiden & New York, Philosophia Antiqua series, v. 47"},{"key":"#cr-split#-1_CR215.1","unstructured":"\u0141ukasiewicz J (1913) Die Logischen Grundlagen der Wahrscheinlichkeitsrechnung. In: Borkowski L"},{"key":"#cr-split#-1_CR215.2","unstructured":"(ed) Jan \u0141ukasiewicz - Selected works. North-Holland, Amsterdam. Polish Scientific Publishers, Warsaw, 1970. Logical foundations of probability theory, English translation, pp 16-63"},{"key":"#cr-split#-1_CR216.1","unstructured":"\u0141ukasiewicz J (1930) Philosophical remarks on many-valued systems of propositional logic. In: Borkowski L"},{"key":"#cr-split#-1_CR216.2","unstructured":"(ed) Jan \u0141ukasiewicz - Selected works, North-Holland, Amsterdam. Polish Scientific Publishers, Warsaw, 1970, pp 153-179"},{"issue":"1","key":"1_CR217","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0020-7373(75)80002-2","volume":"7","author":"EH Mamdani","year":"1975","unstructured":"Mamdani EH, Assilian S (1975) An experiment in linguistic synthesis with a fuzzy logic controller. Int J Man-Mach Stud 7(1):1\u201313","journal-title":"Int J Man-Mach Stud"},{"key":"1_CR218","volume-title":"Poup\u00e9es \u00c9lectriques, drame en trois actes, avec une Pr\u00e9face sur le Futurisme","author":"FT Marinetti","year":"1909","unstructured":"Marinetti FT (1909) Poup\u00e9es \u00c9lectriques, drame en trois actes, avec une Pr\u00e9face sur le Futurisme. E. Sansot & Cie, Paris"},{"key":"1_CR219","unstructured":"Mariotte E (1678) Essai de Logique, contenant les principes des sciences, et la mani\u00e8re de s\u2019en servir pour faire de bons raisonnements. Reprinted by Fayard, Paris, 1992, followed by Les principes du devoir et des connaissances humaines, attributed to Roberval"},{"key":"1_CR220","unstructured":"Marquis P, Papini O, Prade H (2014) Some elements for a prehistory of artificial intelligence in the last four centuries. In: Schaub T, Friedrich G, O\u2019Sullivan B (eds) Proceedigns of the 21st European conference on artificial intelligence (ECAI\u201914), 18\u201322 August, Prague. Frontiers in artificial intelligence and applications, vol 263. IOS Press, Amsterdam, pp 609\u2013614"},{"key":"1_CR221","unstructured":"Marr D (1982) Vision. W.H. Freeman and Co., San Francisco, r\u00e9d. MIT Press, Cambridge, 2010. Foreword: S. Ullman; Afterword: T. Poggio"},{"key":"1_CR222","doi-asserted-by":"crossref","unstructured":"Martin T (2006a) La logique probabiliste de Gabriel Cramer. Math Sci Hum $$44^e$$ ann\u00e9e(4):43\u201360","DOI":"10.4000\/msh.3647"},{"key":"1_CR223","unstructured":"Martin T (2006b) Logique du probable de Jacques Bernoulli \u00e0 J.-H. Lambert. Journ@l \u00e9lectronique d\u2019Histoire des Probabilit\u00e9s et des Statistiques 2(1b)"},{"key":"1_CR224","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.ijar.2009.06.011","volume":"52","author":"T Martin","year":"2011","unstructured":"Martin T (2011) J.-H. Lambert\u2019s theory of probable syllogisms. Int J Approx Reason 52:144\u2013152","journal-title":"Int J Approx Reason"},{"key":"1_CR225","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2307\/2183106","volume":"72","author":"GI Mavrodes","year":"1963","unstructured":"Mavrodes GI (1963) Some puzzles concerning omnipotence. Philos Rev 72:221\u2013223","journal-title":"Philos Rev"},{"key":"1_CR226","unstructured":"McCarthy J (1990) In: Lifschitz V (ed) Formalizing common sense: papers by John McCarthy. Intellect Books"},{"key":"1_CR227","volume-title":"Defending AI research: a collection of essays and reviews","author":"J McCarthy","year":"1996","unstructured":"McCarthy J (1996) Defending AI research: a collection of essays and reviews. CSLI Publications, Stanford"},{"key":"1_CR228","unstructured":"McCarthy J, Hayes P (1979) Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds) Machine intelligence, vol 4. Edinburgh University Press, Edinburgh, pp 463\u2013502"},{"key":"1_CR229","doi-asserted-by":"crossref","unstructured":"McCarthy J, Abrahams PW, Edwards DJ, Hart TP, Levin MI (1962) LISP 1.5 programmer\u2019s manual, 2nd edn. MIT Press, Cambridge, 1985. The Computation Center And Research Laboratory of Electronics","DOI":"10.21236\/AD0406138"},{"issue":"4","key":"1_CR230","first-page":"12","volume":"27","author":"J McCarthy","year":"2006","unstructured":"McCarthy J, Minsky M, Rochester N, Shannon CE (2006) A proposal for the Dartmouth summer research project on artificial intelligence, August 31, 1955. AI Mag 27(4):12\u201314","journal-title":"AI Mag"},{"key":"1_CR231","unstructured":"McCorduck P (1979) Machines who think. A personal inquiry into the history and prospects of artificial intelligence. W.H. Freeman and Company, San Francisco"},{"key":"1_CR232","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch WS, Pitts W (1943) A logical calculus of ideas immanent in nervous activity. Bull Math Biophys 5:115\u2013133","journal-title":"Bull Math Biophys"},{"key":"1_CR233","unstructured":"Meltzer B, Michie D (eds) (1968\u20131972) Machine intelligence 3\u20137. American Elsevier Publishing Company, New York"},{"key":"1_CR234","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1073\/pnas.28.12.535","volume":"28","author":"K Menger","year":"1942","unstructured":"Menger K (1942) Statistical metrics. Proc Nat Acad Sci USA 28:535\u2013537","journal-title":"Proc Nat Acad Sci USA"},{"key":"1_CR235","unstructured":"M\u00e9rim\u00e9e P (1837) La V\u00e9nus d\u2019Ille. Emile Colin et Cie, English translated by Venus of Ille and other stories. Oxford library of French classics. Oxford University Press, Oxford, 1966"},{"key":"1_CR236","unstructured":"Meusnier N, Piron S (2007) Medieval probabilities: a reappraisal. In: Journ@l \u00e9lectronique d\u2019Histoire des Probabilit\u00e9s et des Statistiques 3(1)"},{"key":"1_CR237","unstructured":"Meyrink G (1915) Der Golem. English translated by The Golem. European Classics Paperback, Dedalus Ltd., 1985"},{"key":"1_CR238","unstructured":"Michie D (1963) Experiments on the mechanization of game-learning. Part I. Characterization of the model and its parameters. Comput J 6(3):232\u2013236"},{"key":"1_CR239","unstructured":"Minsky M (1954) Theory of neural-analog reinforcement systems and its application to the brain-model problem. Typewritten ms., dated 1953; PhD thesis, Princeton University"},{"key":"1_CR240","unstructured":"Minsky M (1975) Minsky\u2019s frame system theory. In: Proceedings of the 1975 workshop on theoretical issues in natural language processing (TINLAP \u201975), Association for computational linguistics, pp 104\u2013116, the article originally appeared without any author name"},{"key":"1_CR241","unstructured":"Minsky M (1986) The society of mind. Simon & Schuster, Inc"},{"key":"1_CR242","unstructured":"Minsky M, Papert S (1969) Perceptrons: an introduction to computational geometry, 2nd edn. The MIT Press, Cambridge, revised 1972"},{"key":"1_CR243","unstructured":"Minsky M, Selfridge OG (1961) Learning in random nets. In: Proceedings of the 4th London symposium on information theory, Butterworth Ltd., London, pp 335\u2013347"},{"key":"1_CR244","doi-asserted-by":"crossref","unstructured":"Mitchell OH (1883) On a new algebra of logic. In: Peirce CS (ed) Studies in logic by members of the Johns Hopkins University, Little, Brown and Company, Baltimore, pp 72\u2013106","DOI":"10.1037\/12811-005"},{"key":"1_CR245","unstructured":"Moisil G (1972) La logique des concepts nuanc\u00e9s. In: Essais sur les Logiques Non Chrysippiennes, Editions Acad. Repub. Soc. Roum., Bucharest, pp 157\u2013163"},{"key":"1_CR246","first-page":"201","volume-title":"Knowledge and cognition","author":"J Moore","year":"1974","unstructured":"Moore J, Newell A (1974) How can Merlin understand? In: Gregg L (ed) Knowledge and cognition. Erlbaum, Hillsdale, pp 201\u2013252"},{"key":"1_CR247","unstructured":"Moravec HP (1982) The CMU rover. In: Waltz DL (ed) Proceedings of the national conference on artificial intelligence. Pittsburgh, 18\u201320 August. AAAI Press, pp 377\u2013380"},{"key":"1_CR248","unstructured":"More T (1962) Relations between implicational calculi. Technical report. MIT, Cambridge. PhD Dissertation, May"},{"issue":"4","key":"1_CR249","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1080\/01445340.2014.981022","volume":"35","author":"A Moretti","year":"2014","unstructured":"Moretti A (2014) Was Lewis Carroll an amazing oppositional geometer? Hist Philos Log 35(4):383\u2013409","journal-title":"Hist Philos Log"},{"key":"1_CR250","unstructured":"Nagel E, Newman JR (1958) G\u00f6del\u2019s proof. New York University Press, New York"},{"key":"1_CR251","doi-asserted-by":"crossref","unstructured":"Nash J (1951) Non-cooperative games. Ann Math (2nd Series) 54:286\u2013295","DOI":"10.2307\/1969529"},{"issue":"1","key":"1_CR252","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0004-3702(77)90006-6","volume":"8","author":"R Nevatia","year":"1977","unstructured":"Nevatia R, Binford TO (1977) Description and recognition of curved objects. Artif Intell 8(1):77\u201398","journal-title":"Artif Intell"},{"key":"1_CR253","unstructured":"Newell A (1981) The heuristic of George Polya and its relation to artificial intelligence. Technical report, Computer Science Department, Carnegie Mellon University, Paper 2413"},{"key":"#cr-split#-1_CR254.1","unstructured":"Newell A, Simon HA (1956) The logic theory machine. A complex information processing system. The Rand Corporation, Santa Monica, CA, report P-868, 15 June 1956"},{"key":"#cr-split#-1_CR254.2","doi-asserted-by":"crossref","unstructured":"Proceedings of the IRE Transactions on Information Theory (IT-2), September 1956, pp 61-79","DOI":"10.1109\/TIT.1956.1056797"},{"key":"1_CR255","unstructured":"Newell A, Simon HA (1972) Human problem solving, 1st edn. Prentice-Hall, Englewood Cliffs. 1st print. 920 pp; 2nd print. 784 pp"},{"key":"1_CR256","doi-asserted-by":"crossref","unstructured":"Newell A, Shaw JC, Simon HA (1957) Empirical explorations of the logic theory machine. A case study in heuristic. In: Proceedings of the Western joint computer conference, pp 218\u2013239","DOI":"10.1145\/1455567.1455605"},{"key":"1_CR257","unstructured":"Newell A, Shaw JC, Simon HA (1959) Report on a general problem-solving program. In: Proceedings of the international conference on information processing, pp 256\u2013264"},{"key":"1_CR258","doi-asserted-by":"crossref","unstructured":"Nilsson NJ (2010) The quest for artificial intelligence: a history of ideas and achievements. University Press, Cambridge","DOI":"10.1017\/CBO9780511819346"},{"key":"1_CR259","unstructured":"Ovid (1998) Metamorphoses. Oxford Paperbacks"},{"key":"1_CR260","unstructured":"Papert S (1980) Mindstorms: children, computers, and powerful ideas. Prentice Hall\/Harvester"},{"key":"1_CR261","unstructured":"Pareto V (1961) On logical and non-logical action. In: Parsons T, Shils E, Naegele KD, Pitts JR (eds) Theories of society. Foundations of modern sociological theory, vol II. The Free Press of Glencoe, Inc., pp 1061\u20131063"},{"key":"1_CR262","unstructured":"Parsons T (2017) The traditional square of opposition. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, Metaphysics Research Lab, Stanford University"},{"key":"1_CR263","unstructured":"Peirce CS (1870) Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole\u2019s calculus of logic. Memoirs of the American academy of arts and sciences 9:317\u2013378, reprinted in Collected Papers, vol 3, pp 45\u2013149"},{"key":"1_CR264","doi-asserted-by":"crossref","unstructured":"Peirce CS (1880) On the algebra of logic. Am J Math 3:15\u201357, reprinted in Collected Papers, vol 3, pp 154\u2013251, 1960","DOI":"10.2307\/2369442"},{"key":"1_CR265","doi-asserted-by":"crossref","unstructured":"Peirce CS (1885) On the algebra of logic: a contribution to the philosophy of notation. Am J Math 7(2):180\u2013202, reprinted in Collected Papers, vol 3, pp 359\u2013403, 1960","DOI":"10.2307\/2369451"},{"key":"1_CR266","unstructured":"Peirce CS (1931) Collected papers of Charles Sanders Peirce. Harvard University Press, Cambridge. Publication 1931\u20131935, 1958"},{"key":"1_CR267","unstructured":"Peirce CS (1955) Philosophical writings. Selected and edited, with an introduction by J. Buchler, Dover Publications"},{"key":"1_CR268","doi-asserted-by":"crossref","unstructured":"Peter of Spain (2014) Summaries of logic [Tractatus]. Oxford University Press, New York, translated with introduction and notes by B.P. Copenhaver, C.G. Normore and T. Parsons","DOI":"10.1093\/actrade\/9780199669585.book.1"},{"key":"1_CR269","unstructured":"Petronius (1969) The Satyricon & the fragments. Penguin Books"},{"key":"1_CR270","unstructured":"Piaget J (1949) Trait\u00e9 de Logique. Essai de Logistique Op\u00e9ratoire. Armand Colin, Paris, 2nd revised ed.: Essai de logique op\u00e9ratoire, in collaboration with Jean-Blaise Grize, Dunod, Paris, 1972"},{"key":"1_CR271","volume-title":"Un programme de d\u00e9monstration de th\u00e9or\u00e8mes","author":"J Pitrat","year":"1970","unstructured":"Pitrat J (1970) Un programme de d\u00e9monstration de th\u00e9or\u00e8mes. Dunod, Paris"},{"issue":"3","key":"1_CR272","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(77)90032-7","volume":"8","author":"J Pitrat","year":"1977","unstructured":"Pitrat J (1977) A chess combination program which uses plans. Artif Intell 8(3):275\u2013321","journal-title":"Artif Intell"},{"key":"1_CR273","unstructured":"Pitrat J (2000) M\u00e9taconnaissance : Futur de l\u2019Intelligence Artificielle. Hermes Science Publications"},{"key":"1_CR274","unstructured":"Ploucquet G (2006) Logik. Georg Olms, Hildesheim, herausgegeben, \u00fcbersetzt und mit einer Einleitung versehen von M. Franz"},{"key":"1_CR275","unstructured":"Poe EA (1836) Maelzel\u2019s chess player. Southern Literary Messenger, Richmond"},{"key":"1_CR276","unstructured":"Polya G (1945) How to solve it, 2nd edn. Princeton University Press, Princeton, 1957"},{"key":"1_CR277","doi-asserted-by":"crossref","unstructured":"Polya G (1954) Mathematics and plausible reasoning, 2nd edn. Vol. 1: Induction and analogy in mathematics. Vol. 2: Patterns of plausible inference. Princeton University Press, Princeton, 1968","DOI":"10.1515\/9780691218304"},{"key":"1_CR278","volume-title":"Thinking machines: the evolution of artificial intelligence","author":"V Pratt","year":"1987","unstructured":"Pratt V (1987) Thinking machines: the evolution of artificial intelligence. Basil Blackwell Ltd., Oxford and New York"},{"issue":"4","key":"1_CR279","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s10849-011-9144-y","volume":"20","author":"I Pratt-Hartmann","year":"2011","unstructured":"Pratt-Hartmann I (2011) The Hamiltonian syllogistic. J Log Lang Inf 20(4):445\u2013474","journal-title":"J Log Lang Inf"},{"key":"1_CR280","unstructured":"Quine WVO (1941) Elementary logic, 2nd edn. Harper & Row, New York, 1965"},{"key":"1_CR281","unstructured":"Rahman S, Redmond J (2007) Hugh MacColl. An overview of his logical work with anthology. College Publications"},{"key":"1_CR282","unstructured":"Ramsey FP (1931) Foundations - essays in philosophy, logic, mathematics and economics. Ed. by D.H. Mellor, republ. by Humanities Press, 1978"},{"key":"1_CR283","volume-title":"The thinking computer: mind inside matter","author":"B Raphael","year":"1976","unstructured":"Raphael B (1976) The thinking computer: mind inside matter. W.H. Freeman and Co., San Francisco"},{"key":"1_CR284","doi-asserted-by":"publisher","first-page":"303","DOI":"10.4169\/074683410X510308","volume":"41","author":"TC Ratliff","year":"2010","unstructured":"Ratliff TC (2010) Lewis Carroll, voting, and the taxicab metric. Coll Math J 41:303\u2013311","journal-title":"Coll Math J"},{"key":"1_CR285","unstructured":"Read S (2010) Thomas Bradwardine, \u201cInsolubilia\u201d. Dallas Medieval Texts and Translations, 10, Peeters Editions, Leuven, Latin text and English translation"},{"key":"1_CR286","series-title":"Studies in universal logic","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-0348-0379-3_6","volume-title":"Around and beyond the square of opposition","author":"S Read","year":"2012","unstructured":"Read S (2012) John Buridan\u2019s theory of consequence and his octagons of opposition. In: B\u00e9ziau J, Jacquette D (eds) Around and beyond the square of opposition. Studies in universal logic. Springer, Basel, pp 93\u2013110"},{"key":"1_CR287","unstructured":"Rescher N (1963) Studies in the history of Arabic logic. University of Pittsburgh Press, Pittsburgh"},{"key":"1_CR288","volume-title":"The development of Arabic logic","author":"N Rescher","year":"1964","unstructured":"Rescher N (1964) The development of Arabic logic. University of Pittsburgh Press, Pittsburgh"},{"key":"1_CR289","doi-asserted-by":"crossref","unstructured":"Rescher N (1967) Temporal modalities in Arabic logic. Foundations of language, supplementary series. D. Reidel Publishing Company, Dordrecht","DOI":"10.1007\/978-94-010-3523-1"},{"key":"1_CR290","volume-title":"Plausible reasoning","author":"N Rescher","year":"1976","unstructured":"Rescher N (1976) Plausible reasoning. Van Gorcum, Amsterdam"},{"key":"1_CR291","unstructured":"Robida A (1883) Le Vingti\u00e8me Si\u00e8cle. Georges Decaux, Paris, illustrated by the author; English transl The twentieth century. Wesleyan University Press, Early classics of science fiction, 2004"},{"issue":"1","key":"1_CR292","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson JA (1965) A machine-oriented logic based on the resolution principle. J ACM 12(1):23\u201341","journal-title":"J ACM"},{"key":"1_CR293","doi-asserted-by":"crossref","unstructured":"Rochester N, Holland JH, Haibt LH, Duda WL (1956) Tests on a cell assembly theory of the action of the brain using a large digital computer. IRE Trans Inf Theory IT-2:80\u201393","DOI":"10.1109\/TIT.1956.1056810"},{"key":"1_CR294","unstructured":"Rose F (1984) Into the heart of the mind: an American quest for artificial intelligence. Harper & Row"},{"key":"1_CR295","doi-asserted-by":"crossref","unstructured":"Rosenblatt F (1962) Principles of neurodynamics: perceptrons and the theory of brain mechanisms. Spartan Books","DOI":"10.21236\/AD0256582"},{"issue":"1","key":"1_CR296","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1086\/286788","volume":"10","author":"A Rosenblueth","year":"1943","unstructured":"Rosenblueth A, Wiener N, Bigelow J (1943) Behavior, purpose and teleology. Philos Sci 10(1):18\u201324","journal-title":"Philos Sci"},{"key":"1_CR297","unstructured":"Roussel R (1914) Locus Solus. Alphonse Lemerre, English translation Locus Solus by R.C. Cunningham, New Directions Publishing Corporation, 2017"},{"key":"1_CR298","unstructured":"Russell B (1956) Logic and knowledge. Essays 1901\u20131950. George Allen & Unwin Ltd., London & Macmillan, New York, edited by R.C. Marsh"},{"key":"1_CR299","unstructured":"Sacerdoti ED (1977) Structure for plans and behaviour. Elsevier, Amsterdam"},{"key":"1_CR300","doi-asserted-by":"crossref","unstructured":"Samuel A (1959) Some studies in machine learning using the game of checkers. IBM J 3(3):210\u2013229, some studies in machine learning using the game of checkers. II. Recent progress. IBM J 11(6):601\u2013617, 1967","DOI":"10.1147\/rd.116.0601"},{"key":"1_CR301","unstructured":"Sarukkai S (ed) (2018) Handbook of logical thought in India. Springer, Berlin. Contents: Buddhist logic: sample texts (P.P. Gokhale); Convergence and divergence of Ny\u0101ya and Tattvav\u0101da (Dvaita) theories of logic (V. Nishanka); Dependency of inference on perception and verbal testimony (P Vinay); Early Ny\u0101ya logic: rhetorical aspects (K. Lloyd); General introduction to Buddhist logic (J. Tuske); General introduction to logic in Jainism with a list of logicians and their texts (J. Soni); Introduction to Buddhist logicians and their texts (M. Chattopadhyay); Later Ny\u0101ya logic: computational aspects (A. Kulkarni); Logic in Tamil didactic literature (T. Jayaraman); Logic of Sy\u0101d-V\u0101da (A. Clavel); Logical argument in Vidy\u0101nandins Satya-\u015b\u0101sana-par\u012bk\u015f\u0101 (H. Trikha) Some issues in Buddhist logic (P.P. Gokhale, K. Bhattacharya) The logic of late Ny\u0101ya: a property-theoretic framework for a formal reconstruction (E. Guhe); The logic of late Ny\u0101ya: problems and issues (E. Guhe); The opponent: jain logicians reacting to Dharmak\u012brtis theory of inference (M.-H. Gorisse)"},{"key":"1_CR302","unstructured":"Savage LJ (1954) The foundations of statistics. Wiley, New York. 2nd revised edition, 1972"},{"key":"1_CR303","first-page":"187","volume-title":"Computer models of thought and language","author":"R Schank","year":"1973","unstructured":"Schank R (1973) Identification of conceptualizations underlying natural language. In: Schank R, Colby K (eds) Computer models of thought and language. W.H. Freeman and Co., San Francisco, pp 187\u2013247"},{"key":"1_CR304","unstructured":"Schank R, Abelson RP (1977) Scripts, plans, goals and understanding: an inquiry into human knowledge structures. Erlbaum"},{"key":"1_CR305","unstructured":"Schr\u00f6der E (1890) Vorlesungen \u00fcber die Algebra der Logik, 3 vols. B.G. Teubner, Leipzig. Publication 1890\u20131905, republ. by Chelsea, 1966; Thoemmes Press, 2000"},{"key":"1_CR306","unstructured":"Schumann A (2012) Studies in Talmudic logic. Vol 6: Talmudic logic. College Publications"},{"key":"1_CR307","doi-asserted-by":"crossref","unstructured":"Schumann A (ed) (2017) Studies in Talmudic logic. Vol. 14: Philosophy and history of Talmudic logic. College Publications","DOI":"10.1515\/sh-2017-0007"},{"key":"1_CR308","doi-asserted-by":"crossref","unstructured":"Selfridge O (1955) Pattern recognition and modern computers. In: Proceedings of the Western joint computer conference, 1\u20133 March 1955. Institute of Radio Engineers, New York, pp 91\u201393","DOI":"10.1145\/1455292.1455310"},{"key":"1_CR309","unstructured":"Selfridge OG (1959) Pandemonium: a paradigm for learning. In: Blake DV, Uttley AM (eds) Symposium on mechanisation of thought processes, London, 24\u201327 November 1958, pp 511\u2013529"},{"key":"1_CR310","unstructured":"Sesmat A (1951) Logique. I: Les D\u00e9finitions. Les Jugements. Logique II: Les Raisonnements, la Logistique. Hermann, 2 vols. 1950\u20131951, Paris"},{"key":"1_CR311","unstructured":"Shackle GLS (1949) Expectation in economics. Cambridge University Press, Cambridge"},{"key":"1_CR312","volume-title":"Decision, order and time in human affairs","author":"GLS Shackle","year":"1961","unstructured":"Shackle GLS (1961) Decision, order and time in human affairs, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"issue":"4","key":"1_CR313","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00330065","volume":"19","author":"G Shafer","year":"1978","unstructured":"Shafer G (1978) Non-additive probabilities in the work of Bernoulli and Lambert. Arch Hist Exact Sci 19(4):309\u2013370","journal-title":"Arch Hist Exact Sci"},{"key":"1_CR314","doi-asserted-by":"crossref","unstructured":"Shafer G (2018) Marie-France Bru and Bernard Bru on dice games and contracts. Statistical Science To appear","DOI":"10.1214\/17-STS639"},{"key":"1_CR315","unstructured":"Shannon CE (1938) A symbolic analysis of relay and switching circuits. Trans AIEE 57(12):713\u2013723, the master thesis of the author, with the same title, is from 1937"},{"key":"1_CR316","unstructured":"Shannon CE (1950) Programming a computer for playing chess. Philos Mag (7th Series) XLI(314):256\u2013275, presented at the National Institute of Radio Engineers Convention, 9 March 1949, New York"},{"key":"1_CR317","unstructured":"Shannon CE (1956) A chess-playing machine. In: Newman JR (ed) The world of mathematics - a small library of the literature of mathematics from A\u2019H-Mose the scribe to Albert Einstein (4 Vols), vol\u00a04. Simon & Schuster, New York, pp 2124\u20132135. In: Part XIX: Mathematical machines: can a machine think?"},{"key":"1_CR318","unstructured":"Shelley MW (1818) Frankenstein: or the modern prometheus. Oxford Paperbacks, 1980"},{"key":"1_CR319","unstructured":"Sherwood W (1966) William of Sherwood\u2019s introduction to logic. University of Minnesota Press, Minneapolis, with translation, introduction and notes by N. Kretzmann"},{"key":"1_CR320","unstructured":"Shin SJ, Lemon O (2008) Diagrams. In: Zalta EN (ed) The Stanford encyclopedia of philosophy (Winter 2008 Edition)"},{"key":"1_CR321","doi-asserted-by":"crossref","unstructured":"Slagle JR (1963) A heuristic program that solves symbolic integration problems in freshman calculus. In: Feigenbaum EA, Feldman J (eds) Computers and thought, McGraw-Hill, New York, pp 191\u2013203","DOI":"10.1145\/321186.321193"},{"key":"1_CR322","doi-asserted-by":"crossref","unstructured":"Smalbrugge MA (1986) L\u2019argumentation probabiliste d\u2019Augustin dans le Contra Academicos. Revue des \u00c9tudes Augustiniennes XXXII:41\u201355","DOI":"10.1484\/J.REA.5.104527"},{"key":"1_CR323","unstructured":"Smith RG (1984) On the development of commercial expert systems. AI Mag Fall:61\u201373"},{"key":"1_CR324","doi-asserted-by":"crossref","unstructured":"Sobel JH (2004) Logic and theism: arguments for and against beliefs in god. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511497988"},{"key":"1_CR325","unstructured":"Solomonoff RJ (1956) An inductive inference machine. Technical report, Technical Research Group, New York City, 61 p. http:\/\/world.std.com\/~rjs\/indinf56.pdf . Revised version published later as A formal theory of inductive inference, Information and Control, vol 7, pp 1\u201322 and 224\u2013254, 1964"},{"issue":"2","key":"1_CR326","first-page":"142","volume":"2","author":"R Sousa Silvestre","year":"2015","unstructured":"Sousa Silvestre R (2015) On the logical formalization of Anselm\u2019s ontological argument. Revista Brasileira de Filosofia da Religi\u00e3 o 2(2):142\u2013161","journal-title":"Revista Brasileira de Filosofia da Religi\u00e3 o"},{"key":"1_CR327","first-page":"177","volume":"46","author":"PV Spade","year":"1979","unstructured":"Spade PV (1979) Roger Swyneshed\u2019s Insolubilia: Edition and Comments. Archives d\u2019Histoire Doctrinale et Litt\u00e9raire du Moyen \u00c2ge 46:177\u2013220","journal-title":"Archives d\u2019Histoire Doctrinale et Litt\u00e9raire du Moyen \u00c2ge"},{"key":"1_CR328","unstructured":"Spade PV, Read S (2018) Insolubles. In: Zalta E (ed) The Stanford encyclopedia of philosophy, Metaphysics Research Lab, Stanford University"},{"key":"1_CR329","doi-asserted-by":"crossref","unstructured":"Strachey CS (1952) Logical or non-mathematical programmes. In: Proceedings of the 1952 ACM national meeting, Toronto, 8\u201310 September 1952, pp 46\u201349","DOI":"10.1145\/800259.808992"},{"key":"1_CR330","unstructured":"Stuart Mill J (1843) A system of logic, ratiocinative and inductive, being a connected view of the principles of evidence and the methods of scientific investigation. John W. Parker, London. 2 vols.: XVI $$+$$ 580, XII $$+$$ 624 pp; republished by University of Toronto Press, Routledge & Kegan Paul, 1974"},{"key":"1_CR331","unstructured":"Stuart Mill J (1863) Utilitarianism. Parker, Son, and Bourn, London"},{"key":"1_CR332","first-page":"105","volume":"11","author":"R Suszko","year":"1968","unstructured":"Suszko R (1968) Non-fregean logic and theories. Acta Log (Annals of the University of Bucarest) 11:105\u2013125","journal-title":"Acta Log (Annals of the University of Bucarest)"},{"key":"1_CR333","unstructured":"Swift J (1726) Gulliver\u2019s travels. Worlds Classics, Oxford Paperbacks, 1987"},{"key":"1_CR334","unstructured":"Takemura R (2013) Proof theory for reasoning with Euler diagrams. A logic translation and normalization. Stud Log 101(1):157\u2013191"},{"key":"1_CR335","unstructured":"Tarski A (1956) Logic, semantics, metamathematics. Papers from 1923 to 1938. Oxford University Press, Oxford, translated by J.H. Woodger"},{"key":"1_CR336","doi-asserted-by":"crossref","unstructured":"Teixidor J (2003) Aristote en Syriaque. Paul le Perse, logicien du VIe si\u00e8cle. CNRS Editions, Paris","DOI":"10.4000\/books.editionscnrs.8695"},{"key":"1_CR337","unstructured":"Thomas of Britain (1969) Tristan. Penguin Books, includes Tristan by Gottfried von Strassburg, with the surviving fragments of the Tristan of Thomas"},{"key":"1_CR338","volume-title":"Outline of the laws of thought","author":"W Thomson","year":"1842","unstructured":"Thomson W (1842) Outline of the laws of thought. William Pickering, London"},{"key":"1_CR339","volume-title":"An outline of the necessary laws of thought: a treatise on pure and applied logic","author":"W Thomson","year":"1857","unstructured":"Thomson W (1857) An outline of the necessary laws of thought: a treatise on pure and applied logic. Sheldon and Company, New York"},{"key":"1_CR340","unstructured":"Toulmin SE (1958) The uses of argument, 2nd edn. Cambridge University Press, Cambridge, 2003"},{"key":"1_CR341","volume-title":"L\u2019\u00e2me","author":"E Triolet","year":"1963","unstructured":"Triolet E (1963) L\u2019\u00e2me. Gallimard, Paris"},{"key":"1_CR342","unstructured":"Turing A (1948) Intelligent machinery. Report National Physical Laboratory, London, 1948. Reprinted in: Machine intelligence, vol 5. Edinburgh University Press, Edinburgh, pp 3\u201323, 1969"},{"key":"1_CR343","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A Turing","year":"1950","unstructured":"Turing A (1950) Computing machinery and intelligence. Mind 59:433\u2013460","journal-title":"Mind"},{"key":"1_CR344","unstructured":"Turing A (1956) Can a machine think? In: Newman JR (ed) The world of mathematics - a small library of the literature of mathematics from A\u2019H-Mose the scribe to Albert Einstein (4 Vols), vol\u00a04. Simon & Schuster, New York, pp 2099\u20132123. In: Part XIX: Mathematical machines: can a machine think?"},{"key":"1_CR345","first-page":"71","volume-title":"The history of philosophical and formal logic: from Aristotle to Tarski","author":"SL Uckelman","year":"2017","unstructured":"Uckelman SL (2017) Medieval logic. In: Malpass A, Marfori MA (eds) The history of philosophical and formal logic: from Aristotle to Tarski. Bloomsbury, London, pp 71\u201399"},{"key":"1_CR346","unstructured":"Vaucanson J (1738) Le m\u00e9canisme du fluteur automate pr\u00e9sent\u00e9 \u00e0 messieurs de l\u2019Acad\u00e9mie Royale des Sciences, avec la description d\u2019un Canard Artificiel, mangeant, beuvant, digerant & se vuidant, \u00e9pluchant ses a\u00eeles & ses plumes, imitant en diverses mani\u00e8res un Canard vivant, et aussi d\u2019une autre figure \u00e9galement merveilleuse, jouant du Tambourin et de la Flute ... (24 p). Paris, English translated An account of the mechanism of an automaton, or image playing on the German-flute: as it was presented in a memoire, to the gentlemen of the royal academy of sciences at Paris. Together with a description of an artificial duck, Gale ECCO, Print Editions, 2010"},{"key":"1_CR347","unstructured":"Venn J (1866) The logic of chance. Macmillan, London and Cambridge, revised, 1888; reprinted by Dover, New York, 2006"},{"issue":"58","key":"1_CR348","first-page":"1","volume":"10","author":"J Venn","year":"1880","unstructured":"Venn J (1880) On the diagrammatic and mechanical representation of propositions and reasonings. Lond Edinb Dublin Philos Mag J Sci 10(58):1\u201318","journal-title":"Lond Edinb Dublin Philos Mag J Sci"},{"key":"1_CR349","doi-asserted-by":"publisher","DOI":"10.1037\/14127-000","volume-title":"Symb Log","author":"J Venn","year":"1881","unstructured":"Venn J (1881) Symb Log. Macmillan, London"},{"key":"1_CR350","unstructured":"Vigneron H (1914) Les automates. La Nature, Revue des Sciences et de leurs Applications aux Arts et \u00e0 l\u2019Industrie Quarante deuxi\u00e8me ann\u00e9e\u00a0(2142):56\u201361, 13 juin"},{"key":"1_CR351","unstructured":"von Neumann J (1956) The general and logical theory of automata. In: Newman JR (ed) The world of mathematics - a small library of the literature of mathematics from A\u2019H-Mose the scribe to Albert Einstein (4 Vols), vol\u00a04. Simon & Schuster, New York, pp 2070\u20132098. In: Part XIX: Mathematical machines: can a machine think?"},{"key":"1_CR352","unstructured":"von Neumann J (1958) The computer and the brain. Yale University Press, New Haven"},{"key":"1_CR353","unstructured":"von Neumann J (1966) Theory of self-reproducing automata. University of Illinois Press, Urbana, edited and completed by A.W. Burks"},{"key":"1_CR354","unstructured":"von Neumann J, Morgenstern O (1944) Theory of games and economic behavior. Princeton University Press, Princeton"},{"key":"1_CR355","unstructured":"von Sigwart C (1873\u20131878) Logik. Laupp, T\u00fcbingen, English translation by H. Dendy: Logic. Volume 1. The judgment, concept, and inference. Volume 2. Logical methods, Swan Sonnenschein & Co., London, 1895"},{"key":"1_CR356","volume-title":"An essay in modal logic","author":"G von Wright","year":"1951","unstructured":"von Wright G (1951) An essay in modal logic. North-Holland Publishing Co., Amsterdam"},{"key":"1_CR357","volume-title":"La Logique et le Monde Sensible","author":"J Vuillemin","year":"1971","unstructured":"Vuillemin J (1971) La Logique et le Monde Sensible. Flammarion, Paris"},{"issue":"1","key":"1_CR358","doi-asserted-by":"publisher","first-page":"74","DOI":"10.2307\/2182966","volume":"76","author":"C Wade Savage","year":"1967","unstructured":"Wade Savage C (1967) The paradox of the stone. Philos Rev 76(1):74\u201379","journal-title":"Philos Rev"},{"key":"1_CR359","first-page":"19","volume-title":"The psychology of computer vision","author":"D Waltz","year":"1975","unstructured":"Waltz D (1975) Understanding line drawings of scenes with shadows. In: Winston PH (ed) The psychology of computer vision. McGraw-Hill, New York, pp 19\u201391"},{"issue":"1","key":"1_CR360","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/365153.365168","volume":"9","author":"J Weizenbaum","year":"1966","unstructured":"Weizenbaum J (1966) Eliza - a computer program for the study of natural language communication between man and machine. Commun ACM 9(1):36\u201345","journal-title":"Commun ACM"},{"key":"1_CR361","volume-title":"Elements of logic, comprising the substance of the article in the encyclopaedia metropolitana","author":"R Whately","year":"1826","unstructured":"Whately R (1826) Elements of logic, comprising the substance of the article in the encyclopaedia metropolitana. J. Mawman, London"},{"key":"1_CR362","unstructured":"Whitehead AN, Russell B (1910) Principia Mathematica, vol 3. Cambridge University Press, Cambridge. Publication 1910\u20131913; 2 \u00e9d. 1925\u20131927"},{"key":"1_CR363","volume-title":"Cybernetics or control and communication in the animal and the machine","author":"N Wiener","year":"1949","unstructured":"Wiener N (1949) Cybernetics or control and communication in the animal and the machine. Hermann\/Wiley, Paris\/New York"},{"key":"1_CR364","series-title":"Cybernetics and society","volume-title":"The human use of human beings","author":"N Wiener","year":"1950","unstructured":"Wiener N (1950) The human use of human beings. Cybernetics and society. Houghton Mifflin, Boston"},{"key":"1_CR365","volume-title":"Grammar, meaning and the machine analysis of language","author":"Y Wilks","year":"1972","unstructured":"Wilks Y (1972) Grammar, meaning and the machine analysis of language. Routledge, London"},{"key":"1_CR366","unstructured":"Winograd T (1971) Procedures as a representation for data in a computer program for understanding natural language. MIT AI Technical report 235"},{"key":"1_CR367","unstructured":"Wittgenstein L (1921) Tractatus Logico-Philosophicus. Annalen der Naturphilosophie, introduction by B. Russell"},{"key":"1_CR368","unstructured":"Wittgenstein L (1969) On Certainty. Basil Blackwell; Harper & Row Publisher, 1972"},{"key":"1_CR369","unstructured":"Wolff Ch (1713) Vern\u00fcnfftige Gedancken von den Kr\u00e4fften des menschlichen Verstandes und ihrem richtigen Gebrauche in Erk\u00e4ntni$$\\beta $$ der Wahrheit. French translation (by J. Deschamps, Berlin, 1736): R\u00e9flexion sur les forces de l\u2019entendement humain et sur leur l\u00e9gitime usage dans la connaissance de la v\u00e9rit\u00e9, itself translated in English: Logic, or Rational Thoughts on the Powers of the Human Understanding, with their Use and Application in the Knowledge and Search of Truth (Gale Ecco, Print Editions 2010)"},{"key":"1_CR370","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/B978-0-12-108550-6.50007-0","volume-title":"Representation and understanding: studies in cognitive science","author":"WA Woods","year":"1975","unstructured":"Woods WA (1975) What\u2019s in a link: foundations for semantic networks. In: Bobrow D, Collins A (eds) Representation and understanding: studies in cognitive science. Academic, New York, pp 35\u201382"},{"key":"1_CR371","first-page":"557","volume":"20","author":"S Wright","year":"1921","unstructured":"Wright S (1921) Correlation and causation. J Agric Res 20:557\u2013585","journal-title":"J Agric Res"},{"key":"1_CR372","unstructured":"Zadeh LA (1950) Thinking machines. A new field in electrical engineering. Columbia Eng Q 3:12\u201313, 30\u201331"},{"issue":"3","key":"1_CR373","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338\u2013353","journal-title":"Inf Control"},{"issue":"1","key":"1_CR374","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"LA Zadeh","year":"1978","unstructured":"Zadeh LA (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst 1(1):3\u201328","journal-title":"Fuzzy Sets Syst"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T04:37:50Z","timestamp":1666499870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":382,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_1","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}