 Book Review

RB747
 1994 Book Review
 Kolodner,J



RB865
 1994 Book Review
 Laske,O; Balaban,M; Ebcioglu,K



 Chapter in Edited Book

CB187
 1994 Chapter in Edited Book
 Walsh,T

 Creative Proof Planning

CB203
 1994 Chapter in Edited Book
 Trucco,E; Fisher,RB

 Preserving Shape at Boundaries in Diffusion Smoothing

CB636
 1994 Chapter in Edited Book
 Mellish,CS



CB702
 1994 Chapter in Edited Book
 Ritchie,GD

 Learning from AM

CB707
 1994 Chapter in Edited Book
 Corne,D; Ross,PM; Fang,H

 Fast Practical Evolutionary Timetabling

CB708
 1994 Chapter in Edited Book
 Ross,PM; Corne,D; Fang,H

 Improving Evolutionary Timetabling and Directed Mutation with Delta Evaluation

CB709
 1994 Chapter in Edited Book
 Gathercole,C; Ross,PM

 Dynamic Training Subset Selection for Supervised Learning in Genetic Programming

CB714
 1994 Chapter in Edited Book
 Oberlander,J; Cox,R; gardner,K

 Proof Styles and MultiModal Reasoning

CB719
 1994 Chapter in Edited Book
 Hallam,JC

 Hybrid Problems Need Hybrid Solutions? Tracking and Controlling Toy Cars

CB740
 1994 Chapter in Edited Book
 Calder,J

 FeatureValue Logics: Some Limits on the Role of Defaults

CB748
 1994 Chapter in Edited Book
 Correa da Silva,FS; Robertson,DS; Hesketh,J

 Automated Reasoning with Uncertainties

CB754
 1994 Chapter in Edited Book
 Trucco,E; Fisher,RB

 Preserving Shape at Boundaries in Diffusion Smoothing

 Discussion Paper

DP144
 1994 Discussion Paper
 Fitzgibbon,AW

 Scale, Feedback and Reliability in Scene Interpretation, Thesis Proposal

DP145
 1994 Discussion Paper
 MonroyBorja,R

 Inductive Proof Plans for the Correction of Faulty Software Specifications, Thesis Proposal

DP146
 1994 Discussion Paper
 Pilu,M

 PhysicsBased Recovery of Geons from 2D Intensity Images  PhD Thesis Proposal

DP147
 1994 Discussion Paper
 Corley,S

 A Hierarchical, ChunkBased Model of the Hspm  phd Thesis Proposal

DP148
 1994 Discussion Paper
 Gathercole,C

 Investigating Autocatalysis in Genetic Programming  phd Thesis Proposal

DP149
 1994 Discussion Paper
 FilloyGarcia,E

 High Order Organisation in Genetic Algorithms  phd Thesis Proposal

DP150
 1994 Discussion Paper
 Good,J

 Novice Use of Abstract Visual Representations of Recursion  phd Thesis Proposal

DP151
 1994 Discussion Paper
 Kado,K

 An Investigation of Gas for Layout Problems  Mphil Thesis Proposal

DP152
 1994 Discussion Paper
 Chesters,W

 Robot Environment Modelling with Competing Experts  phd Thesis Proposal

DP153
 1994 Discussion Paper
 Westhead,M

 Rigorous Design and Analysis of Behaviour Based Controllers  phd Thesis Proposal

DP154
 1994 Discussion Paper
 Beard,S

 Extracting Morphological Structures from Microscope Images of Nematodes Suitable for Classification  Thesis Proposal

 Edited Book

EB746
 1994 Edited Book
 Bundy,A

 Automated Deduction  Cade12, Lecture Notes in AI No. 814

EB753
 1994 Edited Book
 Fisher,RB

 Design and Application of Curves and Surfaces

EB866
 1994 Edited Book
 Smith,M; Mellish,CS; Smaill,AD

 Music Education: An Artificial Intelligence Perspective, Edinburgh 1993

EB871
 1994 Edited Book
 Boden,M; Bundy,A; Needham,R

 AI and the Mind: Non Breakthroughs or DeadEnds?

 Journal Paper

