Chin-Liang+Chang

a [|Taiwanese American] computer scientist with research interests in artificial intelligence, [|fuzzy logic], [|theorem proving], [|database], and [|software engineering] and the [|internet].
 * Home * People * Chin-Liang Chang**
 * [[image:Chin-Liang_Chang.JPG width="160" height="239" link="http://www.flickr.com/photos/weblogsky/1426021556/in/set-72157602121396968"]] ||~  || **Chin-Liang Chang**,

In 1967, Chin-Liang Chang wrote his Ph.D thesis at University of California, Berkeley on fuzzy logic, advised by its inventor Lotfi A. Zadeh. At [|National Institutes of Health], [|Bethesda, Maryland], along with Richard C. T. Lee, James R. Slagle and John K. Dixon, Chin-Liang Chang researched on [|automated theorem proving], to extend Slagle's semantic [|resolution] principle, an [|inference] rule for [|first-order predicate calculus], to deduce logical consequences from a set of [|axioms]. He further worked for [|IBM Almaden Research Center], [|San Jose, California], [|Lockheed Missiles & Space Company, Inc.], [|Menlo Park, California], and Nicesoft Corp., USA , where he developed the [|Fuzzy programming language] NICEL. After his retirement, he has being enjoying being an [|entrepreneur]. His motto is “There is ‘no distance’ in Internet, and there is ‘no age’ in Entrepreneurship”. || toc =Selected Publications=
 * Chin-Liang Chang ||~  ||^   ||
 * Chin-Liang Chang (**1967**). //Fuzzy Sets and Pattern Recognition//. Ph.D. thesis, advisor: Lotfi A. Zadeh, University of California, Berkeley
 * James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (**1969**). //Completeness Theorems for Semantic Resolution In Consequence-Finding//. IJCAI-69, [|pdf]
 * James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (**1970**). //[|A New Algorithm for Generating Prime Implicants]//. [|IEEE Transactions on Computers], Vol. 19, No. 4
 * Chin-Liang Chang, James R. Slagle (**1971**). //[|An Admissible and Optimal Algorithm for Searching AND/OR Graphs]//. Artificial Intelligence, Vol. 2, No. 2
 * Chin-Liang Chang, Richard C. T. Lee, John K. Dixon (**1973**). //The Specialization of Programs by Theorem Proving//. [|SIAM Journal on Computing], Vol 2, No. 1
 * Chin-Liang Chang, Richard C. T. Lee (**1973**). //Symbolic Logic and Mechanical Theorem Proving//. Academic Press, New York, 1973
 * Chin-Liang Chang (**1985**). //Introduction to Artificial Intelligence Techniques//. JMA Press, [|Open Library]
 * Chin-Liang Chang (**1997**). //[|Fuzzy-Logic-Based Programming]//. [|Advances in Fuzzy Systems - Applications and Theory], Vol 15, [|google books]

=External Links=
 * [|North America Taiwanese Engineers' Association]

=References= =What links here?= include page="Chin-Liang Chang" component="backlinks" limit="40"
 * Up one level**