α-Lock resolution method for a lattice-valued first-order logic

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1274-1280
Journal	Engineering Applications of Artificial Intelligence
Volume	24
Issue number	7
DOIs	https://doi.org/10.1016/j.engappai.2011.07.003
Publication status	Published (in print/issue) - 2011

Access to Document

@article{d21da0b95a274c10a43d700e4cdfa8ef,

title = "α-Lock resolution method for a lattice-valued first-order logic",

author = "X.X. He and Y. Xu and Jun Liu and D. Ruan",

year = "2011",

doi = "10.1016/j.engappai.2011.07.003",

language = "English",

volume = "24",

pages = "1274--1280",

journal = "Engineering Applications of Artificial Intelligence",

publisher = "Elsevier Ltd",

number = "7",

}

TY - JOUR

T1 - α-Lock resolution method for a lattice-valued first-order logic

AU - He, X.X.

AU - Xu, Y.

AU - Liu, Jun

AU - Ruan, D.

PY - 2011

Y1 - 2011

U2 - 10.1016/j.engappai.2011.07.003

DO - 10.1016/j.engappai.2011.07.003

M3 - Article

VL - 24

SP - 1274

EP - 1280

JO - Engineering Applications of Artificial Intelligence

JF - Engineering Applications of Artificial Intelligence

IS - 7

ER -