Jia Tao

According to our database, Jia Tao authored at least 31 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Counterfactual and seeing-to-it responsibilities in strategic games.

Pavel Naumov, Jia Tao

Ann. Pure Appl. Log., December, 2023

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries.

Samik Basu, Vasant G. Honavar, Ganesh Ram Santhanam, Jia Tao

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2021

Attainable Knowledge and Omniscience.

Pavel Naumov, Jia Tao

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Two Forms of Responsibility in Strategic Games.

Pavel Naumov, Jia Tao

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

An epistemic logic of blameworthiness.

Pavel Naumov, Jia Tao

Artif. Intell., 2020

Knowing-How under Uncertainty (Extended Abstract).

Pavel Naumov, Jia Tao

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Duty to Warn in Strategic Games.

Pavel Naumov, Jia Tao

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Blameworthiness in Security Games.

Pavel Naumov, Jia Tao

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Everyone Knows that someone Knows: Quantifiers over Epistemic Agents.

Pavel Naumov, Jia Tao

Rev. Symb. Log., 2019

A PSpace Algorithm for Acyclic Epistemic DL ALCS5_m.

Jia Tao

J. Autom. Reason., 2019

Knowing-how under uncertainty.

Pavel Naumov, Jia Tao

Artif. Intell., 2019

Blameworthiness in Strategic Games.

Pavel Naumov, Jia Tao

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Blameworthiness in Games with Imperfect Information.

Pavel Naumov, Jia Tao

CoRR, 2018

Together we know how to achieve: An epistemic logic of know-how.

Pavel Naumov, Jia Tao

Artif. Intell., 2018

Second-Order Know-How Strategies.

Pavel Naumov, Jia Tao

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Strategic Coalitions With Perfect Recall.

Pavel Naumov, Jia Tao

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Information Flow under Budget Constraints.

Pavel Naumov, Jia Tao

ACM Trans. Comput. Log., 2017

Knowledge in communication networks.

Pavel Naumov, Jia Tao

J. Log. Comput., 2017

A modal logic for reasoning about economic policies.

Pavel Naumov, Jia Tao

J. Log. Comput., 2017

Marketing impact on diffusion in social networks.

Pavel Naumov, Jia Tao

J. Appl. Log., 2017

Price of privacy.

Pavel Naumov, Jia Tao

J. Appl. Log., 2017

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract).

Pavel Naumov, Jia Tao

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Coalition Power in Epistemic Transition Systems.

Pavel Naumov, Jia Tao

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2015

Logic of confidence.

Pavel Naumov, Jia Tao

Synth., 2015

The Budget-Constrained Functional Dependency.

Pavel Naumov, Jia Tao

CoRR, 2015

Shared genetic architecture in autoimmune disease - preliminary analysis.

Leqi Liu, Jia Tao, Ziyan Yang, Fadi Towfic

Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

Budget-Constrained Knowledge in Multiagent Systems.

Pavel Naumov, Jia Tao

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases.

Jia Tao, Giora Slutzki, Vasant G. Honavar

ACM Trans. Comput. Log., 2014

2012

PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$.

Jia Tao, Giora Slutzki, Vasant G. Honavar

J. Autom. Reason., 2012

2010

Secrecy-Preserving Query Answering for Instance Checking in <i>EL</i>\mathcal{EL}.

Jia Tao, Giora Slutzki, Vasant G. Honavar

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2009

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.

Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens

Proceedings of the Programming Languages and Systems, 2009