Comparisons Among α

Xingxing He; Yang Xu; Jun Liu; Xiaomei Zhong; Peng Xu

doi:10.1007/978-3-642-54924-3_4

Comparisons Among α

Xingxing He, Yang Xu, Jun Liu, Xiaomei Zhong, Peng Xu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in L_n×2F(X). Some examples are given to illustrate the efficiency of three non-clausal resolution methods.

Original language	English
Title of host publication	Foundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013
Publisher	Springer Verlag
Pages	35-42
Number of pages	8
ISBN (Print)	9783642549236
DOIs	https://doi.org/10.1007/978-3-642-54924-3_4
Publication status	Published (in print/issue) - 2014
Event	8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013 - Shenzhen, China Duration: 20 Nov 2013 → 23 Nov 2013

Publication series

Name	Advances in Intelligent Systems and Computing
Volume	277
ISSN (Print)	2194-5357

Conference

Conference	8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013
Country/Territory	China
City	Shenzhen
Period	20/11/13 → 23/11/13

Bibliographical note

Funding Information:
This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 61305074, 61175055, 61105059, and 61100046) and Sichuan Key Technology Research and Development Program under Grant No. 2011FZ0051.

Keywords

Lattice-valued logic
α-Generalized linear resolution
α-Generalized lock resolution
α-Generalized semantic resolution

Access to Document

10.1007/978-3-642-54924-3_4

Cite this

@inproceedings{5a9e408970b54ad99c87bfd6b385880f,

title = "Comparisons Among α",

abstract = "This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in Ln×2F(X). Some examples are given to illustrate the efficiency of three non-clausal resolution methods.",

keywords = "Lattice-valued logic, α-Generalized linear resolution, α-Generalized lock resolution, α-Generalized semantic resolution",

author = "Xingxing He and Yang Xu and Jun Liu and Xiaomei Zhong and Peng Xu",

note = "Funding Information: This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 61305074, 61175055, 61105059, and 61100046) and Sichuan Key Technology Research and Development Program under Grant No. 2011FZ0051.; 8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013 ; Conference date: 20-11-2013 Through 23-11-2013",

year = "2014",

doi = "10.1007/978-3-642-54924-3_4",

language = "English",

isbn = "9783642549236",

series = "Advances in Intelligent Systems and Computing",

publisher = "Springer Verlag",

pages = "35--42",

booktitle = "Foundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013",

address = "Germany",

}

He, X, Xu, Y, Liu, J, Zhong, X & Xu, P 2014, Comparisons Among α. in Foundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013. Advances in Intelligent Systems and Computing, vol. 277, Springer Verlag, pp. 35-42, 8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013, Shenzhen, China, 20/11/13. https://doi.org/10.1007/978-3-642-54924-3_4

Comparisons Among α. / He, Xingxing; Xu, Yang; Liu, Jun et al.
Foundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013. Springer Verlag, 2014. p. 35-42 (Advances in Intelligent Systems and Computing; Vol. 277).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Comparisons Among α

AU - He, Xingxing

AU - Xu, Yang

AU - Liu, Jun

AU - Zhong, Xiaomei

AU - Xu, Peng

N1 - Funding Information: This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 61305074, 61175055, 61105059, and 61100046) and Sichuan Key Technology Research and Development Program under Grant No. 2011FZ0051.

PY - 2014

Y1 - 2014

N2 - This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in Ln×2F(X). Some examples are given to illustrate the efficiency of three non-clausal resolution methods.

AB - This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in Ln×2F(X). Some examples are given to illustrate the efficiency of three non-clausal resolution methods.

KW - Lattice-valued logic

KW - α-Generalized linear resolution

KW - α-Generalized lock resolution

KW - α-Generalized semantic resolution

UR - http://www.scopus.com/inward/record.url?scp=84906735917&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-54924-3_4

DO - 10.1007/978-3-642-54924-3_4

M3 - Conference contribution

AN - SCOPUS:84906735917

SN - 9783642549236

T3 - Advances in Intelligent Systems and Computing

SP - 35

EP - 42

BT - Foundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013

PB - Springer Verlag

T2 - 8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013

Y2 - 20 November 2013 through 23 November 2013

ER -

Comparisons Among α

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this