Jia Tao

Orcid: 0000-0002-2342-3271

Affiliations:

Lafayette College, Department of Computer Science, Easton, PA, USA
College of New Jersey, Computer Science Department, Ewing, NJ, USA
Bryn Mawr College, PA, USA
Iowa State University, Ames, IA, USA (PhD)

According to our database¹, Jia Tao authored at least 32 papers between 2009 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

An egocentric logic of de dicto and de re knowing who.

[BibT_eX]

[DOI]

Sophia Epstein

Pavel Naumov

Jia Tao

J. Log. Comput., 2024

2023

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

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Ann. Pure Appl. Log., December, 2023

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

2020

An epistemic logic of blameworthiness.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Artif. Intell., 2020

Knowing-How under Uncertainty (Extended Abstract).

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

Duty to Warn in Strategic Games.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

Blameworthiness in Security Games.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Rev. Symb. Log., 2019

A PSpace Algorithm for Acyclic Epistemic DL ALCS5<sub>m</sub>.

[BibT_eX]

[DOI]

Jia Tao

J. Autom. Reason., 2019

Knowing-how under uncertainty.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Artif. Intell., 2019

Blameworthiness in Strategic Games.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

2018

Blameworthiness in Games with Imperfect Information.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

CoRR, 2018

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

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Artif. Intell., 2018

Second-Order Know-How Strategies.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

Strategic Coalitions With Perfect Recall.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

2017

Information Flow under Budget Constraints.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

ACM Trans. Comput. Log., 2017

Knowledge in communication networks.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

J. Log. Comput., 2017

A modal logic for reasoning about economic policies.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

J. Log. Comput., 2017

Marketing impact on diffusion in social networks.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

J. Appl. Log., 2017

Price of privacy.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

J. Appl. Log., 2017

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

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

Coalition Power in Epistemic Transition Systems.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

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

2015

Logic of confidence.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

Synth., 2015

The Budget-Constrained Functional Dependency.

[BibT_eX]

[DOI]

Pavel Naumov

Jia Tao

CoRR, 2015

Shared genetic architecture in autoimmune disease - preliminary analysis.

[BibT_eX]

[DOI]

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

Budget-Constrained Knowledge in Multiagent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jia Tao

Giora Slutzki

Vasant G. Honavar

ACM Trans. Comput. Log., 2014

2012

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

[BibT_eX]

[DOI]

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}.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2009

Jia Tao

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...