Ulster University Logo

Alpha-Quasi-lock semantic resolution method based on lattice-valued logic

Zhong, X.M., Xu, Y., Liu, Jun and Chen, Shuwei (2014) Alpha-Quasi-lock semantic resolution method based on lattice-valued logic. International Journal of Computational Intelligence Systems, 7 (3). pp. 418-431. [Journal article]

Full text not available from this repository.

DOI: 10.1080/18756891.2013.859868


Item Type:Journal article
Keywords:α-Quasi-lock semantic resolution method, resolution-based automated reasoning, general form of α-resolution principle, lattice-valued logic, lattice implication algebra
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Artificial Intelligence and Applications
ID Code:32488
Deposited By: Dr Jun Liu
Deposited On:26 Oct 2015 11:44
Last Modified:26 Oct 2015 11:44

Repository Staff Only: item control page