AI.CHRISSIE@R20.UTEXAS.EDU (10/22/86)
[Forwarded from the UTexas-20 bboard by Laws@SRI-STRIPE.] Following is a listing of the reports available from the AI Lab. Reports are available from Chrissie in Taylor Hall 4.130D. An annotated list is also available upon request either on-line or hardcopy. TECHNICAL REPORT LISTING Artificial Intelligence Laboratory University of Texas at Austin Taylor Hall 2.124 Austin, Texas 78712 (512) 471-9562 September 1986 All reports furnished free of charge AI84-01 Artificial Intelligence Project at The University of Texas at Austin, Gordon S. Novak and Robert L. Causey, et al., 1984. AI84-02 Computing Discourse Conceptual Coherence: A Means to Contextual Reference Resolution, Ezat Karimi, August 1984. AI84-03 Translating Horn Clauses From English, Yeong-Ho Yu, August 1984. AI84-04 From Menus to Intentions in Man-Machine Dialogue, Robert F. Simmons, November 1984. AI84-05 A Text Knowledge Base for the AI Handbook, Robert F. Simmons, December 1983. AI85-02 Knowledge Based Contextual Reference Resolution for Text Understanding, Michael Kavanaugh Smith, January 1985. AI85-03 Learning Problem Solving: A Proposal for Continued Research, Bruce W. Porter, March 1985. AI85-04 Using and Revising Learned Concept Models: A Research Proposal, Bruce W. Porter, May 1985. AI85-05 A Self Organizing Retrieval System for Graphs, Robert A. Levinson, May 1985. AI85-06 Lisp Programming Lecture Notes, Gordon S. Novak, Jr., July 1985. AI85-07 Heuristic and Formal Methods in Automatic Program Debugging, William R. Murray, June 1985. (To appear in IJCAI85 Proceedings.) AI85-08 A General Heuristic Bottom-up Procedure for Searching AND/OR Graphs, Vipin Kumar, August 1985. AI85-09 A General Paradigm for AND/OR Graph and Game Tree Search. Vipin Kumar, August 1985. AI85-10 Parallel Processing for Artificial Intelligence, Vipin Kumar, 1985. AI85-11 Branch-AND-Bound Search, Vipin Kumar, 1985. AI85-12 Computational Treatment of Metaphor in Text Understanding: A First Approach, Olivier Winghart, August 1985. AI85-13 Computer Science and Medical Information Retrieval, Robert Simmons, 1985. AI85-14 Technologies for Machine Translation, Robert Simmons, August 1985. AI85-15 The Knower's Paradox and the Logics of Attitudes, Nicholas Asher and Hans Kamp, August 1985. AI85-16 Negotiated Interfaces for Software Reusability, Rick Hill, December 1985. AI85-17 The Map-Learning Critter, Benjamin J. Kuipers, December 1985. AI85-18 Menu-Based Creation of Procedures for Display of Data, Man-Lee Wan, December 1985. AI85-19 Explanation of Mechanical Systems Through Qualitative Simulation, Stuart Laughton, December 1985. AI86-20 Experimental Goal Regression: A Method for Learning Problem Solving Heuristics, Bruce W. Porter and Dennis Kibler, January 1986. AI86-21 GT: A Conjecture Generator for Graph Theory, Wing-Kwong Wong, January 1986. AI86-22 An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs, Yow-Jian Lin, Vipin Kumar and Clement Leung, March 1986. AI86-23 A Parallel Execution Scheme for Exploiting AND-parallelism of Logic Programs, Yow-Jian Lin and Vipin Kumar, March 1986. AI86-24 Qualitative Simulation as Causal Explanation, Benjamin J. Kuipers, April 1986. AI86-25 Fault Diagnosis Using Qualitative Simulation, Ray Bareiss and Adam Farquhar, April 1986. AI86-26 Symmetric Rules for Translation of English and Chinese, Wanying Jin and Robert F. Simmons, May 1986. AI86-27 Automatic Program Debugging for Intelligent Tutoring Systems, William R. Murray, June, 1986. (PhD dissertation) AI86-28 The Role of Inversion, Clecting and PP-Fronting in Relating Discourse Elements, Mark V. Lapolla, July 1986. AI86-29 A Theory of Argument Coherence, Wing-Kwong C. Wong, July 1986. AI86-30 Metaphorical Shift and The Induction of Similarities, Phillipe M. Alcouffe, July 1986. (Master's thesis) AI86-31 A Rule Language for the GLISP Programming System, Christopher A. Rath, August 1986. (Master's thesis) AI86-32 Talus: Automatic Program Debugging for Intelligent Tutoring Systems, William R. Murray, August 1986. AI86-33 New Algorithms for Dependency-Directed Backtracking, Charles J. Petrie, September, 1986. (Master's thesis) AI86-34 An Execution Model for Exploiting AND-Parallelism in Logic Programs, Yow-Jian Lin and Vipin Kumar, September 1986. AI86-35 PROTOS: An Experiment in Knowledge Acquisition for Heuristic Classification Tasks, Bruce W. Porter and E. Ray Bareiss, August 1986. -------