Chin-Liang Chang

28 papers A* 1C 1Journal 18Unranked 6
YearRankTypeTitle / Venue / Authors
2015 — conf
Fuzzy similarity for function computation model.
NAFIPS/WConSC
Chin-Liang Chang
1997 — book
Fuzzy-Logic-Based Programming
Chin-Liang Chang
1995 C conf
Heuristic Scheduling in a Dynamic Production Environment: A Practical Case.
IEA/AIE
Chin-Liang Chang
1990 — conf
Validation of nonmonotonic knowledge-based systems.
TAI
Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs
1989 — conf
Testing integrated knowledge-based systems.
TAI
Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs
1984 — conf
PROSQL: A Prolog Programming Interface with SQL/DS.
Expert Database Workshop
Chin-Liang Chang, Adrian Walker
1982 J jnl
Specification of Forms Processing and Business Procedures for Office Automation.
IEEE Trans. Software Eng.
Nan C. Shu, Vincent Y. Lum, F. C. Tung, Chin-Liang Chang
1979 — conf
On Evaluation of Queries Containing Derived Relations in a Relational Data Base.
Advances in Data Base Theory
Chin-Liang Chang
1979 J jnl
Using Rewriting Rules for Connection Graphs to Prove Theorems.
Artif. Intell.
Chin-Liang Chang, James R. Slagle
1978 J jnl
RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases.
Research Report / RJ / IBM / San Jose, California
E. F. Codd, Robert S. Arnold, Jean-Marc Cadiou, Chin-Liang Chang, Nick Roussopoulos
1977 — conf
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.
Logic and Data Bases
Chin-Liang Chang
1977 J jnl
Storage Reduction Through Minimal Spanning Trees and Spanning Forests.
IEEE Trans. Computers
Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang
1975 J jnl
A Clustering and Data-Reorganizing Algorithm.
IEEE Trans. Syst. Man Cybern.
James R. Slagle, Chin-Liang Chang, Stephen R. Heller
1974 J jnl
An Improved Program-Synthesizing Algorithm and Its Correctness.
Commun. ACM
Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger
1974 J jnl
Experiments with some cluster analysis algorithms.
Pattern Recognit.
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
1974 J jnl
Finding Prototypes For Nearest Neighbor Classifiers.
IEEE Trans. Computers
Chin-Liang Chang
1973 J jnl
A Heuristic Relaxation Method for Nonlinear Mapping in Cluster Analysis.
IEEE Trans. Syst. Man Cybern.
Chin-Liang Chang, Richard C. T. Lee
1973 J jnl
Pattern Recognition by Piecewise Linear Discriminant Functions.
IEEE Trans. Computers
Chin-Liang Chang
1973 — book
Symbolic logic and mechanical theorem proving.
Chin-Liang Chang, Richard C. T. Lee
1973 J jnl
The Specialization of Programs by Theorem Proving.
SIAM J. Comput.
Chin-Liang Chang, Richard C. T. Lee, John K. Dixon
1972 J jnl
Theorem proving with variable-constrained resolution.
Inf. Sci.
Chin-Liang Chang
1971 J jnl
An Admissible and Optimal Algorithm for Searching AND/OR Graphs.
Artif. Intell.
Chin-Liang Chang, James R. Slagle
1971 J jnl
Completeness of Linear Refutation for Theories with Equality.
J. ACM
Chin-Liang Chang, James R. Slagle
1971 J jnl
Some Properties of Fuzzy Logic
Inf. Control.
Richard C. T. Lee, Chin-Liang Chang
1970 J jnl
A New Algorithm for Generating Prime Implicants.
IEEE Trans. Computers
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
1970 J jnl
Renamable Paramodulation for Automatic Theorem Proving with Equality.
Artif. Intell.
Chin-Liang Chang
1970 J jnl
The Unit Proof and the Input Proof in Theorem Proving.
J. ACM
Chin-Liang Chang
1969 A* conf
Completeness Theorems for Semantic Resolution in Consequence-Finding.
IJCAI
James R. Slagle, Chin-Liang Chang, Richard C. T. Lee