ロナルド・フェイギン
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/22 03:37 UTC 版)
ロナルド・フェイギン(英: Ronald Fagin)は、IBMアルマデン・リサーチ・センターの計算機科学基礎理論グループ統括責任者である。フェイギンは、データベース理論、有限モデル理論、知識推論についての先駆的な業績で知られている[1]。フェイギンはその業績により、多くの表彰を受けている。
- ^ Reasoning about Knowledge. Co-authors J.Y. Halpern, Y. Moses and M.Y. Vardi. Published by MIT Press, 1995. Paperback edition, 2003.
- ^ Neil Immerman, Descriptive Complexity. Springer-Verlag, 1999
- ^ Ronald Fagin: Probabilities on Finite Models. Journal of Symbolic Logic, 41(1):50-58, 1976
- ^ Y.V. Glebskiĭ, D.I. Kogan, M.I. Liogonkiĭ, and V.A. Talanov: Range and degree of realizability of formulas in the restricted predicate calculus. Kibernetika, 2:17-28, 1969
- ^ ACM Symposium on Principles of Database Systems 1984
- ^ Theoretical Aspects of Reasoning about Knowledge 1994
- ^ Symposium on Theory of Computing 2005
- ^ International Conference on Database Theory 2009
- 1 ロナルド・フェイギンとは
- 2 ロナルド・フェイギンの概要
- 3 外部リンク
- ロナルド・フェイギンのページへのリンク