%A Gordon S. Novak
%A Robert L. Causey, et al
%T Artificial Intelligence Project at The University of Texas at Austin,
%R AI TR84-01
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D 1984

%A Ezat Karimi
%T Computing Discourse Conceptual Coherence: A Means to Contextual
Reference Resolution
%R AI TR84-02
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1984

%A Yeong-Ho Yu
%T Translating Horn Clauses From English
%R AI TR84-03
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1984

%A Robert F. Simmons,
%T From Menus to Intentions in Man-Machine Dialogue
%R AI TR84-04
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D November 1984

%A Robert F. Simmons,
%T A Text Knowledge Base for the AI Handbook
%R AI TR84-05
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1983

%A Michael Kavanaugh Smith
%T Knowledge Based Contextual Reference Resolution for Text
Understanding
%R AI TR85-02
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D January 1985

%A Bruce W. Porter
%T Learning Problem Solving: A Proposal for Continued Research
%R AI TR85-03
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D March 1985

%A Bruce W. Porter
%T Using and Revising Learned Concept Models: A Research Proposal
%R AI TR85-04
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D May 1985

%A Robert A. Levinson
%T A Self Organizing Retrieval System for Graphs
%R AI TR85-05
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D May 1985

%A Gordon S. Novak,\ Jr.
%T Lisp Programming Lecture Notes
%R AI TR85-06
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D July 1985

%A William R. Murray
%T Heuristic and Formal Methods in Automatic Program Debugging
%R AI TR85-07
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D June 1985
%O (To appear in IJCAI85 Proceedings.)

%A Vipin Kumar
%T A General Heuristic Bottom-up Procedure for Searching AND/OR Graphs
%R AI TR85-08
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1985

%A Vipin Kumar
%T A General Paradigm for AND/OR Graph and Game Tree Search
%R AI TR85-09
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1985

%A Vipin Kumar
%T Parallel Processing for Artificial Intelligence
%R AI TR85-10
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D 1985

%A Vipin Kumar
%T Branch-AND-Bound Search
%R AI TR85-11
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D 1985

%A Olivier Winghart
%T Computational Treatment of Metaphor in Text Understanding: A First
Approach
%R AI TR85-12
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1985

%A Robert Simmons
%T Computer Science and Medical Information Retrieval
%R AI TR85-13
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D 1985

%A Robert Simmons
%T Technologies for Machine Translation
%R AI TR85-14
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1985

%A Nicholas Asher
%A Hans Kamp
%T The Knower's Paradox and the Logics of Attitudes
%R AI TR85-15
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1985

%A Rick Hill
%T Negotiated Interfaces for Software Reusability
%R AI TR85-16
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1985

%A Benjamin J. Kuipers
%T The Map-Learning Critter
%R AI TR85-17
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1985

%A Man-Lee Wan
%T Menu-Based Creation of Procedures for Display of Data
%R AI TR85-18
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1985

%A Stuart Laughton
%T Explanation of Mechanical Systems Through Qualitative Simulation
%R AI TR85-19
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1985

%A Bruce W. Porter
%A Dennis Kibler
%T Experimental Goal Regression: A Method for Learning
Problem Solving Heuristics
%R AI TR86-20
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D January 1986

%A Wing-Kwong Wong
%T GT: A Conjecture Generator for Graph Theory
%R AI TR86-21
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D January 1986

%A Yow-Jian Lin
%A Vipin Kumar
%A Clement Leung
%T An Intelligent Backtracking Algorithm for Parallel
Execution of Logic Programs
%R AI TR86-22
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D March 1986
%O (Also appeared in 1986 Int'l Logic Programming Conf. proc.)

%A Yow-Jian Lin
%A Vipin Kumar
%T A Parallel Execution Scheme for Exploiting AND-parallelism
of Logic Programs
%R AI TR86-23
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D March 1986
%O (Also appeared in 1986 Int'l Parallel processing Conf. proc.)

%A Benjamin J. Kuipers
%T Qualitative Simulation as Causal Explanation
%R AI TR86-24
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D April 1986

%A Ray Bareiss
%A Adam Farquhar
%A April 1986
%T Fault Diagnosis Using Qualitative Simulation
%R AI TR86-25
%I Artificial Intelligence Laboratory,
University of Texas at Austin

%A Wanying Jin
%A Robert F. Simmons
%T Symmetric Rules for Translation of English and Chinese
%R AI TR86-26
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D May 1986

%A William R. Murray
%T Automatic Program Debugging for Intelligent Tutoring Systems
%R AI TR86-27
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D June 1986
%O (PhD dissertation)

%A Mark V. Lapolla
%T The Role of Inversion, Clecting and PP-Fronting in
Relating Discourse Elements
%R AI TR86-28
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D July 1986

%A Wing-Kwong C. Wong
%T A Theory of Argument Coherence
%R AI TR86-29
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D July 1986

%A Phillipe M. Alcouffe
%T Metaphorical Shift and The Induction of Similarities
%R AI TR86-30
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D July 1986
%O (Master's thesis)

%A Christopher A. Rath
%T A Rule Language for the GLISP Programming System
%R AI TR86-31
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1986
%O (Master's thesis)

%A William R. Murray
%T Talus: Automatic Program Debugging for Intelligent Tutoring Systems,
%R AI TR86-32
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1986

%A Charles J. Petrie
%T New Algorithms for Dependency-Directed Backtracking
%R AI TR86-33
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D September 1986
%O (Master's thesis)

%A Yow-Jian Lin
%A Vipin Kumar
%T An Execution Model for Exploiting AND-Parallelism in Logic Programs
%R AI TR86-34
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D September 1986

%A Bruce W. Porter
%A E. Ray Bareiss
%T PROTOS: An Experiment in Knowledge Acquisition for Heuristic
Classification Tasks
%R AI TR86-35
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D August 1986

%A Vipin Kumar
%A Yow-jian Lin
%T A Framework for Intelligent Backtracking in Logic programs
%R AI TR86-36
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D October 1986

%A Vipin Kumar
%A Yow-jian Lin
%T An Intelligent Backtracking Scheme for Prolog
%R AI TR86-37
%I Artificial Intelligence Laboratory,
University of Texas at Austin
%D December 1986