Fuzzy similarity for function computation model. - Chang, Chin-Liang (2015)

Fuzzy-Logic-Based Programming - Chang, Chin-Liang (World Scientific, 1997)

Heuristic Scheduling in a Dynamic Production Environment: A Practical Case. - Chang, Chin-Liang (1995)

Validation of nonmonotonic knowledge-based systems. - Chang, Chin-Liang; Stachowitz, Rolf A.; Combs, Jacqueline B. (1990)

Testing integrated knowledge-based systems. - Chang, Chin-Liang; Stachowitz, Rolf A.; Combs, Jacqueline B. (1989)

PROSQL: A Prolog Programming Interface with SQL/DS. - Chang, Chin-Liang; Walker, Adrian (1984)

Specification of Forms Processing and Business Procedures for Office Automation. - Shu, Nan C.; Lum, Vincent Y.; Tung, F. C.; Chang, Chin-Liang (IEEE Trans. Software Eng., 1982)

Using Rewriting Rules for Connection Graphs to Prove Theorems. - Chang, Chin-Liang; Slagle, James R. (Artif. Intell., 1979)

On Evaluation of Queries Containing Derived Relations in a Relational Data Base. - Chang, Chin-Liang (1979)

RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases. - Codd, E. F.; Arnold, Robert S.; Cadiou, Jean-Marc; Chang, Chin-Liang; Roussopoulos, Nick (Research Report / RJ / IBM / San Jose, California, 1978)

Storage Reduction Through Minimal Spanning Trees and Spanning Forests. - Kang, Andy N. C.; Lee, Richard C. T.; Chang, Chin-Liang; Chang, Shi-Kuo (IEEE Trans. Computers, 1977)

DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. - Chang, Chin-Liang (1977)

A Clustering and Data-Reorganizing Algorithm. - Slagle, James R.; Chang, Chin-Liang; Heller, Stephen R. (IEEE Trans. Syst. Man Cybern., 1975)

An Improved Program-Synthesizing Algorithm and Its Correctness. - Lee, Richard C. T.; Chang, Chin-Liang; Waldinger, Richard J. (Commun. ACM, 1974)

Experiments with some cluster analysis algorithms. - Slagle, James R.; Chang, Chin-Liang; Lee, Richard C. T. (Pattern Recognit., 1974)

Finding Prototypes For Nearest Neighbor Classifiers. - Chang, Chin-Liang (IEEE Trans. Computers, 1974)

Symbolic logic and mechanical theorem proving. - Chang, Chin-Liang; Lee, Richard C. T. (Academic Press, 1973)

The Specialization of Programs by Theorem Proving. - Chang, Chin-Liang; Lee, Richard C. T.; Dixon, John K. (SIAM J. Comput., 1973)

Pattern Recognition by Piecewise Linear Discriminant Functions. - Chang, Chin-Liang (IEEE Trans. Computers, 1973)

A Heuristic Relaxation Method for Nonlinear Mapping in Cluster Analysis. - Chang, Chin-Liang; Lee, Richard C. T. (IEEE Trans. Syst. Man Cybern., 1973)

Theorem proving with variable-constrained resolution. - Chang, Chin-Liang (Inf. Sci., 1972)

An Admissible and Optimal Algorithm for Searching AND/OR Graphs. - Chang, Chin-Liang; Slagle, James R. (Artif. Intell., 1971)

Some Properties of Fuzzy Logic - Lee, Richard C. T.; Chang, Chin-Liang (Inf. Control., 1971)

Completeness of Linear Refutation for Theories with Equality. - Chang, Chin-Liang; Slagle, James R. (J. ACM, 1971)

Renamable Paramodulation for Automatic Theorem Proving with Equality. - Chang, Chin-Liang (Artif. Intell., 1970)

The Unit Proof and the Input Proof in Theorem Proving. - Chang, Chin-Liang (J. ACM, 1970)

A New Algorithm for Generating Prime Implicants. - Slagle, James R.; Chang, Chin-Liang; Lee, Richard C. T. (IEEE Trans. Computers, 1970)

Completeness Theorems for Semantic Resolution in Consequence-Finding. - Slagle, James R.; Chang, Chin-Liang; Lee, Richard C. T. (1969)