Clausal resolution for normal modal logics C Nalon, C Dixon
Journal of Algorithms 62 (3-4), 117-134, 2007
29 2007 KSP: A Resolution-Based Prover for Multimodal K C Nalon, U Hustadt, C Dixon
International Joint Conference on Automated Reasoning, 406-415, 2016
24 2016 A Modal-Layered Resolution Calculus for K C Nalon, U Hustadt, C Dixon
Automated Reasoning with Analytic Tableaux and Related Methods, 185-200, 2015
15 2015 Tableaux for temporal logics of knowledge: Synchronous systems of perfect recall or no learning C Dixon, C Nalon, M Fisher
Temporal Representation and Reasoning, 2003 and Fourth International …, 2003
13 2003 Anti-prenexing and prenexing for modal logics C Nalon, C Dixon
Logics in Artificial Intelligence, 333-345, 2006
12 2006 Resolution for synchrony and no learning C Nalon, C Dixon, M Fisher
AiML-2004: Advances in Modal Logic, 303, 2004
8 2004 Clausal Resolution for Modal Logics of Confluence C Nalon, J Marcos, C Dixon
arXiv preprint arXiv:1405.0293, 2014
7 2014 Tableau for Logics of Time and Knowledge with Interactions Relating to Synchrony C Dixon, C Nalon, M Fisher
Journal of Applied Non-Classical Logics 14 (4), 397-445, 2004
7 2004 Towards resolution-based reasoning for connected logics C Nalon, O Kutz
Electronic Notes in Theoretical Computer Science 305, 85-102, 2014
6 2014 KSP: a resolution-based prover for multimodal K abridged report C Nalon, U Hustadt, C Dixon
Proceedings of the 26th International Joint Conference on Artificial …, 2017
5 2017 A resolution-based calculus for Coalition Logic C Nalon, L Zhang, C Dixon, U Hustadt
Journal of Logic and Computation 24 (4), 883-917, 2014
5 2014 A Resolution-Based Calculus for Preferential Logics C Nalon, D Pattinson
International Joint Conference on Automated Reasoning, 498-515, 2018
4 2018 Classical resolution for many-valued logics J Marcos, C Nalon
Electronic Notes in Theoretical Computer Science 323, 253-270, 2016
4 2016 A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics C Nalon, B Lopes, G Dowek, EH Haeusler
Electronic Notes in Theoretical Computer Science 312 (2015), 125-141, 2015
4 2015 A Resolution-Based Theorem Prover for C Nalon, U Hustadt, C Dixon
Journal of Automated Reasoning 64 (3), 461-484, 2020
3 2020 KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments C Nalon, U Hustadt, CL Dixon
Journal of Automated Reasoning, 2018
3 2018 Anti-prenexing and prenexing for modal logics (extended version) C Nalon, C Dixon
Technical Report ULCS-06-003, University of Liverpool, April 2006. Available …, 2006
3 2006 Modal Resolution: Proofs, Layers, and Refinements C Nalon, C Dixon, U Hustadt
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-38, 2019
2 2019 Ordered Resolution for Coalition Logic U Hustadt, P Gainer, C Dixon, C Nalon, L Zhang
Automated Reasoning with Analytic Tableaux and Related Methods, 169-184, 2015
2 2015 A Resolution Prover for Coalition Logic C Nalon, L Zhang, C Dixon, U Hustadt
arXiv preprint arXiv:1404.0841, 2014
2 2014 
Clare DixonUniversity of Liverpool;E-mail confirmado em liverpool.ac.uk
