Jia Tao

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 31

Top Topics

Transition Systems

Imperfect Information

Epistemic Logic

Weighted Majority

Top Venues

Publications

Pavel Naumov, Jia Tao
Counterfactual and seeing-to-it responsibilities in strategic games. Ann. Pure Appl. Log. 174 (10) (2023)
Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao
Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. ECAI (2023)
Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao
Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. CoRR (2023)
Pavel Naumov, Jia Tao
Attainable Knowledge and Omniscience. TARK (2021)
Pavel Naumov, Jia Tao
Two Forms of Responsibility in Strategic Games. IJCAI (2021)
Pavel Naumov, Jia Tao
Blameworthiness in Security Games. AAAI (2020)
Pavel Naumov, Jia Tao
An epistemic logic of blameworthiness. Artif. Intell. 283 (2020)
Pavel Naumov, Jia Tao
Knowing-How under Uncertainty (Extended Abstract). IJCAI (2020)
Pavel Naumov, Jia Tao
Duty to Warn in Strategic Games. AAMAS (2020)
Pavel Naumov, Jia Tao
Knowing-how under uncertainty. Artif. Intell. 276 (2019)
Pavel Naumov, Jia Tao
Duty to Warn in Strategic Games. CoRR (2019)
Pavel Naumov, Jia Tao
Blameworthiness in Security Games. CoRR (2019)
Pavel Naumov, Jia Tao
Everyone Knows that someone Knows: Quantifiers over Epistemic Agents. Rev. Symb. Log. 12 (2) (2019)
Jia Tao
. J. Autom. Reason. 63 (3) (2019)
Pavel Naumov, Jia Tao
Blameworthiness in Strategic Games. AAAI (2019)
Pavel Naumov, Jia Tao
Blameworthiness in Strategic Games. CoRR (2018)
Pavel Naumov, Jia Tao
Blameworthiness in Games with Imperfect Information. CoRR (2018)
Pavel Naumov, Jia Tao
Strategic Coalitions With Perfect Recall. AAAI (2018)
Pavel Naumov, Jia Tao
Together we know how to achieve: An epistemic logic of know-how. Artif. Intell. 262 (2018)
Pavel Naumov, Jia Tao
Second-Order Know-How Strategies. AAMAS (2018)
Pavel Naumov, Jia Tao
Marketing impact on diffusion in social networks. J. Appl. Log. 20 (2017)
Pavel Naumov, Jia Tao
Information Flow under Budget Constraints. ACM Trans. Comput. Log. 18 (4) (2017)
Pavel Naumov, Jia Tao
Knowledge in communication networks. J. Log. Comput. 27 (4) (2017)
Pavel Naumov, Jia Tao
Coalition Power in Epistemic Transition Systems. AAMAS (2017)
Pavel Naumov, Jia Tao
A modal logic for reasoning about economic policies. J. Log. Comput. 27 (1) (2017)
Pavel Naumov, Jia Tao
Strategic Coalitions with Perfect Recall. CoRR (2017)
Pavel Naumov, Jia Tao
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). TARK (2017)
Pavel Naumov, Jia Tao
Together We Know How to Achieve: An Epistemic Logic of Know-How. CoRR (2017)
Pavel Naumov, Jia Tao
Price of privacy. J. Appl. Log. 20 (2017)
Pavel Naumov, Jia Tao
Information Flow Under Budget Constraints. JELIA (2016)
Pavel Naumov, Jia Tao
Marketing Impact on Diffusion in Social Networks. CoRR (2016)
Pavel Naumov, Jia Tao
The Budget-Constrained Functional Dependency. CoRR (2015)
Pavel Naumov, Jia Tao
Knowledge in Communication Networks. CoRR (2015)
Leqi Liu, Jia Tao, Ziyan Yang, Fadi Towfic
Shared genetic architecture in autoimmune disease - preliminary analysis. BIBM (2015)
Pavel Naumov, Jia Tao
Logic of confidence. Synth. 192 (6) (2015)
Pavel Naumov, Jia Tao
Budget-Constrained Knowledge in Multiagent Systems. AAMAS (2015)
Jia Tao, Giora Slutzki, Vasant G. Honavar
A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases. ACM Trans. Comput. Log. 16 (1) (2014)
Jia Tao, Giora Slutzki, Vasant G. Honavar
PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$. J. Autom. Reason. 49 (4) (2012)
Jia Tao, Giora Slutzki, Vasant G. Honavar
\mathcal{EL}. RR (2010)
Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP (2009)