Donald W. Loveland - Donald W. Loveland

Donald W. Loveland (urodzony 26 grudnia 1934 w Rochester, Nowy Jork ) jest profesorem emerytowanym z informatyki na Duke University , który specjalizuje się w sztucznej inteligencji . Jest dobrze znany z algorytmu Davisa – Putnama – Logemanna – Lovelanda .

Loveland ukończył Oberlin College w 1956 r., Uzyskał tytuł magistra w Massachusetts Institute of Technology w 1958 r. Oraz tytuł doktora. z New York University w 1964 r. Dołączył do Wydziału Informatyki Duke University w 1973 r. Wcześniej był wykładowcą na Wydziale Matematyki na New York University i Carnegie Mellon University .

Otrzymał nagrodę Herbranda za wybitny wkład w automatyczne rozumowanie w 2001 roku. Jest członkiem Association for Computing Machinery (2000), członkiem Association of Artificial Intelligence (1993) oraz American Association for the Advancement nauki (2019).

Bibliografia

Książki

• Zautomatyzowane dowodzenie twierdzeń: podstawa logiczna . Wydawnictwo North-Holland. 1978. doi : 10.1016 / c2009-0-12705-8 . HDL : 2445/109943 . ISBN   978-0-7204-2500-0 .
• Obrady 6. Konferencji na temat automatycznego potrącania . Notatki do wykładów z informatyki. 138 . (Redaktor) Springer-Verlag, Londyn. 1982. doi : 10.1007 / BFb0000048 . ISBN   978-3-540-11558-8 . S2CID   33583364 .
• Zautomatyzowane udowodnienie twierdzeń: po 25 latach . Współczesna matematyka. 29 . (wraz z WW Bledsoe) American Mathematical Soc. 1984. doi : 10.1090 / conm / 029 . ISBN   978-0-8218-5027-5 .
• Trzy widoki logiki: matematyka, filozofia i informatyka . (z R. Hodelem i SG Sterrettem) Princeton University Press. 26 stycznia 2014 r. ISBN   978-1-4008-4875-1 .

Wybrane artykuły

• Davis, Martin; Logemann, George; Loveland, Donald (1 lipca 1962). "Program maszynowy do dowodzenia twierdzeń". Komunikacja ACM . 5 (7): 394–397. doi : 10.1145 / 368273.368557 . HDL : 2027 / mdp.39015095248095 . S2CID   15866917 .
• Loveland, Donald (1966). „Nowa interpretacja koncepcji losowej sekwencji von Misesa”. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik . 12 (1): 279–294. doi : 10.1002 / malq.19660120124 .
• Loveland, Donald W. (1 kwietnia 1968). "Mechaniczne dowodzenie twierdzeń przez eliminację modelu". Dziennik ACM . 15 (2): 236–251. doi : 10.1145 / 321450.321456 . S2CID   18377884 .
• Loveland, DW (1969). „Uproszczony format procedury dowodzenia twierdzeń o eliminacji modelu”. Automatyzacja rozumowania . pp. 233–248. CiteSeerX   10.1.1.1017.8248 . doi : 10.1007 / 978-3-642-81955-1_14 . ISBN   978-3-642-81957-5 .
• Loveland, DW (grudzień 1969). „Wariant koncepcji złożoności Kołmogorowa” . Informacja i kontrola . 15 (6): 510–526. doi : 10.1016 / S0019-9958 (69) 90538-5 .
• Loveland, DW (1970). „Liniowy format rozdzielczości”. Sympozjum na temat automatycznej demonstracji . Notatki do wykładów z matematyki . 125 . s. 147–162. doi : 10.1007 / BFb0060630 . ISBN   978-3-540-04914-2 . ISSN   0075-8434 .
• Loveland, DW (1 kwietnia 1972). „Jednolity pogląd na niektóre liniowe procedury Herbranda”. Dziennik ACM . 19 (2): 366–384. doi : 10.1145 / 321694.321706 . S2CID   14244283 .
• Fleisig, S .; Loveland, D .; Smiley, AK; Yarmush, DL (1 stycznia 1974). „Wdrożenie procedury sprawdzającej eliminację modelu”. Dziennik ACM . 21 (1): 124–139. doi : 10.1145 / 321796.321807 . S2CID   15686713 .

Zobacz też

• Eliminacja modelu

Bibliografia

Linki zewnętrzne

• Lista publikacji w DBLP

Ten artykuł o amerykańskim matematyku to zalążek . Możesz pomóc Wikipedii, rozbudowując ją .

• v
• t
• mi