Donald W. Loveland - Donald W. Loveland

Donald W. Loveland (narozen 26. prosince 1934 v Rochester, New York )^[1] je profesor emeritní z počítačová věda na Duke University kdo se specializuje na umělá inteligence.^[2] On je dobře známý pro Algoritmus Davis – Putnam – Logemann – Loveland.^[3]

Loveland vystudoval Oberlin College v roce 1956 získal magisterský titul z Massachusetts Institute of Technology v roce 1958 a Ph.D. z Newyorská univerzita v roce 1964. Do katedry informatiky na Duke University nastoupil v roce 1973. Předtím působil jako člen fakulty na katedře matematiky na Newyorská univerzita a Univerzita Carnegie Mellon.^[1][4][5]

Obdržel Herbrand Award za významné příspěvky k automatizovanému uvažování v roce 2001.^[5] Je členem Sdružení pro výpočetní techniku (2000),^[6] člen týmu Asociace umělé inteligence (1993),^[7] a a Člen Americké asociace pro pokrok ve vědě (2019).^[8]

Bibliografie

Knihy

• Automatizované ověřování vět: Logický základ. Nakladatelská společnost North-Holland. 1978. doi:10.1016 / c2009-0-12705-8. hdl:2445/109943. ISBN  978-0-7204-2500-0.
• Sborník ze 6. konference o automatizovaném odpočtu. Přednášky z informatiky. 138. (Editor) Springer-Verlag, London. 1982. doi:10.1007 / BFb0000048. ISBN  978-3-540-11558-8. S2CID  33583364.
• Automatizované ověřování věty: po 25 letech. Současná matematika. 29. (s W.W. Bledsoe) American Mathematical Soc. 1984. doi:10.1090 / conm / 029. ISBN  978-0-8218-5027-5.
• Tři pohledy na logiku: matematika, filozofie a informatika. (s R. Hodelem a S.G. Sterrettem) Princeton University Press. 26. ledna 2014. ISBN  978-1-4008-4875-1.

Vybrané příspěvky

• Davis, Martin; Logemann, George; Loveland, Donald (1. července 1962). "Strojový program pro dokazování vět". Komunikace ACM. 5 (7): 394–397. doi:10.1145/368273.368557. hdl:2027 / mdp. 39015095248095. S2CID  15866917.
• Loveland, Donald (1966). „Nová interpretace von Misesovy koncepce náhodné sekvence“. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 12 (1): 279–294. doi:10,1002 / malq.19660120124.
• Loveland, Donald W. (1. dubna 1968). „Mechanická věta prokazující eliminaci modelu“. Deník ACM. 15 (2): 236–251. doi:10.1145/321450.321456. S2CID  18377884.
• Loveland, D. W. (1969). „Zjednodušený formát pro postup prokázání věty o eliminaci modelu“. Automatizace uvažování. 233–248. CiteSeerX  10.1.1.1017.8248. doi:10.1007/978-3-642-81955-1_14. ISBN  978-3-642-81957-5.
• Loveland, D.W. (Prosinec 1969). „Varianta Kolmogorovova konceptu složitosti“. Informace a kontrola. 15 (6): 510–526. doi:10.1016 / S0019-9958 (69) 90538-5.
• Loveland, D. W. (1970). Msgstr "Lineární formát pro rozlišení". Sympózium o automatické demonstraci. Přednášky z matematiky. 125. 147–162. doi:10.1007 / BFb0060630. ISBN  978-3-540-04914-2. ISSN  0075-8434.
• Loveland, D. W. (1. dubna 1972). „Sjednocující pohled na některé lineární Herbrandovy postupy“. Deník ACM. 19 (2): 366–384. doi:10.1145/321694.321706. S2CID  14244283.
• Fleisig, S .; Loveland, D .; Smiley, A. K .; Yarmush, D. L. (1. ledna 1974). "Implementace postupu prokazování odstranění modelu". Deník ACM. 21 (1): 124–139. doi:10.1145/321796.321807. S2CID  15686713.

Viz také

• Vyřazení modelu

Reference

externí odkazy

• Seznam publikací na DBLP

Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.