@TECHREPORT{Nalon+Zhang+Dixon+Hustadt@ULCSTR2013,
 AUTHOR        = {Cl{\'a}udia Nalon and Lan Zhang and Clare Dixon and Ullrich Hustadt},
 TITLE         = {A resolution-based calculus for Coalition Logic (Extended Version)},
 INSTITUTION   = {Department of Computer Science, University of Liverpool},
 YEAR          = {2013},
 TYPE          = {Technical Report},
 NUMBER        = {ULCS-13-004},
 ADDRESS       = {Liverpool, UK},
 URL           = {http://intranet.csc.liv.ac.uk/research/techreports/tr2013/ulcs-13-004.pdf},
 ABSTRACT      = {We present a resolution-based calculus for the Coalition Logic CL, a
non-normal modal logic used for reasoning about cooperative agency. We present
a normal form and a set of resolution-based inference rules to solve the 
satisfiability problem in CL. We also show that the calculus presented here is sound,
complete, and terminating.}
}

{"_id":"HbcdSC4DeHoTzRrPn","bibbaseid":"nalon-zhang-dixon-hustadt-aresolutionbasedcalculusforcoalitionlogicextendedversion-2013","author_short":["Nalon, C.","Zhang, L.","Dixon, C.","Hustadt, U."],"bibdata":{"bibtype":"techreport","type":"Technical Report","author":[{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Lan"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"title":"A resolution-based calculus for Coalition Logic (Extended Version)","institution":"Department of Computer Science, University of Liverpool","year":"2013","number":"ULCS-13-004","address":"Liverpool, UK","url":"http://intranet.csc.liv.ac.uk/research/techreports/tr2013/ulcs-13-004.pdf","abstract":"We present a resolution-based calculus for the Coalition Logic CL, a non-normal modal logic used for reasoning about cooperative agency. We present a normal form and a set of resolution-based inference rules to solve the satisfiability problem in CL. We also show that the calculus presented here is sound, complete, and terminating.","bibtex":"@TECHREPORT{Nalon+Zhang+Dixon+Hustadt@ULCSTR2013,\n AUTHOR = {Cl{\\'a}udia Nalon and Lan Zhang and Clare Dixon and Ullrich Hustadt},\n TITLE = {A resolution-based calculus for Coalition Logic (Extended Version)},\n INSTITUTION = {Department of Computer Science, University of Liverpool},\n YEAR = {2013},\n TYPE = {Technical Report},\n NUMBER = {ULCS-13-004},\n ADDRESS = {Liverpool, UK},\n URL = {http://intranet.csc.liv.ac.uk/research/techreports/tr2013/ulcs-13-004.pdf},\n ABSTRACT = {We present a resolution-based calculus for the Coalition Logic CL, a\nnon-normal modal logic used for reasoning about cooperative agency. We present\na normal form and a set of resolution-based inference rules to solve the \nsatisfiability problem in CL. We also show that the calculus presented here is sound,\ncomplete, and terminating.}\n}\n","author_short":["Nalon, C.","Zhang, L.","Dixon, C.","Hustadt, U."],"key":"Nalon+Zhang+Dixon+Hustadt@ULCSTR2013","id":"Nalon+Zhang+Dixon+Hustadt@ULCSTR2013","bibbaseid":"nalon-zhang-dixon-hustadt-aresolutionbasedcalculusforcoalitionlogicextendedversion-2013","role":"author","urls":{"Paper":"http://intranet.csc.liv.ac.uk/research/techreports/tr2013/ulcs-13-004.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["resolution","based","calculus","coalition","logic","extended","version","nalon","zhang","dixon","hustadt"],"title":"A resolution-based calculus for Coalition Logic (Extended Version)","year":2013}