Thread View: comp.ai
1 messages
1 total messages
Started by Andre Trudel
Fri, 28 Aug 1998 00:00
classic tech reports
Author: Andre Trudel
Date: Fri, 28 Aug 1998 00:00
Date: Fri, 28 Aug 1998 00:00
71 lines
3025 bytes
3025 bytes
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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads