Interval Neutrosophic Sets and Logic: Theory and Applications in Computing
Haibin WangFlorentin SmarandacheYan-Qing ZhangRajshekhar SunderramanPublished in: CoRR (2005)
Keyphrases
- set theory
- formal theory
- proof theory
- computer algebra
- logic programming
- knowledge base
- rough sets
- probability theory
- deductive reasoning
- set theoretic
- finite model theory
- artificial intelligence
- boolean algebra
- commonsense reasoning
- real numbers
- computational properties
- horn clauses
- automated reasoning
- computational model