Browse by People

Nalon, C, Marcos, J and Dixon, C (2014) Clausal Resolution for Modal Logics of Confluence. In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology. (In Press)

Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533 (2018) Evaluating pre-processing techniques for the separated normal form for temporal logics. In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.

Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C ORCID: 0000-0002-4610-9533 (2017) K<inf>S</inf>P: A resolution-based prover for multimodal K abridged report. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.

Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C (2020) KSP A Resolution-Based Theorem Prover for K_n : Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning, 64 (3). pp. 461-484.

Nalon, C, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267 (2019) Modal Resolution: Proofs, Layers and Refinements. ACM Transactions on Computational Logic, 20 (4). pp. 1-38.