JP1206
 1994 Journal Paper
 Hallam,B; Halperin,J; Hallam,JC

 An Ethological Model for Implementation in Mobile Robots

JP685
 1994 Journal Paper
 Gent,I

 Proof Systems for Fourteen Logics of Counterfactuals

JP699
 1994 Journal Paper
 Knott,A; Dale,R

 Using Linguistic Phenomena to Motivate a Set of Coherence Relations

JP701
 1994 Journal Paper
 Ritchie,GD

 Commentary on Kaplan and Ray

JP720
 1994 Journal Paper
 Hallam,JC; Malcolm,CA

 Behaviour: Perception, Action and Intelligence  the View from Situated Robotics

JP721
 1994 Journal Paper
 Hallam,B; Halperin,J; Hallam,JC

 An Ethological Model for Implementation in Mobile Robots

JP736
 1994 Journal Paper
 Bull,S

 Student Modelling for Second Language Acquisition

JP737
 1994 Journal Paper
 Bull,S

 Learning Languages: Implications for Student Modelling in ICALL

JP739
 1994 Journal Paper
 Bowles,A; Robertson,DS; Vasconcelos,W; VargasVera,M; Bental,D

 Applying Prolog Programming Techniques

JP743
 1994 Journal Paper
 Bundy,A

 What is the Difference between Ral Creativity and Mere Novelty

JP744
 1994 Journal Paper
 MacQueen,H; Bundy,A

 the New Software Copyright Law

JP745
 1994 Journal Paper
 Liu,W; Bundy,A

 a Comprehensive Comparison between Generalized Incidence Calculus and the DempsterShafer Theory of Evidence

JP752
 1994 Journal Paper
 Robertson,DS; Agusti,J; Hesketh,J; Levy,J

 Expressing Program Requirements Using Refinement Lattices

JP761
 1994 Journal Paper
 Ross,PM; Corne,D

 Applications of Genetic Algorithms

JP870
 1994 Journal Paper
 Bundy,A

 a Subsumption Architecture for Theorem Proving

 MSc Thesis

MT94101
 1994 MSc Thesis
 Anagnostopoulou,C

 A GeneralPurpose Computational Procedure for Music Analysis

MT94102
 1994 MSc Thesis
 Anthoni,T

 Recognition and Location of Ugaritic Character Stylus Strokes from Clay Tablet Images

MT94103
 1994 MSc Thesis
 Babeanu,A

 Steerable Ears for Robotic Cat

MT94104
 1994 MSc Thesis
 Benaki,E

 Emergency! Intelligent Data Retrieval for Emergency Incident Support

MT94105
 1994 MSc Thesis
 Brown,P

 Recognition of Artifact in Computerised Cot Monitoring

MT94106
 1994 MSc Thesis
 Castro,A

 Tbpg  a TechniquesBased Program Generator

MT94107
 1994 MSc Thesis
 Cheetham,N

 Modelling Foraging Behaviour in Formica Aquilonia

MT94108
 1994 MSc Thesis
 Chen,M

 Using CoEvolution Gas to Find Robust Dodgem Players

MT94109
 1994 MSc Thesis
 ChenBurger,J

 Kbst: a Support Tool for Business Modeling in Bsdm

MT94110
 1994 MSc Thesis
 Dennis,L

 An Exploration of Semantic Resolution

MT94111
 1994 MSc Thesis
 Mota,Ed

 Temporal Representation of Ecological Knowledge

MT94112
 1994 MSc Thesis
 Eskes,M

 An Evolutionary Algorithm for the Frequency Assignment Problems

MT94113
 1994 MSc Thesis
 Fontana,F

 The Cat'S Eyes: a Vision System Based on Linear Ccd Cameras

MT94114
 1994 MSc Thesis
 Fussey,R

 The Baldwin Effect

MT94115
 1994 MSc Thesis
 Gingell,S

 Extension of Lau'S 1992 Simulation of Marr'S Theory of the Neocortex

MT94116
 1994 MSc Thesis
 Hebenstreit,J

 A New Model Matcher for the Imagine Ii Object Recognition System

MT94117
 1994 MSc Thesis
 Hely,T

 The Sparse Distributed Memory : a Neurobiologically Plausible Memory Model ?

MT94118
 1994 MSc Thesis
 Jennens,J

 QuasiInvariant Iconic Object Recognition

MT94120
 1994 MSc Thesis
 Kati,S

 A Graphical KnowledgeBased Decision Support Tool

MT94121
 1994 MSc Thesis
 Keenan,A

 Detection of Data Trends in Computerised Cot Monitoring

MT94122
 1994 MSc Thesis
 Khoo,S

 The Interactive Vehicle Scheduling System

MT94123
 1994 MSc Thesis
 Ku,K

 Analysis of Island Ga

MT94124
 1994 MSc Thesis
 Lee,W

 Navigation Using Smart Ultrasonic Ranging Sensors

MT94125
 1994 MSc Thesis
 Lewington,S

 A Debugging Environment for Cpl

MT94126
 1994 MSc Thesis
 Li,J

 Vehicle Scheduling Using Constraint Satisfaction Problem Solving Techniques

MT94127
 1994 MSc Thesis
 Marin,HT

 A Comparison of GaBased Methods and GraphColouring Methods for Solving Timetabling Problems.

MT94128
 1994 MSc Thesis
 Parkes,A

 Generator Induction for Relational Proofs, Logic Program Synthesis and Reasoning About Database Systems

MT94129
 1994 MSc Thesis
 PildainLegorburu,U

 Supporting Choice in Medical Diagnosis

MT94130
 1994 MSc Thesis
 Puleston,C

 Automatic Graph Drawing by Heuristic Search

MT94131
 1994 MSc Thesis
 Reeve,R

 Control of Walking by Central Pattern Generators

MT94132
 1994 MSc Thesis
 Robbie,C

 Implementing a Generative Grammar for Music

MT94133
 1994 MSc Thesis
 Saksida,L

 Instrumental Conditioning of a Mobile Robot: the Use of the Halperin NeuroConnector Model for Robot Control

MT94134
 1994 MSc Thesis
 Schurig,A

 Rudy  a Tool for Defining and Evaluating Qualitative Combining Functions in a Belief Network

MT94135
 1994 MSc Thesis
 Scott,J

 Madlab; Masking and Multiple Bug Diagnosis

MT94136
 1994 MSc Thesis
 Silva,M

 Firing Frequency: a Location Cue in Robot and Cricket Phonotaxis

MT94137
 1994 MSc Thesis
 Spratling,MW

 Learning the Mapping Between Sensor and Motor Spaces to Produce HandEye Coordination

MT94138
 1994 MSc Thesis
 Steuber,V

 Theories of Memory in the Cerebellar Cortex

MT94139
 1994 MSc Thesis
 Tan,Y

 Diagnosing Errors in Quantitative Electrical Circuit Problems

MT94141
 1994 MSc Thesis
 Theodorou,T

 NeoDat an Expert System to Support the Deisgners of Clinical Trials.

MT94142
 1994 MSc Thesis
 Turner,A

 Genetic Algorithms and Multiple Distinct Solutions

MT94143
 1994 MSc Thesis
 Wilcox,M

 Dispatch Scheduling Using LookAhead Bottleneck Analysis

MT94144
 1994 MSc Thesis
 Wolfart,E

 Position Refinement for a Navigating Robot Using Motion Information Based on Honeybee Localisation Strategies

MT94145
 1994 MSc Thesis
 Wright,M

 Incremental Semantic Interpretation in a Parallel, Modulas Environment

 Paper in Conference Proceedings

PP227
 1994 Paper in Conference Proceedings
 Correa da Silva,FS; Robertson,DS; Hesketh,J

 Automated Reasoning with Uncertainties

PP678
 1994 Paper in Conference Proceedings
 Trucco,E; Fisher,RB

 Acquisition of Consistent Range Data Using Local Calibration

PP697
 1994 Paper in Conference Proceedings
 Deacon,G; Malcolm,CA

 a Robot System Designed for TaskLevel Assembly

PP698
 1994 Paper in Conference Proceedings
 Wright,M; Cipolla,R; Giblin,P

 Skeletonisation Using and Extended Eucidean Distance Transform

PP700
 1994 Paper in Conference Proceedings
 Binsted,K; Ritchie,GD

 An Implemented Model of Punning Riddles

PP703
 1994 Paper in Conference Proceedings
 Yang,S; Robertson,DS; Lee,J

 Use of CaseBased Reasoning in the Domain of Building Regulations

PP704
 1994 Paper in Conference Proceedings
 Yang,S; Robertson,DS

 a CaseBased Reasoning System for Regulatory Information

PP705
 1994 Paper in Conference Proceedings
 Yeh,C; Mellish,CS

 An Empirical Study on the Generation of Zero Anaphors in Chinese

PP706
 1994 Paper in Conference Proceedings
 Levine,J; Mellish,CS

 CORECT: Combining CSCW with Natural Language Generation for Collaborative Requirements Capture

PP710
 1994 Paper in Conference Proceedings
 Corne,D; Ross,PM; Fang,A

 Evolutionary Timetabling: Practice, Prospects and Work in Progress

PP711
 1994 Paper in Conference Proceedings
 Ross,PM; Corne,D; Fang,F

 Genetic Algorithms for Timetabling and Scheduling Problems

PP712
 1994 Paper in Conference Proceedings
 Fang,H; Ross,PM; Corne,D

 a Promising Hybrid/GA Approach for OpenShop Scheduling Problems

PP715
 1994 Paper in Conference Proceedings
 Cox,R; gardner,K; Oberlander,J

 Graphical Effects in Learning Logic: Reasoning Representation and Individual Differences

PP716
 1994 Paper in Conference Proceedings
 gardner,K; Gurr,C; Oberlander,J; Cox,R

 the Cognitive Properties of Graphical and Algebraic Representations

PP717
 1994 Paper in Conference Proceedings
 gardner,K; Cox,R

 Internal and External Representations in Teaching Logic

PP718
 1994 Paper in Conference Proceedings
 MonroyBorja,R; Bundy,A; Ireland,A

 Proof Plans for the Correction of False Conjectures

PP722
 1994 Paper in Conference Proceedings
 Good,J; Brna,P; Pain,HG

 Prolog Unification: Diverse Teaching Strategies for Novices

PP723
 1994 Paper in Conference Proceedings
 Chesters,W; Hayes,GM

 Connectionist Environment Modelling in a Real Robot

PP724
 1994 Paper in Conference Proceedings
 Perkins,SJ; Hayes,GM

 Real Time Optical Flow Based Range Sensing in Mobile Robots

PP725
 1994 Paper in Conference Proceedings
 AlJabri,S; Mellish,CS

 Generating Arabic Words from Semantic Descriptions

PP726
 1994 Paper in Conference Proceedings
 Funk,P; Robertson,DS

 CaseBased Selection of Requirements Specification for Telecommunication Systems

PP727
 1994 Paper in Conference Proceedings
 Funk,D; Robertson,DS

 Requirements Specification of Telecommunication Services Assisted by CaseBased Reasoning

PP728
 1994 Paper in Conference Proceedings
 Caglioti,V; Mainardi,F; Pilu,M; Sorrenti,D

 Improving Pose Estimation by Using Object, Camera and Image Uncertainty

PP729
 1994 Paper in Conference Proceedings
 Pryor,L; Collins,G

 Opportunities: a Unifying Framework for Planning and Execution

PP730
 1994 Paper in Conference Proceedings
 Park,N; Robertson,DS; gardner,K

 Reasoning with Limited Unification in a Connectionist RuleBased System

PP731
 1994 Paper in Conference Proceedings
 Park,N; Robertson,DS; gardner,K

 from Dynamic Bindings to Further Symbolic Knowledge Representation Using Synchronous Action

PP732
 1994 Paper in Conference Proceedings
 Vasconcelos,W

 Estracting Prolog Programming Techniques

PP733
 1994 Paper in Conference Proceedings
 Bull,S; Pain,HG; Brna,P

 Student Modelling beyond Domain Knowledge

PP734
 1994 Paper in Conference Proceedings
 Bull,S; Musson,T

 GoalOriented Software: When the Development Process is Different

PP735
 1994 Paper in Conference Proceedings
 Webb,B

 Robotic Experiments in Cricket Phonotaxis

PP738
 1994 Paper in Conference Proceedings
 Ishizaki,M

 Rational Agents in TaskOriented Dialogues

PP742
 1994 Paper in Conference Proceedings
 Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A

 Coloured Rippling: An Extension of a Theorem Proving Heuristic

PP749
 1994 Paper in Conference Proceedings
 Robertson,DS; Hesketh,J

 Making Specification Design More Accountable

PP750
 1994 Paper in Conference Proceedings
 VargasVera,M; Robertson,DS

 An Environment for Building Programs Based on Knowledge of their Construction

PP751
 1994 Paper in Conference Proceedings
 Robertson,DS; Park,N; Agusti,J

 Layered Design of KBS from Specification to Hardware

PP755
 1994 Paper in Conference Proceedings
 Trucco,E; Fisher,RB; Fitzgibbon,AW

 Direct Calibration and Data Consistency in 3D Laser Scanning

PP756
 1994 Paper in Conference Proceedings
 Fitzgibbon,AW; Fisher,RB

 Lack of Fit Detection Using the RunDistribution Test

PP757
 1994 Paper in Conference Proceedings
 Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E

 Automatic Acquisition of CAD Models from Multiple Range View

PP758
 1994 Paper in Conference Proceedings
 Borges,G; Fisher,RB

 a Radial Basis Function Neural Network for Parts Identification of these Divisional Shapes

PP759
 1994 Paper in Conference Proceedings
 Fitzgibbon,AW; Fisher,RB

 LackofFit Detection Using the RunDistribution Test

PP760
 1994 Paper in Conference Proceedings
 Fisher,RB

 Performance Comparison of Ten Variations on the Interpretation Tree Matching Algorithm

PP861
 1994 Paper in Conference Proceedings
 Smaill,AD; Wiggins,G; Miranda,Y

 Music Representation  Between the Musician and the Computer

PP862
 1994 Paper in Conference Proceedings
 Richards,B; Kraan,I; Smaill,AD; Wiggins,G

 Mollusc: a General Proof Development Shell for Sequent Based Logics

PP863
 1994 Paper in Conference Proceedings
 Lombart,V; Wiggins,G; Deville,Y

 Guiding Synthesis Proofs

PP864
 1994 Paper in Conference Proceedings
 Wiggins,G

 Improving the Whelk System: a TypeTheoretic Reconstruction

PP867
 1994 Paper in Conference Proceedings
 Negere,S; Smaill,AD

 Guiding Proof Search in Logical Frameworks with Rippling

PP868
 1994 Paper in Conference Proceedings
 Westhead,M; Smaill,AD

 Automatic Characterisation of Musical Style

PP869
 1994 Paper in Conference Proceedings
 Hayes,GM; Demiris,J

 a Robot Controller Using Learning by Imitation

PP872
 1994 Paper in Conference Proceedings
 Hanby,V; Dil,A

 Error Bounds in System Simulation Produced by Discretization of System and Boundary Variables

 PhD Thesis

PT9410
 1994 PhD Thesis
 Fang,H

 Genetic Algorithms in Timetabling and Scheduling

PT9415
 1994 PhD Thesis
 Guest,E

 Automatic Reconstruction from Serial Sections

PT9425
 1994 PhD Thesis
 Kraan,I

 Proof Planning for Logic Program Sythesis

PT9430
 1994 PhD Thesis
 Nakata,K

 A Causal Reasoning Approach to BehaviourOriented Design

 Research Paper

RP673
 1994 Research Paper
 Chesters,W; Hayes,GM

 Connectionist Environment Modelling in a Real Robot

RP674
 1994 Research Paper
 Levine,J; Mellish,CS

 Corect: Combining Cscw with Natural Language Generation for Collaborative Requirements Capture

RP675
 1994 Research Paper
 Perkins,SJ; Hayes,GM

 Real Time Optical Flow Based Range Sensing on Mobile Robots

RP676
 1994 Research Paper
 Hayes,GM; Demiris,J

 A Robot Controller Using Learning by Imitation

RP679
 1994 Research Paper
 Gent,I; Walsh,T

 The Sat Phase Transition

RP680
 1994 Research Paper
 Gent,I; Walsh,T

 The Hardest Random Sat Problems

RP681
 1994 Research Paper
 MonroyBorja,R; Bundy,A; Ireland,A

 Proof Plans for the Correction of False Conjectures

RP682
 1994 Research Paper
 Corne,D; Smithers,T; Ross,PM

 Solving Design Problems by Computational Exploration

RP683
 1994 Research Paper
 Smart,WD; Hallam,JC

 Location Recognition with SelfOrdering Networks

RP684
 1994 Research Paper
 Fisher,RB

 Performance Comparison of Ten Variations on the InterpretationTree Matching Algorithm

RP685
 1994 Research Paper
 Fitzgibbon,AW; Fisher,RB

 LackofFit Detection Using the RunDistribution Test

RP686A
 1994 Research Paper
 Cox,R; Brna,P

 Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments

RP687
 1994 Research Paper
 Deacon,G; Malcolm,CA

 A Robot System Designed for TaskLevel Assembly

RP688
 1994 Research Paper
 Binsted,K; Ritchie,GD

 A Symbolic Description of Punning Riddles and Its Computer Implementation

RP689
 1994 Research Paper
 Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E

 Automatic Acquisition of Cad Models from Multiple Range Views

RP690
 1994 Research Paper
 Binsted,K; Ritchie,GD

 An Implemented Model of Punning Riddles

RP691
 1994 Research Paper
 Kick,A; Walker,AV; Fisher,RB

 A Dynamic Model for Autonomous Vehicle Navigation

RP692
 1994 Research Paper
 Hayes,GM; Demiris,J

 Robotic Learning by Imitation

RP693
 1994 Research Paper
 Trucco,E; Fisher,RB; Fitzgibbon,AW

 Direct Calibration and Data Consistency in 3D Laser Scanning

RP694
 1994 Research Paper
 Hallam,B; Hallam,JC; Hayes,GM

 A Dynamic Net for Robot Control

RP695
 1994 Research Paper
 Hallam,B; Halperin,J; Hallam,JC

 An Ethological Model for Implementation in Mobile Robots

RP696
 1994 Research Paper
 Yang,S; Robertson,DS; Lee,J

 Use of CaseBased Reasoning in the Domain of Building Regulations

RP697
 1994 Research Paper
 Yeh,C; Mellish,CS

 An Empirical Study on the Generation of Zero Anaphors in Chinese

RP698
 1994 Research Paper
 Funk,P; Robertson,DS

 CaseBased Selection of Requirements Specifications for Telecommunication Systems

RP699
 1994 Research Paper
 Fang,H; Ross,PM; Corne,D

 A Promising Hybrid Ga/Heuristic Approach for Open Shop Scheduling Problems

RP700
 1994 Research Paper
 Bispo,EM; Fisher,RB

 Inspection of FreeForm Surfaces Using Dense Range Data

RP701
 1994 Research Paper
 Haggith,MC

 A MetaLevel Approach to Exploration of Multiple Knowledge Bases

RP702
 1994 Research Paper
 Gent,I

 The Satisfiability Constraint Gap

RP703
 1994 Research Paper
 Bull,S

 Student Modelling for Second Language Acquisition

RP704
 1994 Research Paper
 Bull,S

 Learning Languages: Implications for Student Modelling in Icall

RP705
 1994 Research Paper
 Bowles,A; Robertson,DS

 A CaseBased Reasoning Approach to Supporting Novice Programmers

RP706
 1994 Research Paper
 Fitzgibbon,AW; Fisher,RB

 Invariant Fitting of Arbitrary SingleExtremum Surfaces

RP707
 1994 Research Paper
 Ross,PM; Corne,D; Fang,H

 Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation

RP708
 1994 Research Paper
 Corne,D; Ross,PM; Fang,H

 Fast Practical Evolutionary Timetabling

RP709
 1994 Research Paper
 Androutsopoulos,I; Ritchie,GD; Thanisch,P

 Natural Language Interfaces to Databases  an Introduction

RP710
 1994 Research Paper
 Fisher,RB

 Is Computer Vision Still Ai

