Name                    Last modified       Size  Description

 Parent Directory        18-Sep-2000 10:30      -  
 backtrack.ps.gz         08-Nov-1996 09:15    64k  
 hazards.ps.gz           08-Nov-1996 09:15    36k  
 pcirc.ps.gz             08-Nov-1996 09:15    39k  
 schedule.ps.gz          08-Nov-1996 09:15    41k  
 survey.ps.gz            08-Nov-1996 09:15    47k  
 thesis.ps.gz            08-Nov-1996 09:15   264k  
 tpe.ps.gz               08-Nov-1996 09:15    33k  
 yale-aij.ps.gz          08-Nov-1996 09:15    60k  
 yale-kr89.ps.gz         08-Nov-1996 09:15    47k  

The following papers are available in postscript format.  For each
paper, its title, year of publication, place of publication, and
postscript file name are given below.  A place of publication enclosed
in parentheses indicates that the paper is under review (and should
therefore be considered as a draft).


				Andrew Baker


AIJ  = Artificial Intelligence Journal
JAIR = Journal of Artificial Intelligence Research
AAAI = National Conference on Artificial Intelligence
IJCAI = International Joint Conference on Artificial Intelligence
KR = Conference on Principles of Knowledge Representation and Reasoning



	TITLE				YEAR	PLACE		.PS

Intelligent Backtracking on the         1995    (JAIR)          backtrack.ps
  Hardest Constraint Problems

Intelligent Backtracking on Constraint  1995    Ph.D. thesis    thesis.ps
  Satisfaction Problems: Experimental
  and Theoretical Results

The Hazards of Fancy Backtracking	1994	AAAI-94		hazards.ps

Experimental Results on the		1994	AAAI-94		schedule.ps
  Application of Satisfiability
  Algorithms to Scheduling Problems
  (with J.M. Crawford)

Nonmonotonic Reasoning in the		1991	AIJ		yale-aij.ps
  Framework of Situation Calculus

Nonmonotonic Temporal Reasoning		1989	Unpublished	survey.ps
  (with Y. Shoham)

A Theorem Prover for Prioritized	1989	IJCAI-89	pcirc.ps
  Circumscription (with M.L. Ginsberg)

Temporal Projection and Explanation	1989	IJCAI-89	tpe.ps
  (with M.L. Ginsberg)						(refs missing)

A Simple Solution to the Yale Shooting	1989	KR-89		yale-kr89.ps
  Problem