Ron Fagin

Title

IBM Fellow
Ron Fagin

Bio

Some recent articles and information:

My tribute to Ted Codd that I gave when I won the SIGMOD Edgar F. Codd Innovations Award.

My tribute to my thesis advisor Robert L. Vaught that I gave at his Memorial Service in Berkeley, June 2, 2002.

In addition to Robert Vaught, I would like to honor two other great teachers of mathematical logic, who inspired me deeply: Donald Kreider at Dartmouth College, who passed away Dec. 7, 2006, and Herbert Enderton at UC Berkeley, who passed away Oct. 20, 2010. Please see the Acknowledgements of my Ph.D. thesis, where I remark on their profound influences on my career.

My curriculum vitae

My Wikipedia page

My Google Scholar profile

Research Interests

  • Applications of logic to computer science
  • Database theory
  • Finite model theory
  • Rank and score aggregation
  • Reasoning about knowledge

Book

Reasoning about Knowledge.
Authors R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi. Published by MIT Press, 1995. Paperback edition, 2003.

Papers

Click here for a complete collection of my papers, all in Adobe Acrobat (PDF) format, and organized into (overlapping) categories.

Publications

Patents

Projects

neurosymbolic-AI.jpeg

Imprecise Probabilistic Logic

Developing a general knowledge representation framework to facilitate effective reasoning over multiple sources of imprecise knowledge.

Top collaborators