🚀 go-pugleaf

Attached below is a list of old (and some of them classic) AI tech
reports. If you're interested in any of them, please contact
Peggy at peggy.weir@acadiau.ca

They are free to a good home.

=====================================================
Discussions on Automatic Theorem Proving  W.W. Bledsoe		November, 1973

Computational Logic:  Structure Sharing and 
Proof of Program Properties			J. Strother Moore			

Computational Logic:  Structure Sharing and
Proof of Program Properties			J. Strother Moore	

School of Artificial Intelligence University
of Edinburgh			D. Michie			December, 1971

Strips:  A New Approach to the Application of	Nils J. Nilsson			
Theorem Proving to Problem Solving		Richard E. Fikes

A Model For Functional Reasoning in Design	P. Freeman A. Newell

A Framework for Representing Knowledge	Marvin Minsky		June 1974

An Informaiton-Processing Model of Operant Behavior, Nilsson and Hart, 1970

A survey of the Literature on Problem-
Solving Methods in Artificial Intelligence,  Nils J. Nilsson	February, 1970

Extracting Information From Resolution		David Luckham
Proof Trees					Nils J. Nilsson	January, 1971

Logic for Problem Solving	Robert Kowalski			March 1974

Implementing Prolog- Compiling Predicate
Logic Programs Volume 1				David H.D. Warren  May 1977

Implementing Prolog- Compiling Predicate
Logic Programs Volume 2				David H.D. Warren  May 1977

An Improved Theorem-Proving System for		Robert Kowalski			
First-Order Logic

Proof, Abstraction and Semantics In 
Mathematics and Artificial Intelligence		Bernard Meltzer	  July 1973

Evaluation and Resolution				Dr. Alan Bundy			

Doing Arithmetic With Diagrams			Alan Bundy			

On Closed World Data Bases	Raymond Reiter			October, 1977

Self-Modifying Programs		Raymond Reiter			May 1972

Deductive Question-Answering on 
Relational Data Bases		Raymond Reiter			October 1977

A Logic for Default Reasoning	Raymond Reiter			July 1979

Analysing Mathematical Proofs	Alan Bundy			May 1975

Nonmonotonic Inferences Systems for
Modelling Dynamic Processes		Craig MacNish			1992

Exact and Approximate Reasoning about
Qualitative Temporal Relations	Peter van Beek			August, 1990

Temporal Imagery:  An Approach to Reasoning	Thomas Dean	October, 1985
About Time for Planning and Problem Solving