Jia Tao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Attainable knowledge and omniscience	2024-11-24	Paper
Counterfactual and seeing-to-it responsibilities in strategic games Annals of Pure and Applied Logic	2023-09-21	Paper
Together we know how to achieve: an epistemic logic of know-how (extended abstract)	2021-12-14	Paper
Together we know how to achieve: an epistemic logic of know-how (extended abstract) (available as arXiv preprint)	2021-12-14	Paper
Defect modes in non-Bragg resonant structures for guided surface water waves Wave Motion	2021-11-17	Paper
An epistemic logic of blameworthiness Artificial Intelligence	2020-04-21	Paper
Knowing-how under uncertainty Artificial Intelligence	2020-01-20	Paper
Blameworthiness in Security Games	2019-10-18	Paper
A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) Journal of Automated Reasoning	2019-09-02	Paper
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS The Review of Symbolic Logic	2019-06-07	Paper
Together we know how to achieve: an epistemic logic of know-how Artificial Intelligence	2019-01-18	Paper
Blameworthiness in Strategic Games	2018-09-14	Paper
Information flow under budget constraints ACM Transactions on Computational Logic	2018-03-22	Paper
Knowledge in communication networks Journal Of Logic And Computation	2018-02-13	Paper
A modal logic for reasoning about economic policies Journal Of Logic And Computation	2017-05-17	Paper
Logic of confidence Synthese	2017-03-09	Paper
Price of privacy Journal of Applied Logic	2017-01-16	Paper
Marketing impact on diffusion in social networks Journal of Applied Logic	2017-01-16	Paper
Information flow under budget constraints Logics in Artificial Intelligence	2016-11-30	Paper
A conceptual framework for secrecy-preserving reasoning in knowledge bases ACM Transactions on Computational Logic	2015-09-17	Paper
PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) Journal of Automated Reasoning	2013-07-05	Paper
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services Programming Languages and Systems	2009-03-31	Paper

Research outcomes over time

This page was built for person: Jia Tao