|
gptkbp:instanceOf
|
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:Dartmouth_College
gptkb:University_of_California,_Berkeley
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science
gptkb:Gödel_Prize
gptkb:IEEE_Fellow
gptkb:Knuth_Prize
Fellow of the ACM
|
|
gptkbp:birthYear
|
1945
|
|
gptkbp:doctoralAdvisor
|
gptkb:Alfred_Tarski
|
|
gptkbp:fieldOfWork
|
gptkb:logic
gptkb:mathematics
computer science
database theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Ronald Fagin
|
|
gptkbp:knownFor
|
gptkb:Fagin's_theorem
gptkb:finite_model_theory
fuzzy logic
database theory
multivalued dependencies
rank aggregation
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:thesisTitle
|
Contributions to the Model Theory of Finite Structures
|
|
gptkbp:thesisYear
|
1973
|
|
gptkbp:workInstitution
|
gptkb:IBM_Almaden_Research_Center
|
|
gptkbp:bfsParent
|
gptkb:Victor_Klee
gptkb:Ronald_Linn_Rivest
gptkb:finite_model_theory
|
|
gptkbp:bfsLayer
|
5
|