| 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 |
| Duty to warn in strategic games P Naumov, J Tao arXiv preprint arXiv:1912.02759, 2019 | 5 | 2019 |
| Knowledge in communication networks PG Naumov, J Tao Journal of Logic and Computation 27 (4), 1189-1224, 2017 | 5 | 2017 |
Pavel NaumovUniversity of SouthamptonVerified email at soton.ac.uk
