Chin-Liang Chang

Chin-Liang Chang: Heuristic Scheduling in a Dynamic Production Environment: A Practical Case. IEA/AIE 1995: 711-719

Chin-Liang Chang, Adrian Walker: PROSQL: A Prolog Programming Interface with SQL/DS. Expert Database Workshop 1984: 233-246

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)

Chin-Liang Chang, James R. Slagle: Using Rewriting Rules for Connection Graphs to Prove Theorems. Artif. Intell. 12(2): 159-178 (1979)

Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260

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)

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)

Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236

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)

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee: Experiments with some cluster analysis algorithms. Pattern Recognition 6(3-4): 181-187 (1974)

Chin-Liang Chang, Richard C. T. Lee: Symbolic logic and mechanical theorem proving. Computer science classics, Academic Press 1973, isbn 978-0-12-170350-9, pp. I-XIII, 1-331

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)

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

Richard C. T. Lee, Chin-Liang Chang: Some Properties of Fuzzy Logic. Information and Control 19(5): 417-431 (1971)

Chin-Liang Chang, James R. Slagle: Completeness of Linear Refutation for Theories with Equality. J. ACM 18(1): 126-136 (1971)

Chin-Liang Chang: Renamable Paramodulation for Automatic Theorem Proving with Equality. Artif. Intell. 1(4): 247-256 (1970)

Chin-Liang Chang: The Unit Proof and the Input Proof in Theorem Proving. J. ACM 17(4): 698-707 (1970)

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee: Completeness Theorems for Semantic Resolution in Consequence-Finding. IJCAI 1969: 281-286