| 1995 |
|---|
| 17 | EE | Chin-Liang Chang:
Heuristic Scheduling in a Dynamic Production Environment: A Practical Case.
IEA/AIE 1995: 711-719 |
| 1984 |
|---|
| 16 | | Chin-Liang Chang,
Adrian Walker:
PROSQL: A Prolog Programming Interface with SQL/DS.
Expert Database Workshop 1984: 233-246 |
| 1982 |
|---|
| 15 | | Nan C. Shu,
Vincent Y. Lum,
F. C. Tung,
Chin-Liang Chang:
Specification of Forms Processing and Business Procedures for Office Automation.
IEEE Trans. Software Eng. 8(5): 499-512 (1982) |
| 1979 |
|---|
| 14 | | Chin-Liang Chang:
On Evaluation of Queries Containing Derived Relations in a Relational Data Base.
Advances in Data Base Theory 1979: 235-260 |
| 13 | | Chin-Liang Chang,
James R. Slagle:
Using Rewriting Rules for Connection Graphs to Prove Theorems.
Artif. Intell. 12(2): 159-178 (1979) |
| 1978 |
|---|
| 12 | EE | E. F. Codd,
Robert S. Arnold,
Jean-Marc Cadiou,
Chin-Liang Chang,
Nick Roussopoulos:
RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases.
IBM Research Report RJ2144: (1978) |
| 1977 |
|---|
| 11 | | Chin-Liang Chang:
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases.
Logic and Data Bases 1977: 201-236 |
| 10 | | Andy N. C. Kang,
Richard C. T. Lee,
Chin-Liang Chang,
Shi-Kuo Chang:
Storage Reduction Through Minimal Spanning Trees and Spanning Forests.
IEEE Trans. Computers 26(5): 425-434 (1977) |
| 1974 |
|---|
| 9 | | Richard C. T. Lee,
Chin-Liang Chang,
Richard J. Waldinger:
An Improved Program-Synthesizing Algorithm and Its Correctness.
Commun. ACM 17(4): 211-217 (1974) |
| 8 | EE | James R. Slagle,
Chin-Liang Chang,
Richard C. T. Lee:
Experiments with some cluster analysis algorithms.
Pattern Recognition 6(3-4): 181-187 (1974) |
| 1973 |
|---|
| 7 | | Chin-Liang Chang,
Richard C. T. Lee,
John K. Dixon:
The Specialization of Programs by Theorem Proving.
SIAM J. Comput. 2(1): 7-15 (1973) |
| 1971 |
|---|
| 6 | | Chin-Liang Chang,
James R. Slagle:
An Admissible and Optimal Algorithm for Searching AND/OR Graphs.
Artif. Intell. 2(2): 117-128 (1971) |
| 5 | | Richard C. T. Lee,
Chin-Liang Chang:
Some Properties of Fuzzy Logic
Information and Control 19(5): 417-431 (1971) |
| 4 | EE | Chin-Liang Chang,
James R. Slagle:
Completeness of Linear Refutation for Theories with Equality.
J. ACM 18(1): 126-136 (1971) |
| 1970 |
|---|
| 3 | | Chin-Liang Chang:
Renamable Paramodulation for Automatic Theorem Proving with Equality.
Artif. Intell. 1(4): 247-256 (1970) |
| 2 | EE | Chin-Liang Chang:
The Unit Proof and the Input Proof in Theorem Proving.
J. ACM 17(4): 698-707 (1970) |
| 1969 |
|---|
| 1 | | James R. Slagle,
Chin-Liang Chang,
Richard C. T. Lee:
Completeness Theorems for Semantic Resolution in Consequence-Finding.
IJCAI 1969: 281-286 |
