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

X.X. He, Y. Xu, Jun Liu, D. Ruan

Research output: Contribution to journalArticlepeer-review

20 Citations (Scopus)
Original languageEnglish
Pages (from-to)1274-1280
JournalEngineering Applications of Artificial Intelligence
Volume24
Issue number7
DOIs
Publication statusPublished (in print/issue) - 2011

Cite this