Donalda W. Lovelanda

Donalda W. Lovelanda
Urodzić się	( 1934-12-26 ) 26 grudnia 1934 Rochester, Nowy Jork
Alma Mater	Uniwersytet w Nowym Jorku
Znany z	Algorytm DPLL
Nagrody	Nagroda Herbranda 2001
Kariera naukowa
Pola	Informatyka
Instytucje	Uniwersytet Duke’a
Praca dyplomowa	Sekwencje rekurencyjnie losowe (1964)
Doradcy doktoranci	Petera Ungara, Martina Davida Davisa
Doktoranci	Owen Astrachan , Susan Gerhart

Donald W. Loveland (ur. 26 grudnia 1934 w Rochester , Nowy Jork ) jest emerytowanym profesorem 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 roku, uzyskał tytuł magistra w Massachusetts Institute of Technology w 1958 roku i doktorat. z New York University w 1964. Dołączył do Duke University Department of Computer Science w 1973. Wcześniej pracował jako członek wydziału na Wydziale Matematyki na New York University i Carnegie Mellon University .

otrzymał nagrodę Herbrand Award za wybitny wkład w zautomatyzowane rozumowanie. 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 Północnej Holandii. 1978. doi : 10.1016/c2009-0-12705-8 . hdl : 2445/109943 . ISBN 978-0-7204-2500-0 .
•    Materiały z 6. Konferencji na temat automatycznego odliczenia . Notatki z wykładów z informatyki. Tom. 138. (redaktor) Springer-Verlag, Londyn. 1982. doi : 10.1007/BFb0000048 . ISBN 978-3-540-11558-8 . S2CID 33583364 .
•   Automatyczne dowodzenie twierdzeń: po 25 latach . Współczesna matematyka. Tom. 29. (z WW Bledsoe) American Mathematical Soc. 1984. doi : 10.1090/conm/029 . ISBN 978-0-8218-5027-5 .
•   Trzy poglądy na logikę: matematyka, filozofia i informatyka . (z R. Hodelem i SG Sterrettem) Princeton University Press. 26 stycznia 2014 ISBN 978-1-4008-4875-1 .

Wybrane artykuły

•   Davis, Martin; Logemann, George; Loveland, Donald (1 lipca 1962). „Program maszynowy do udowadniania twierdzeń”. Komunikaty ACM . 5 (7): 394–397. doi : 10.1145/368273.368557 . hdl : 2027/mdp.39015095248095 . S2CID 15866917 .
• Loveland, Donald (1966). „Nowa interpretacja koncepcji kolejności losowej 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 udowodnienie twierdzeń przez eliminację modelu”. Dziennik ACM . 15 (2): 236–251. doi : 10.1145/321450.321456 . S2CID 18377884 .
•    Loveland, DW (1969). „Uproszczony format procedury dowodzenia twierdzenia o eliminacji modelu”. Automatyzacja rozumowania . s. 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” . Informacji i Kontroli . 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 z wykładów z matematyki . Tom. 125. s. 147–162. doi : 10.1007/BFb0060630 . ISBN 978-3-540-04914-2 . ISSN 0075-8434 . S2CID 121021241 .
•   Loveland, DW (1 kwietnia 1972). „Jednoczący 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.; Buźka, AK; Yarmush, DL (1 stycznia 1974). „Wdrożenie procedury dowodu eliminacji modelu” . Dziennik ACM . 21 (1): 124–139. doi : 10.1145/321796.321807 . S2CID 15686713 .

Zobacz też

• Eliminacja modelu

Linki zewnętrzne

• Lista publikacji w DBLP