Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "Automated reasoning" Add to list Journal Article A1 Determination of α-resolution in lattice-valued first-order logic LF(X) Yang Xu, Jun Liu, Da Ruan (UGent) and Xiaobing Li (2011) INFORMATION SCIENCES. 181(10). p.1836-1862 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 Journal Article A1 Filter-based resolution principle for lattice-valued propositional logic LP(X) Jun Ma, Wenjiang Li, Da Ruan (UGent) and Yang Xu (2007) INFORMATION SCIENCES. 177(4). p.1046-1062