The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents from: 1994

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 Multi-Modal 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
Feature-Value 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 Monroy-Borja,R
Inductive Proof Plans for the Correction of Faulty Software Specifications, Thesis Proposal
DP146 1994 Discussion Paper Pilu,M
Physics-Based Recovery of Geons from 2-D Intensity Images - PhD Thesis Proposal
DP147 1994 Discussion Paper Corley,S
A Hierarchical, Chunk-Based 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 Filloy-Garcia,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 - Cade-12, 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 Dead-Ends?

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; Vargas-Vera,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 Dempster-Shafer 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 General-Purpose 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 Techniques-Based Program Generator
MT94107 1994 MSc Thesis Cheetham,N
Modelling Foraging Behaviour in Formica Aquilonia
MT94108 1994 MSc Thesis Chen,M
Using Co-Evolution Gas to Find Robust Dodgem Players
MT94109 1994 MSc Thesis Chen-Burger,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
Quasi-Invariant Iconic Object Recognition
MT94120 1994 MSc Thesis Kati,S
A Graphical Knowledge-Based 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 Ga-Based Methods and Graph-Colouring 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 Pildain-Legorburu,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 Neuro-Connector 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 Hand-Eye 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
Neo-Dat 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 Look-Ahead 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 Task-Level 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 Case-Based Reasoning in the Domain of Building Regulations
PP704 1994 Paper in Conference Proceedings Yang,S; Robertson,DS
a Case-Based 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 Open-Shop 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 Monroy-Borja,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 Al-Jabri,S; Mellish,CS
Generating Arabic Words from Semantic Descriptions
PP726 1994 Paper in Conference Proceedings Funk,P; Robertson,DS
Case-Based Selection of Requirements Specification for Telecommunication Systems
PP727 1994 Paper in Conference Proceedings Funk,D; Robertson,DS
Requirements Specification of Telecommunication Services Assisted by Case-Based 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 Rule-Based 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
Goal-Oriented 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 Task-Oriented 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 Vargas-Vera,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 Run-Distribution 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
Lack-of-Fit Detection Using the Run-Distribution 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 Type-Theoretic 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 Behaviour-Oriented 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 Monroy-Borja,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 Self-Ordering Networks
RP684 1994 Research Paper Fisher,RB
Performance Comparison of Ten Variations on the Interpretation-Tree Matching Algorithm
RP685 1994 Research Paper Fitzgibbon,AW; Fisher,RB
Lack-of-Fit Detection Using the Run-Distribution 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 Task-Level 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 3-D 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 Case-Based 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
Case-Based 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 Free-Form Surfaces Using Dense Range Data
RP701 1994 Research Paper Haggith,MC
A Meta-Level 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 Case-Based Reasoning Approach to Supporting Novice Programmers
RP706 1994 Research Paper Fitzgibbon,AW; Fisher,RB
Invariant Fitting of Arbitrary Single-Extremum 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
Goal-Oriented 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
Best-First and Ten Other Variations of the Interpretation-Tree Model Matching Algorithm
RP718 1994 Research Paper Vargas-Vera,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 3-D Laser Striper
RP720 1994 Research Paper Bispo,EM; Fisher,RB
Free-Form 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 Interpretation-Tree Model Matching Algorithms with Proset-Linda
RP723 1994 Research Paper Richards,B; Kraan,I; Smaill,AD; Wiggins,A
Mollusc a General Proof-Development Shell for Sequent-Based 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 Meta-Level Tactics to Object-Level 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 Techniques-Based 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 Monroy-Borja,R
Abduction Mechanisms
WP255 1994 Working Paper Negrete-Yankelevich,S
Some Examples of Proof Planning in Logical Frameworks
WP256 1994 Working Paper Carrera-Sanchez,R
The Mode Analysis for Logic Programs in Toads


[Search These Pages] [DAI Home Page] [Comment]