ドナルド・W・ラブランド

ドナルド・W・ラブランド（1934年12月26日、ニューヨーク州ロチェスター生まれ）^[1]は、デューク大学のコンピュータサイエンスの名誉教授であり、人工知能を専門としています。^[2]彼は、デイビス・パトナム・ローゲマン・ラブランドアルゴリズムでよく知られています。^[3]

ラブランドは1956年にオバリン大学を卒業し、 1958年にマサチューセッツ工科大学で修士号を取得し、1964年にニューヨーク大学で博士号を取得した。1973年にデューク大学コンピュータサイエンス学部に加わった。以前はニューヨーク大学とカーネギーメロン大学の数学科で教員を務めていた。^{[1] [4] [5]}

2001年に自動推論への顕著な貢献によりエルブランド賞を受賞した。 ^[5]彼は計算機協会フェロー（2000年）、^[6]人工知能協会フェロー（1993年）、^[7]アメリカ科学振興協会フェロー（2019年）である。[ ^8]

書籍

• 自動定理証明: 論理的基礎。ノースホランド出版会社。1978年。doi :10.1016/c2009-0-12705-8。hdl :2445 / 109943。ISBN 978-0-7204-2500-0。
• 第 6 回自動演繹会議。コンピュータサイエンスの講義ノート。第 138 巻。(編集者) Springer-Verlag、ロンドン。1982 年。doi : 10.1007/ BFb0000048。ISBN 978-3-540-11558-8. S2CID  33583364。
• 自動定理証明: 25年後。現代数学。第29巻。(WW Bledsoeと共著)アメリカ数学協会。1984年。doi :10.1090/conm/ 029。ISBN 978-0-8218-5027-5。
• 論理の3つの見方: 数学、哲学、コンピュータサイエンス。(R. Hodel、SG Sterrett共著) プリンストン大学出版局。2014年1月26日。ISBN 978-1-4008-4875-1。

選ばれた論文

• デイビス、マーティン; ロゲマン、ジョージ; ラブランド、ドナルド (1962 年 7 月 1 日)。「定理証明のための機械プログラム」。Communications of the ACM。5 ( 7): 394–397。doi :10.1145/ 368273.368557。hdl  : 2027 / mdp.39015095248095。S2CID 15866917。
• ドナルド・ラブランド（1966年）。 「フォン・ミーゼスのランダムシーケンスの概念の新しい解釈」。数学論理と数学に関する研究。12 (1): 279–294。土井：10.1002/malq.19660120124。
• ラブランド、ドナルド W. (1968 年4月1 日)。「モデル消去法による機械的定理証明」。Journal of the ACM。15 ( 2 ): 236–251。doi : 10.1145/321450.321456。S2CID  18377884 。
• Loveland, DW (1969)。「モデル消去定理証明手順の簡略化された形式」。Automation of Reasoning。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 (1969年12月). 「コルモゴロフの複雑性概念の変種」.情報と制御. 15 (6): 510–526. doi : 10.1016/S0019-9958(69)90538-5 .
• Loveland, DW (1970)。「解決のための線形形式」。自動デモンストレーションに関するシンポジウム。数学の講義ノート。第 125 巻。pp. 147–162。doi :10.1007 / BFb0060630。ISBN 978-3-540-04914-2. ISSN  0075-8434. S2CID  121021241.
• Loveland, DW (1972 年 4月1 日)。「いくつかの線形 Herbrand 手順の統一的見解」。Journal of the ACM。19 ( 2 ): 366–384。doi : 10.1145/321694.321706。S2CID  14244283 。
• Fleisig, S.; Loveland, D.; Smiley, AK; Yarmush, DL (1974 年 1 月 1 日)。「モデル消去証明手順の実装」。Journal of the ACM。21 ( 1): 124–139 ​​。doi : 10.1145 / 321796.321807。S2CID  15686713 。

• モデルの排除

• DBLPの出版物リスト