Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 4.


Nalon, Cláudia, Dixon, Clare and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2019) Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log., 20. 23:1-23:1.


Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2014) A Resolution Prover for Coalition Logic. In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.


Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). pp. 883-917.


Nalon, Cláudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare (2020) sf Kn : Architecture, Refinements, Strategies and Experiments. J. Autom. Reason., 64. pp. 461-484.

This list was generated on Sun Aug 20 11:57:24 2023 BST.