Jia Tao, Ph.D.
Affiliations: | 2012 | Computer Science | Iowa State University, Ames, IA, United States |
Area:
Computer ScienceGoogle:
"Jia Tao"Parents
Sign in to add mentor| Giora Slutzki | grad student | 2012 | Iowa State | |
| (Topics in knowledge bases: Epistemic ontologies and secrecy-preserving reasoning.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Naumov P, Tao J. (2020) An epistemic logic of blameworthiness Artificial Intelligence. 283: 103269 |
| Naumov P, Tao J. (2019) Knowing-how under uncertainty Artificial Intelligence. 276: 41-56 |
| Tao J. (2019) A PSpace Algorithm for Acyclic Epistemic DL $$\mathcal {ALCS}5_m$$ ALCS 5 m Journal of Automated Reasoning. 63: 539-555 |
| Naumov P, Tao J. (2018) Together we know how to achieve: An epistemic logic of know-how Artificial Intelligence. 262: 279-300 |
| Naumov P, Tao J. (2017) Price of privacy Journal of Applied Logic. 20: 32-48 |
| Naumov P, Tao J. (2015) Logic of confidence Synthese. 192: 1821-1838 |
| Tao J, Slutzki G, Honavar V. (2014) A conceptual framework for secrecy-preserving reasoning in knowledge bases Acm Transactions On Computational Logic. 16 |
| Tao J, Slutzki G, Honavar V. (2012) PSPACE tableau algorithms for acyclic modalized ALC Journal of Automated Reasoning. 49: 551-582 |