![]() | Up a level |
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.