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

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

Research output: Contribution to journalArticle

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

Cite this