Our plan remains largely the same, except that we reserve the right to go beyond standard miniKanren to any logical / probabilistic logical programming language for deep causal reasoning. For example, for less complex queries that need greater performance, we may utilize SPARQL as a back-end. We have also found classical logical reasoning to be more effective than anticipated, so we plan to go as far as possible with classical logic programming before exploiting probabilistic logic programming.

Agency
National Institute of Health (NIH)
Institute
National Center for Advancing Translational Sciences (NCATS)
Project #
1OT2TR002517-01
Application #
9610232
Study Section
Special Emphasis Panel (ZTR1)
Program Officer
Colvis, Christine
Project Start
2017-12-29
Project End
2019-12-28
Budget Start
2017-12-29
Budget End
2019-12-28
Support Year
1
Fiscal Year
2018
Total Cost
Indirect Cost
Name
University of Alabama Birmingham
Department
Internal Medicine/Medicine
Type
Schools of Medicine
DUNS #
063690705
City
Birmingham
State
AL
Country
United States
Zip Code
35294