Home * People * Chin-Liang Chang

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.

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 [1] . 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 [2] , an inference rule for first-order predicate calculus, to deduce logical consequences from a set of axioms [3] . He further worked for IBM Almaden Research Center, San Jose, California, Lockheed Missiles & Space Company, Inc., Menlo Park, California [4] , and Nicesoft Corp., USA [5] , 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” [6] .
Chin-Liang Chang [7]

Selected Publications

[8] [9]

External Links


  1. ^ Ph.D. Dissertations | EECS at UC Berkeley
  2. ^ James R. Slagle (1967). Automatic Theorem Proving With Renamable and Semantic Resolution. Journal of the ACM, Vol. 14, No. 4
  3. ^ James R. Slagle, Chin-Liang Chang and Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf
  4. ^ Symbolic Logic and Mechanical Theorem Proving - Elsevier
  5. ^ Fuzzy-Logic-Based Programming
  6. ^ RISE Sessions: Chin Chang
  7. ^ Chin-Liang Chang and Tim Walker | Flickr - Fotosharing!, One Web Day Austin, September 22, 2007, Photo by Jon Lebkowsky
  8. ^ DBLP: Chin-Liang Chang
  9. ^ Researchr - Publications by 'Chin-Liang Chang'

What links here?

Up one level