Advanced search
1 file | 245.52 KB

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

Author
Organization
Keywords
Lattice-valued logic, Automated reasoning, α-Lock resolution, α-Resolution, Lattice implication algebra, PRINCIPLE, LP(X), SYSTEM, CONSISTENCY, LF(X)

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 245.52 KB

Citation

Please use this url to cite or link to this publication:

Chicago
He, Xingxing, Yang Xu, Jun Liu, and Da Ruan. 2011. “α-Lock Resolution Method for a Lattice-valued First-order Logic.” Engineering Applications of Artificial Intelligence 24 (7): 1274–1280.
APA
He, Xingxing, Xu, Y., Liu, J., & Ruan, D. (2011). α-Lock resolution method for a lattice-valued first-order logic. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 24(7), 1274–1280.
Vancouver
1.
He X, Xu Y, Liu J, Ruan D. α-Lock resolution method for a lattice-valued first-order logic. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE. 2011;24(7):1274–80.
MLA
He, Xingxing, Yang Xu, Jun Liu, et al. “α-Lock Resolution Method for a Lattice-valued First-order Logic.” ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 24.7 (2011): 1274–1280. Print.
@article{2918423,
  author       = {He, Xingxing and Xu, Yang and Liu, Jun and Ruan, Da},
  issn         = {0952-1976},
  journal      = {ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE},
  keyword      = {Lattice-valued logic,Automated reasoning,\ensuremath{\alpha}-Lock resolution,\ensuremath{\alpha}-Resolution,Lattice implication algebra,PRINCIPLE,LP(X),SYSTEM,CONSISTENCY,LF(X)},
  language     = {eng},
  number       = {7},
  pages        = {1274--1280},
  title        = {\ensuremath{\alpha}-Lock resolution method for a lattice-valued first-order logic},
  url          = {http://dx.doi.org/10.1016/j.engappai.2011.07.003},
  volume       = {24},
  year         = {2011},
}

Altmetric
View in Altmetric
Web of Science
Times cited: