Index of /aics_history/lunn_docs/AI4 1988-1989

[ICO]NameLast modifiedSizeDescription
[ ]860500 MIT AI Lab AI Memo 899 Achieving AI Through Building Robots Rodney A Brooks.pdf2025-05-06 15:01 5.0M 
[ ]880124 AI4 IAS Off-line Planning and Programming of the Assembly Task Chris Malcom.pdf2025-05-06 15:01 2.8M 
[ ]881028 AI4 Mathematical Reasoning Experiments with Proof Plans for Induction Alan Bundy Frank van Harmelen Jane Hesketh Alan Smaill.pdf2025-05-06 15:01 7.0M 
[ ]881101 AI4 Mathematical Reasoning Logic and Automating Proof Jane Hesketh 37 Pages.pdf2025-05-06 15:01 14M 
[ ]881116 AI4 Mathematical Reasoning More Exam Questions.pdf2025-05-06 15:01 330K 
[ ]881125 AI4 Mathematical Reasoning Tutorial Guide to Oyster Proof Development System Jane Hesketh.pdf2025-05-06 15:01 7.2M 
[ ]890110 AI4 IAS MSc Knowledge Based Systems Objectives Syllabus Chris Malcom.pdf2025-05-06 15:01 940K 
[ ]890111 AI4 ESKA Lectures 1-17 Chris Thornton.pdf2025-05-06 15:01 13M 
[ ]890111 AI4 ESKA POP11 Programming Chris Thornton.pdf2025-05-06 15:01 3.5M 
[ ]890113 AI4 Mathematical Reasoning Definitions and Is Something Missing.pdf2025-05-06 15:01 1.5M 
[ ]890123 AI4 IAS MSc Notes on On-Line Robot Programming Languages Chris Malcom.pdf2025-05-06 15:01 3.4M 
[ ]890203 IAS Scientific American Computer Controlled Assembly James Nevins Daniel Whitney.pdf2025-05-06 15:01 8.1M 
[ ]890206 AI4 ESKA Practical 1 Chris Thornton.pdf2025-05-06 15:01 1.2M 
[ ]890210 AI4 IAS MSc Practical Example The Soma Cube Assmbly Problem Chris Malcom.pdf2025-05-06 15:01 4.9M 
[ ]891702 AI4 IAS camedai behaviours workshop paper.pdf2025-05-06 15:01 6.3M 
[ ]AI4 Cognitive Psychology Handout Introduction Two Kinds of Reductionism Unknown Author.pdf2025-05-06 15:01 10M 
[ ]AI4 Cognitive Psychology Schedule.pdf2025-05-06 15:01 1.0M 
[ ]Undated AI4 Mathematical Reasoning Exam Questions.pdf2025-05-06 15:01 726K 
[ ]Undated AI4 Mathematical Reasoning Week 9 Exercises.pdf2025-05-06 15:01 535K 
Apache/2.4 Server at groups.inf.ed.ac.uk Port 443