Jia Tao, Ph.D. - Publications
Affiliations: | 2012 | Computer Science | Iowa State University, Ames, IA, United States |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2020 | Naumov P, Tao J. An epistemic logic of blameworthiness Artificial Intelligence. 283: 103269. DOI: 10.1016/J.Artint.2020.103269 | 0.305 | |||
2019 | Naumov P, Tao J. Knowing-how under uncertainty Artificial Intelligence. 276: 41-56. DOI: 10.1016/J.Artint.2019.06.007 | 0.324 | |||
2019 | Tao J. A PSpace Algorithm for Acyclic Epistemic DL $$\mathcal {ALCS}5_m$$ ALCS 5 m Journal of Automated Reasoning. 63: 539-555. DOI: 10.1007/S10817-018-9473-5 | 0.347 | |||
2018 | Naumov P, Tao J. Together we know how to achieve: An epistemic logic of know-how Artificial Intelligence. 262: 279-300. DOI: 10.1016/J.Artint.2018.06.007 | 0.307 | |||
2017 | Naumov P, Tao J. Price of privacy Journal of Applied Logic. 20: 32-48. DOI: 10.1016/J.Jal.2016.11.035 | 0.351 | |||
2015 | Naumov P, Tao J. Logic of confidence Synthese. 192: 1821-1838. DOI: 10.1007/S11229-014-0655-3 | 0.351 | |||
2014 | Tao J, Slutzki G, Honavar V. A conceptual framework for secrecy-preserving reasoning in knowledge bases Acm Transactions On Computational Logic. 16. DOI: 10.1145/2637477 | 0.55 | |||
2012 | Tao J, Slutzki G, Honavar V. PSPACE tableau algorithms for acyclic modalized ALC Journal of Automated Reasoning. 49: 551-582. DOI: 10.1007/S10817-011-9232-3 | 0.537 | |||
Show low-probability matches. |