Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Ronald Fagin

Foundations of Reasoning with Uncertainty via Real-valued Logics


Aug 06, 2020
Ronald Fagin, Ryan Riegel, Alexander Gray

* 9 pages (incl. references), 9 pages supplementary. In submission to NeurIPS 2020 

  Access Paper or Ask Questions

Logical Neural Networks


Jun 23, 2020
Ryan Riegel, Alexander Gray, Francois Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani, Santosh Srivastava

* 10 pages (incl. references), 38 pages supplementary, 7 figures, 9 tables, 6 algorithms. In submission to NeurIPS 2020 

  Access Paper or Ask Questions

A New Approach to Updating Beliefs


Mar 27, 2013
Ronald Fagin, Joseph Y. Halpern

* Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990) 

  Access Paper or Ask Questions