Lan Zhang

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Temporally Extended Goals

Coalition Logic

Pspace Complete

Top Venues

J. Log. Comput.

ACM Trans. Comput. Log.

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
Ordered Resolution for Coalition Logic. TABLEAUX (2015)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. 15 (1) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24 (4) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A Resolution Prover for Coalition Logic. SR (2014)
Lan Zhang, Ullrich Hustadt, Clare Dixon
CTL-RP: A computation tree logic resolution prover. AI Commun. 23 (2-3) (2010)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A Refined Resolution Calculus for CTL. CADE (2009)