RP711
 1994 Research Paper
 Bull,S; Musson,T

 Incorporating Learning Issues into Computer Assisted Education

RP712
 1994 Research Paper
 Bull,S; Musson,T

 GoalOriented Software: when the Development Process is Different...

RP713
 1994 Research Paper
 Bull,S; Pain,HG; Brna,P

 Student Modelling Beyond Domain Knowledge

RP714
 1994 Research Paper
 Gent,I; Walsh,T

 How not to do it

RP715
 1994 Research Paper
 Vasconcelos,W

 Extracting Prolog Programming Techniques

RP716
 1994 Research Paper
 Ireland,A; Bundy,A

 Productive Use of Failure in Inductive Proof

RP717
 1994 Research Paper
 Fisher,RB

 BestFirst and Ten Other Variations of the InterpretationTree Model Matching Algorithm

RP718
 1994 Research Paper
 VargasVera,M; Robertson,DS

 An Environment for Building Prolog Programs Based on Knowledge About Their Construction

RP719
 1994 Research Paper
 Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D

 Calibration, Data Consistency and Model Acquisition with a 3D Laser Striper

RP720
 1994 Research Paper
 Bispo,EM; Fisher,RB

 FreeForm Surface Matching for Surface Inspection

RP721
 1994 Research Paper
 Gent,I; Walsh,T

 Unsatisfied Variables in Local Search

RP722
 1994 Research Paper
 Hasselbring,W; Fisher,RB

 Investigating Parallel InterpretationTree Model Matching Algorithms with ProsetLinda

RP723
 1994 Research Paper
 Richards,B; Kraan,I; Smaill,AD; Wiggins,A

 Mollusc a General ProofDevelopment Shell for SequentBased Logics

RP724
 1994 Research Paper
 Gent,I; Walsh,T

 Computational Phase Transitions in Real Problems

RP725
 1994 Research Paper
 Lombart,V; Deville,Y

 Rippling on Relational Structures

RP726
 1994 Research Paper
 Reeve,R; Hallam,JC

 Control of Walking by Central Pattern Generators

RP727
 1994 Research Paper
 Horn,C; Smaill,AD

 From MetaLevel Tactics to ObjectLevel Programs

RP728
 1994 Research Paper
 Borges,D; Orr,M; Fisher,RB

 A Radial Basis Function Neural Network for Parts Identification of Three Dimensional Shapes

RP733
 1994 Research Paper
 Ahs,T; Wiggins,G

 Rippling with Relational Definitions

 Teaching Paper

TE10
 1994 Teaching Paper
 Mellish,CS

 Machine Learning (Ai3/4)

TE12
 1994 Teaching Paper
 Pryor,L

 Quick Prolog

TE13
 1994 Teaching Paper
 Mellish,CS; Whitelock,P; Ritchie,GD

 Techniques in Natural Language Processing 1

TE14
 1994 Teaching Paper
 Ross,PM

 Ai3 Knowledge Representation and Inference 1 (Update October 94)

TE16
 1994 Teaching Paper
 Haggith,MC

 Ai2 Programming Techniques, Part i: Prolog

TE9
 1994 Teaching Paper
 Ritchie,GD

 Introduction to Natural Language Processing (msc)

 Technical Paper

TP27
 1994 Technical Paper
 Vasconcelos,W

 A Method of Extracting Prolog Programming Techniques

TP28
 1994 Technical Paper
 Pettinaro,GC; Malcolm,CA

 Electric Gripper Development

TP29
 1994 Technical Paper
 Castro,A

 Tbpg  a TechniquesBased Program Generator

TP30
 1994 Technical Paper
 Lee,W

 Navigation Using Smart Ultrasonic Ranging Sensors

TP31
 1994 Technical Paper
 Mota,Ed

 Temporal Representation of Ecological Knowledge

 Working Paper

WP254
 1994 Working Paper
 MonroyBorja,R

 Abduction Mechanisms

WP255
 1994 Working Paper
 NegreteYankelevich,S

 Some Examples of Proof Planning in Logical Frameworks

WP256
 1994 Working Paper
 CarreraSanchez,R

 The Mode Analysis for Logic Programs in Toads
