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.
-------