Together we know how to achieve: An epistemic logic of know-how P Naumov, J Tao Artificial Intelligence 262, 279-300, 2018 | 39 | 2018 |
Coalition Power in Epistemic Transition Systems. P Naumov, J Tao AAMAS, 723-731, 2017 | 34 | 2017 |
Strategic coalitions with perfect recall P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 32 | 2018 |
Second-order know-how strategies P Naumov, J Tao | 28 | 2018 |
Secrecy-Preserving Query Answering for Instance Checking in EL\ mathcal {EL} J Tao, G Slutzki, V Honavar Web Reasoning and Rule Systems, 195-203, 2010 | 26 | 2010 |
An epistemic logic of blameworthiness P Naumov, J Tao Artificial Intelligence 283, 103269, 2020 | 23 | 2020 |
Together we know how to achieve: An epistemic logic of know-how P Naumov, J Tao arXiv preprint arXiv:1705.09349, 2017 | 23 | 2017 |
Budget-constrained knowledge in multiagent systems P Naumov, J Tao International Foundation for Autonomous Agents and Multiagent Systems …, 2015 | 20 | 2015 |
Knowing-how under uncertainty P Naumov, J Tao Artificial Intelligence 276, 41-56, 2019 | 18 | 2019 |
Everyone knows that someone knows: quantifiers over epistemic agents P Naumov, J Tao The review of symbolic logic 12 (2), 255-270, 2019 | 17 | 2019 |
A conceptual framework for secrecy-preserving reasoning in knowledge bases J Tao, G Slutzki, V Honavar ACM Transactions on Computational Logic (TOCL) 16 (1), 1-32, 2014 | 16 | 2014 |
Tisa: A language design and modular verification technique for temporal policies in web services H Rajan, J Tao, S Shaner, G Leavens Programming Languages and Systems, 333-347, 2009 | 16 | 2009 |
Blameworthiness in strategic games P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3011-3018, 2019 | 14 | 2019 |
PS PACE Tableau Algorithms for Acyclic Modalized J Tao, G Slutzki, V Honavar Journal of Automated Reasoning, 1-32, 2011 | 11 | 2011 |
Two forms of responsibility in strategic games P Naumov, J Tao | 8 | 2021 |
Marketing impact on diffusion in social networks P Naumov, J Tao Journal of Applied Logic 20, 49-74, 2017 | 8 | 2017 |
Logic of confidence P Naumov, J Tao Synthese 192, 1821-1838, 2015 | 8 | 2015 |
Blameworthiness in security games P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2934-2941, 2020 | 7 | 2020 |
Knowledge in communication networks PG Naumov, J Tao Journal of Logic and Computation 27 (4), 1189-1224, 2017 | 6 | 2017 |
Duty to warn in strategic games P Naumov, J Tao arXiv preprint arXiv:1912.02759, 2019 | 5 | 2019 |