DocumentCode
3120751
Title
Exploiting polarity in multiple-valued inference systems
Author
Stachniak, Zbigniew
Author_Institution
Dept. of Comput. Sci., York Univ., Toronto, Ont., Canada
fYear
2001
fDate
2001
Firstpage
149
Lastpage
156
Abstract
This paper surveys some polarity-based knowledge representational and automated reasoning techniques in the domain of many-valued logics
Keywords
inference mechanisms; knowledge representation; multivalued logic; theorem proving; automated reasoning; many-valued logics; multiple-valued inference systems; polarity; polarity-based knowledge representational technique; Boolean functions; Computational efficiency; Computer science; Constraint theory; Councils; Inference algorithms; Knowledge representation; Logic programming; Multivalued logic; Polarization;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location
Warsaw
ISSN
0195-623X
Print_ISBN
0-7695-1083-3
Type
conf
DOI
10.1109/ISMVL.2001.924566
Filename
924566
Link To Document