キース・クラーク（コンピューター科学者）

キース・レナード・クラーク（1943年3月29日生まれ）は、イギリスのロンドンにあるインペリアル・カレッジの計算機科学科の名誉教授である。^{[1] : 723}

クラークはダラム大学（ハットフィールド・カレッジ）で数学を学び、1964年に一級の学位を取得して卒業した。^{[2] [3] [4]その後、クラークは}ケンブリッジ大学で研究を続け、1966年に哲学で2つ目の学士号を取得した。^{[4]彼は1980年に}ロンドン大学で「計算形式としての述語論理」と題する論文で博士号を取得した。^[5]

クラークは1967年から1968年にかけてシエラレオネの学校で数学教師として海外ボランティア活動を行った。^{[4] 1969年から1975年にかけて}クイーン・メアリー・カレッジの数学科でコンピュータサイエンスの講義を行った。 1975年にインペリアル・カレッジ・ロンドンに移り、そこでコンピュータサイエンス学科の上級講師となり、ロバート・コワルスキーとともに論理プログラミング・グループの設立に参加した。^[6] 1987年から2009年にかけてインペリアル・カレッジで計算論理学の教授を務めた。^[4]

クラークの主要な貢献は論理プログラミングの分野にあります。^[7]彼の現在の研究対象は、マルチエージェントシステム、認知ロボット工学、マルチスレッドです。^[8]

1980年、クラークは同僚のフランク・マッケイブとともにインペリアル・カレッジからスピンオフした会社、Logic Programming Associatesを設立し、マイクロコンピュータ用のPrologシステム（マイクロProlog）の開発と販売、エキスパートシステムやその他のロジックプログラミングアプリケーションのコンサルティングを行った。^{[4] [9]同社の主力製品はMacPrologだった。MacのOSのすべてのグラフィックユーザーインターフェースプリミティブを活用したユーザーインターフェースと、アプリケーション固有のインターフェースを使用してPrologベースのカスタムアプリケーションを構築できるプリミティブを備えていた。クラークは}IBM、ヒューレット・パッカード、富士通などの企業のコンサルタントも務めた。 ^[4]

• KL Clark、D. Cowell、「プログラム、マシン、計算」、McGraw-Hill、ロンドン、1976年。
• KL Clark, SA. Tarnlund, データとプログラムの第一階理論、Proc. IFIP Congress、トロント、939–944 pp、1977 年。
• KL Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press、ニューヨーク、293–322 pp、1978 年。(また、Readings in Nonmonotonic Reasoning (ed. M. Ginsberg)、Morgan Kaufmann、311–325 ページ、1987 年にも掲載。)
• KL Clark、S. Gregory、「並列プログラミングのためのリレーショナル言語」、Proc. ACM Conference on Functional Languages and Computer Architecture、ACM、ニューヨーク、171～178 ページ、1981 年。(また、Concurrent Prolog (ed. E Shapiro)、MIT Press、9～26 ページ、1987 年にも掲載。)
• KL Clark, SA. Tarnlund (編)、『Logic Programming』、Academic Press、ロンドン、1982年。
• KL Clark、FG McCabe、「micro-PROLOG: Programming in Logic」、Prentice-Hall International、1984 年。
• KL Clark、I. Foster、「並行論理プログラミングのための宣言的環境」、関数型および論理プログラミングと仕様に関するコロキウムの議事録、LNCS 250、Springer-Verlag、212 - 242 ページ、1987 年
• KL Clark、「論理プログラミング スキームとその実装」、Computational Logic (Lassez および Plotkin 編)、MIT Press、1991 年。
• FG McCabe、KL Clark、4 月 — エージェント プロセス インタラクション言語、Intelligent Agents、(N. Jennings、M. Wooldridge 編)、LNAI、Vol. 890、Springer-Verlag、1995 年。
• N. Skarmeas、KL Clark、「エージェント内通信の基礎としてのコンテンツ ベース ルーティング」、Proceedings of International WS on Agent Theories, Architectures and Languages 98、Intelligent Agents V、(ed. JP Muler et al.)、Springer-Verlag、LNAI 1555、1999 (最優秀論文賞)。
• KL Clark、「論理プログラミング言語」、Encyclopedia of Computer Science、（編者：A. Ralston、E. Reilly、D. Hemmendinger）、pp 1024-1031、Nature Publishing Group、2000年。
• KL Clark と F. McCabe、「Go! — マルチスレッドエージェントを実装するためのマルチパラダイムプログラミング言語」、Annals of Mathematics and Artificial Intelligence、41(2–4):171–206、2004 年 8 月。
• T. Hong および KL Clark、「ユニバーサル Web ラッパーに向けて」、第 17 回国際 FLAIRS カンファレンスの議事録、AAAI Press、2004 年。
• KL ClarkとF. McCabe、「エージェント信念ストアのオントロジースキーマ」、International Journal of Human-Computer Studies、65(7)、2007年7月、640-658ページ。
• KL Clark、P. Robinson、S. Zappacosta Amboldi、「Qu-Prolog でのマルチスレッド通信エージェント」、「マルチエージェント システムにおける計算ロジック」( F Toniおよび P. Torroni 編)、LNAI Vol. 3900、pp 186–205、2006 年。
• S. Coffey および KL Clark、「ロボット制御のためのハイブリッド遠隔反応アーキテクチャ」、第 2 回マルチエージェント ロボット システムに関する国際ワークショップ (MARS-06) の議事録、2006 年。
• D. Gaertner、KL Clark、M. Sergot、「舞踏会のエチケット：規範に基づくマルチエージェントシステムのケーススタディ」、エージェントシステムにおける調整、組織、制度、規範に関する AAMAS06 ワークショップの議事録、LNCS 4386、Springer、2006 年。
• J. Knottenbelt、KL Clark、「契約関連エージェント、マルチエージェントシステムにおける計算ロジック」（F Toniおよび P. Torroni 編）、LNAI Vol. 3900、pp 226–242、2006 年。
• J. Ma、A. Russo、K. Broda、KL Clark、「DARE: 分散型アブダクション推論システム」、自律エージェントおよびマルチエージェントシステムジャーナル、16(3)、Springer、2008年6月。
• PJ Robinson、KL Clark、Pedro: Prologテクノロジーを使用したパブリッシュ/サブスクライブサーバー、ソフトウェア:実践と経験、40(4)pp 313–329、Wiley、2010年。
• KL Clark、PJ Robinson、「TeleoR でのロボットエージェントプログラミング」、国際ロボティクスおよびオートメーション会議の議事録、IEEE、2015 年 5 月。
• K. Clark、B. Hengst、M. Pagnucco、D. Rajaratnam、P. Robinson、C. Sammut、M. Thielscher、「シンボリック表現とサブシンボリック表現を統合するためのフレームワーク」、人工知能に関する国際合同会議 2016 の議事録、ニューヨーク、AAAI プレス、2016 年 7 月。

• キース・クラークのホームページ