Show 250 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="He, Xingxing*" or (type exact bookEditor and editor="He, Xingxing*") Add to list Journal Article A1 On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic Xingxing He, Jun Liu, Yang Xu, Luis Martínez and Da Ruan (UGent) (2012) LOGIC JOURNAL OF THE IGPL. 20(3). p.579-588 Add to list Journal Article A1 α-Lock resolution method for a lattice-valued first-order logic Xingxing He, Yang Xu, Jun Liu and Da Ruan (UGent) (2011) ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE. 24(7). p.1274-1280 Add to list Conference Paper P1 α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X) Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez and Da Ruan (UGent) (2010) Lecture Notes in Artificial Intelligence. In Lecture Notes in Artificial Intelligence 6077. p.320-327