PP881
 Paper in Conference Proceedings
 Renault,S

 Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion

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

 a Promising Genetic Algorithm Approach to JobShop Scheduling, Rescheduling and OpenShop Scheduling Problems

PP223
 Paper in Conference Proceedings
 King,K

 a Model Based Knowledge Acquisition Toolkit for Building Medical Diagnostic Support Systems in Developing Countries

PP160
 Paper in Conference Proceedings
 Reiter,E; Mellish,CS

 Using Classification to Generate Text

PP1174
 1998 Paper in Conference Proceedings
 Tuson,AL; Wheeler,R; Ross,PM

 An Evolutionary/MetaHeursitic Approach To Emergency Resource Redistribution in the Developing World

PP1173
 1998 Paper in Conference Proceedings
 Ratford,MS; Tuson,AL; Thompson,HS

 The Single Chromosome's Guide to Dating

PP1169
 1998 Paper in Conference Proceedings
 Baron,P; Fisher,RB

 A VoxelBased Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A CaseStudy of a ProblemCentered to Genetic Operator Design.

PP1167
 1998 Paper in Conference Proceedings
 Tuson,AL; Ross,PM; Duncan,T

 On Interactive Neighbourhood Search Schedulers

PP1156
 1998 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Ashbrook,A

 Towards object modelling by incorporating geometric constraints

PP1151
 1998 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C

 Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints.

PP1147
 1998 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB; Robertson,C



PP1138
 1998 Paper in Conference Proceedings
 Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P

 Image Processing Techniques for the Qualification of Atherosclerotic Changes

PP1136
 1998 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C

 Aligning Arbitrary Surfaces using Pairwise Geometric Histograms

PP1135
 1998 Paper in Conference Proceedings
 Gomes,HM; Fisher,RB; Hallam,JC

 A Retinalike Image Representation of Primal Sketch Features using a Neural Network Approach

PP1134
 1998 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB; Robertson,C

 Finding Surface Correspondences for Object recognition and Registration using Pairwise Geometric Histograms

PP1133
 1998 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Robertson,C

 Modelling Objects Having Quadric Surfaces Incorporating Geometric Constraints

PP1132
 1998 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C

 Towards object modelling by incorporating geometric constraints

PP1127
 1998 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB; Robertson,C

 Segmentation on Range Data into Rigid Subsets using Patches

PP1115
 1998 Paper in Conference Proceedings
 Gomes,HM; Fisher,RB; Hallam,JC

 A Retinalike Image Representation of Primal Sketch Features using a Neural Network Approach

PP1114
 1998 Paper in Conference Proceedings
 Fisher,RB; MacKirdy,A

 Integrating iconic and structured matching

PP1205
 1997 Paper in Conference Proceedings
 Whittle,JN; Bundy,A; Lowe,H

 An Editor for helping Novices to Learn Standard {ML}

PP1204
 1997 Paper in Conference Proceedings
 Whittle,JN; Bundy,A; Lowe,H

 Supporting Programming by Analogy in the Learning of Functional Programming Languages

PP1203
 1997 Paper in Conference Proceedings
 Pechoucek,M; Lowe,H; Bundy,A

 Proof Planning and Industrial Configuration

PP1202
 1997 Paper in Conference Proceedings
 Janicic,; Green,I; Bundy,A

 A Comparison of decision procedures in Presburger arithmetic

PP1201
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Proofs in Mathematics

PP1200
 1997 Paper in Conference Proceedings
 Ross,PM; Hart,E; Corne,D

 Some Observations about GA Based Exam Timetabling

PP1195
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Reasoning

PP1193
 1997 Paper in Conference Proceedings
 Richardson,JG; Fuchs,B

 Development of Correct Transformation Schemata for Prolog Programs

PP1192
 1997 Paper in Conference Proceedings
 Fribourg,L; Richardson,JG

 Symbolic verification with gaporder constraints

PP1191
 1997 Paper in Conference Proceedings
 Coghill,G; Chantler,M; Shen,Q; Leitch,R

 Towards model switching for diagnosis of dynamic systems

PP1190
 1997 Paper in Conference Proceedings
 Siu,C; Shen,Q; Milne,R

 A Fuzzy Rule and Casebased Expert System for Turbomachinery Diagnosis

PP1189
 1997 Paper in Conference Proceedings
 Siu,C; Shen,Q; Milne,R

 A Fuzzy Expert System for Vibration Cause Identification in Rotating Machines

PP1188
 1997 Paper in Conference Proceedings
 Case,SJ; Shen,Q; Banares Alcantara,R; Ponton,J

 Detecting Inverse Responses in Chemical Processes with Qualitative Simulation

PP1187
 1997 Paper in Conference Proceedings
 Case,SJ; Shen,Q

 Detecting Inverse Responses in Chemical Reaction Processes with Fuzzy Qualitative Simulation

PP1186
 1997 Paper in Conference Proceedings
 Biris,E; Shen,Q

 Navigation mobile robot with a fuzzy logic controller

PP1185
 1997 Paper in Conference Proceedings
 Case,C; Shen,Q

 Applying qualitative simulation for inverse response detection

PP1183
 1997 Paper in Conference Proceedings
 Shen,Q; Mulvihill,B; Leitch,R

 Causal ordering based explanation generation for diagnosis of dynamic systems

PP1181
 1997 Paper in Conference Proceedings
 O'Donnell,M

 RSTTool : An RST Analysis Tool

PP1179
 1997 Paper in Conference Proceedings
 Deacon,G; Wright,M; Malcolm,CA

 Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying Friction

PP1178
 1997 Paper in Conference Proceedings
 Ross,PM; Tuson,AL

 Directing the Search of Evolutionary and NeighbourhoodSearch Optimisers for the Flowshop Sequencing Problem with an IdleTime Heuristic

PP1177
 1997 Paper in Conference Proceedings
 Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL

 A Voxelbased Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A CaseStudy of a ProblemCentered Approach to Genetic Operator Design

PP1176
 1997 Paper in Conference Proceedings
 Smith,FS; Shen,Q

 Choosing The Right Fuzzy Logic Controller

PP1175
 1997 Paper in Conference Proceedings
 Trewin,SM; Pain,HG

 Dynamic Modelling of Keyboard Skills : Supporting Users with Motor Disabilities

PP1172
 1997 Paper in Conference Proceedings
 Tuson,AL; Wheeler,R; Ross,PM

 Emergency Resource Redistribution In The Developing World: Towards a Practical Evolutionary/MetaHeursitic Scheduling System

PP1171
 1997 Paper in Conference Proceedings
 Ross,PM; Tuson,AL

 Directing the Search of Evolutionery and NeighbourhoodSearch Optimisers for the Flowshop Sequencing Problem with an IdleTime Heuristic

PP1170
 1997 Paper in Conference Proceedings
 Baron,P

 A Voxelbased Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A CaseStudy of a ProblemCentered Approach to Generic Operator Design

PP1168
 1997 Paper in Conference Proceedings
 Ratford,MS; Tuson,AL; Thompson,HS

 Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions

PP1166
 1997 Paper in Conference Proceedings
 Deacon,G; Wright,M; Malcolm,CA

 Qualitative Transitions in Object Reorienting Behaviour, Part 1 : The Effects of Varying the Centre of Mass

PP1165
 1997 Paper in Conference Proceedings
 Deacon,G; Malcolm,CA

 Qualitive Transitions in Object Reorienting Behaviour, Part 1 : The effects of Varying Friction

PP1164
 1997 Paper in Conference Proceedings
 Robertson,C; Sandnes,E

 "A Novices' Interface to Programming Digital Synthesizers Based on Genetic Algorithms

PP1163
 1997 Paper in Conference Proceedings
 Robertson,C; Megson,G

 Neural Network Analysis of Hue Spectra from natural Images

PP1161
 1997 Paper in Conference Proceedings
 Oberlander,J; Mellish,CS; O'Donnell,M

 Exploring a gallery with intelligent labels

PP1160
 1997 Paper in Conference Proceedings
 Knott,A; O'Donnell,M

 Defeasible Rules in Content Selection and Text Structuring

PP1159
 1997 Paper in Conference Proceedings
 Boulton,R; Bundy,A; Slind,A; Gordon,M

 A Prototype Interface between CLAM and HOL

PP1158
 1997 Paper in Conference Proceedings
 Boulton,R

 A Tool to Support Formal reasoning about Computer Languages

PP1157
 1997 Paper in Conference Proceedings
 Ijspeert,AJ; Hallam,JC; Willshaw,D

 Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers

PP1155
 1997 Paper in Conference Proceedings
 O'Donnell,M

 VariableLength OnLine Document Generation

PP1154
 1997 Paper in Conference Proceedings
 O'Donnell,M

 An RST Analysis Tool

PP1153
 1997 Paper in Conference Proceedings
 O'Donnell,M

 VariableLength OnLine Documentation Generation

PP1152
 1997 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C

 Improving model shape acquisition by incorporating geometric constraints

PP1150
 1997 Paper in Conference Proceedings
 Perkins,SJ; Hayes,GM

 Incremental Acquisition of Complex Behaviour Using Structured Evolution

PP1146
 1997 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB

 Constructing Models of Articulating Objects: Range Data Partitioning

PP1131
 1997 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N

 Segmentation of Range Data into Rigid Subsets using Planar Surface Patches

PP1113
 1997 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB

 Segmentation of Range Data for the Automatic Construction of Models of Articulated Objects

PP1112
 1997 Paper in Conference Proceedings
 Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C

 Improving model shape acquisition by incorporating geometric constraints.

PP1111
 1997 Paper in Conference Proceedings
 Ashbrook,A; Fisher,RB

 Constructing Models of Articulating Objects : Range Data Partitioning

PP1110
 1997 Paper in Conference Proceedings
 Fisher,RB; Fitzgibbon,AW; Eggert,D

 Extracting Surface Patches from Complete Range Descriptions

PP1084
 1997 Paper in Conference Proceedings
 Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL

 A Voxel Based Approach to Evolutionary Shape Optimisation

PP999
 1996 Paper in Conference Proceedings
 PerezMinana,E; Ross,PM; Hallam,JC

 Multilayer Perceptron Design Using Delaunay Triangulation

PP998
 1996 Paper in Conference Proceedings
 Corne,D; Hart,E; Ross,PM

 Investigating Multiploidy's Niche

PP997
 1996 Paper in Conference Proceedings
 Fang,H; Corne,D; Ross,PM

 A Genetic Algorithm for JobShop Problems with Various Schedule Quality Criteria

PP996
 1996 Paper in Conference Proceedings
 Corne,D; Ross,PM

 Peckish Initialisation Strategies for Evolutionary Timetabling

PP995
 1996 Paper in Conference Proceedings
 Ross,PM; Corne,D; TerashimaMarin,H

 The PhaseTransition niche for Evolutionary Algorithms in Timetabling

PP994
 1996 Paper in Conference Proceedings
 ,; Hayes,GM

 A Neural Network for Moving Light Display Trajectory

PP992
 1996 Paper in Conference Proceedings
 Trewin,SM

 A Study of Input Device Manipulation Difficulties

PP991
 1996 Paper in Conference Proceedings
 Zaki,OF; Mellish,CS

 The Translation of the Arabic Tenses to the English T/A

PP990
 1996 Paper in Conference Proceedings
 Mellis,E; Whittle,JN

 Internal Analogy in Theorem Proving

PP923
 1996 Paper in Conference Proceedings
 Yeh,C; Mellish,CS

 An Empirical Study on the Generation of Description \for Nominal Anaphors in Chinese

PP1199
 1996 Paper in Conference Proceedings
 Hart,E; Corne,D; Ross,PM

 Investigating Multiploidy's Niche

PP1130
 1996 Paper in Conference Proceedings
 Mitsakakis,N; Fisher,RB; Walker,AV

 Classification of humpback whalesong units using a self organizing feature map

PP1129
 1996 Paper in Conference Proceedings
 Wright,M; Fitzgibbon,AW

 Beyond the Hough transform: further properties of the R0 mapping and their applications

PP1079
 1996 Paper in Conference Proceedings
 Park,N; Robertson,DS

 A Connectionist Representation of Symbolic Compnents, Dynamic Bindings and Basic Inference Operations

PP1078
 1996 Paper in Conference Proceedings
 Demiris,J; Hayes,GM

 Imitative Learning Mechanisms in Robots and Humans

PP1077
 1996 Paper in Conference Proceedings
 AlLakany,HM; Hayes,GM

 A Neural Network for Moving Light Display Trajectory Prediction

PP1076
 1996 Paper in Conference Proceedings
 Moukas,A; Hayes,GM

 Synthetic Robotic Language Acquisition by Observation

PP1075
 1996 Paper in Conference Proceedings
 Mellish,CS; Levine,J

 Corect: The Collaborative Requirements Capture Tool

PP1074
 1996 Paper in Conference Proceedings
 Rogers,I; Levine,J; Pattison,C; Plowman,L

 A domain Aware Tool for Guiding Req'Ts Capture ....

PP1070
 1996 Paper in Conference Proceedings
 Thompson,HS; McKelvie,D

 A software Architecture for SGML Annotation

PP1069
 1996 Paper in Conference Proceedings
 Thompson,HS

 Why 'turntaking

PP1066
 1996 Paper in Conference Proceedings
 Mota,Ed; Robertson,DS

 Representing Interaction of Agents at Different Time Granularities

PP1065
 1996 Paper in Conference Proceedings
 Robertson,DS

 Distributed Specification

PP1064
 1996 Paper in Conference Proceedings
 Robertson,DS

 Domain Specific Problem Description

PP1063
 1996 Paper in Conference Proceedings
 Robertson,DS

 An Empirical Study of the LSS specification Toolkit in Use

PP1056
 1996 Paper in Conference Proceedings
 Smaill,AD; Green,I

 HigherOrder Annotated Terms for Proof Search

PP1055
 1996 Paper in Conference Proceedings
 Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D

 Experiments in Automating Hardware Verification using Inductive Proof Planning

PP1054
 1996 Paper in Conference Proceedings
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

PP1053
 1996 Paper in Conference Proceedings
 O'Donnell,M

 Input Specification in the WAG Sentence Generation system

PP1051
 1996 Paper in Conference Proceedings
 Wickler,GJ; Pryor,L

 Competence and Capability Assessment

PP1050
 1996 Paper in Conference Proceedings
 Wickler,GJ; Pryor,L

 On Competence and MetaKnowledge

PP1049
 1996 Paper in Conference Proceedings
 Lund,HH; Miglino,O; Nolfi,S

 Evolving Autonomous Robots

PP1048
 1996 Paper in Conference Proceedings
 Lee,W; Hallam,JC; Lund,HH

 A Hybrid GP/GA Approach for CoEvolving Controllers and Robot Bodies to Achieve FitnessSpecified Tasks

PP1047
 1996 Paper in Conference Proceedings
 Lund,HH; Miglino,O

 From Simulated to Real Robots

PP1045
 1996 Paper in Conference Proceedings
 Veelaert,P; Peremans,H

 Adaptive Animat Navigation Based on a Flexibility Model for the Environment

PP1044
 1996 Paper in Conference Proceedings
 Veelaert,P; Peremans,H

 Mobile Robot Navigation Based on Flexibility Maps of the Environment

PP1043
 1996 Paper in Conference Proceedings
 Chen,J; Peremans,H; van Campenhout,J

 Ultrasonic Perception: Triaural Sensor Array for Mobile Robots using a Competition Neural Network Approach

PP1042
 1996 Paper in Conference Proceedings
 Peremans,H; Veelaert,P

 Improved Triaural Perception through Robot Motion

PP1039
 1996 Paper in Conference Proceedings
 Smaill,AD; Green,I

 HigherOrder Annotated Terms for Proof Search

PP1038
 1996 Paper in Conference Proceedings
 Binsted,K; Ritchie,GD

 Speculations on Story Puns

PP1037
 1996 Paper in Conference Proceedings
 Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RJ

 Beyond the Hough Transform: Further Properties of the RO Mapping and their Applications

PP1036
 1996 Paper in Conference Proceedings
 Pilu,M; Fisher,RB

 Part Segmentation from 2D Edge Images by the MDL Criterion

PP1035
 1996 Paper in Conference Proceedings
 Pilu,M; Fitzgibbon,AW; Fisher,RB

 Training PDMs on Models: The Case of Deformable Superellipses

PP1034
 1996 Paper in Conference Proceedings
 Fisher,RB; Gionis,A

 Surface Reflectance Recover under Point Light Illumination

PP1033
 1996 Paper in Conference Proceedings
 Grove,T; Fisher,RB

 Attention in Iconic Object Matching

PP1032
 1996 Paper in Conference Proceedings
 Borges,D; Fisher,RB

 Classbased Recognition of 3D Objects Represnted by Volumetic Primitive

PP1031
 1996 Paper in Conference Proceedings
 Pilu,M; Fisher,RB

 ModelDriven Grouping and Recognition of Generic Object Parts from Single Images

PP1030
 1996 Paper in Conference Proceedings
 Eggert,D; Fitzgibbon,AW; Fisher,RB

 Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering

PP1029
 1996 Paper in Conference Proceedings
 Fitzgibbon,AW; Pilu,M; Fisher,RB

 Direct Least Squares Fitting of Ellipses

PP1028
 1996 Paper in Conference Proceedings
 Pilu,M; Fitzgibbon,AW; Fisher,RB

 Ellipsespecific Direct Leastsquare Fitting

PP1027
 1996 Paper in Conference Proceedings
 Pilu,M; Fisher,RB

 Recovery of Generic solid Parts by Parametrically Deformable Aspects

PP1026
 1996 Paper in Conference Proceedings
 Fisher,RB; Fitzgibbon,AW; Gionis,A; Wright,M; Eggert,D

 A Handheld Optical Surface Scanner for Environmental Modeling and Virtual Reality

PP1025
 1996 Paper in Conference Proceedings
 Bispo,EM; Fisher,RB

 Freeform Surface Matching for Surface Inspection

PP1015
 1996 Paper in Conference Proceedings
 AlJabri,S; Mellish,CS

 Using Classification for Mapping Semantic Representations...

PP1014
 1996 Paper in Conference Proceedings
 Nicolov,N; Mellish,CS; Ritchie,GD

 Approximate Generation from NonHierarchical Representations

PP1013
 1996 Paper in Conference Proceedings
 Yeh,C; Mellish,CS

 An Evaluation of Anaphor Generation in Chinese

PP1012
 1996 Paper in Conference Proceedings
 Knott,A; Mellish,CS; Oberlander,J; O'Donnell,M

 Sources of Flexibility in Dynamic Hypertext Generation

PP1011
 1996 Paper in Conference Proceedings
 BassolsGadella,N; Mellish,CS; Nicholov,N

 A CaseBased Algorithm for Catalan Stress Assignment

PP1010
 1996 Paper in Conference Proceedings
 Marchant,B; Cerbah,F; Mellish,CS

 The Ghostwriter Project:....

PP1009
 1996 Paper in Conference Proceedings
 Rogers,I; Plowman,L; Levine,J; Pattison,C

 The Collaborative Requirements Capture Tool: A Multiparadigm..

PP1008
 1996 Paper in Conference Proceedings
 Levine,J; Rogers,I; Bennington,T; Pattison,C

 Class Hierarchies as a Multi Purpose Knowledge Representation

PP1007
 1996 Paper in Conference Proceedings
 Sie,C; Shen,Q; Milne,R

 A Fuzzy Expert System for Turbomachinery Diagnosis

PP1006
 1996 Paper in Conference Proceedings
 Leitch,R; Coghill,G; Shen,Q; Chantler,M; Ravindranathan,M

 Choices for the Construction of Appropriate Models

PP1004
 1996 Paper in Conference Proceedings
 Kim,D; Corne,D; Ross,PM

 Industrial Plant PipeRoute Optimisation with Genetic Algorithms

PP1003
 1996 Paper in Conference Proceedings
 Tuson,AL; Ross,PM

 Cost Based Operator Rate Adaptation: An Investigation

PP1002
 1996 Paper in Conference Proceedings
 Turner,A; Corne,D; Ritchie,GD; Ross,PM

 Obtaining Multiple Distinct Solutions with Genetic Algorithm Niching Methods

PP1001
 1996 Paper in Conference Proceedings
 Gathercole,C; Ross,PM

 An Adverst Interaction between Crossover and Restricted Tree Depth in Genetic Programming

PP1000
 1996 Paper in Conference Proceedings
 Tuson,AL; Ross,PM

 Coevolution of Operator Settings in Genetic Algorithms

PP986
 1995 Paper in Conference Proceedings
 Chantler,M; Leitch,R; Shen,Q; Coghill,G

 A Methodology for the Development of ModelBased Diagnostic Systems

PP985
 1995 Paper in Conference Proceedings
 Leitch,G; Shen,Q; Chantler,M; Coghill,G

 Model Properties and Classification of Approaches

PP984
 1995 Paper in Conference Proceedings
 Chantler,M; Shen,Q; Leitch,R; Coghill,G

 On choosing Candidate Generation and Prediction Techniques

PP983
 1995 Paper in Conference Proceedings
 Conlon,T; Pain,HG

 Persistent Collaboration: Marrying the Technology Push with the Learning Pull

PP982
 1995 Paper in Conference Proceedings
 Aziz,N; Pain,HG; Brna,P

 Modelling and Mending Student's Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in TAPS

PP981
 1995 Paper in Conference Proceedings
 Sentance,S; Pain,HG

 A Generative Learner Model in the Domain of Second Language Learning

PP980
 1995 Paper in Conference Proceedings
 Salles,P; Muetzelfeldt,R; Pain,HG

 Qualitative Models in Ecogology and their Use in Intelligent Tutoring Systems

PP979
 1995 Paper in Conference Proceedings
 Aziz,N; Pain,HG; Brna,P

 Handling Contradictions in Student Modelling in Translating Algebraic Problems Systems (TAPS)

PP978
 1995 Paper in Conference Proceedings
 Malcolm,CA

 The SOMASS System: a Hybrid Symbolic and Behaviourbased System to Plan and Execute Assemblies by Robot

PP926
 1995 Paper in Conference Proceedings
 Crowe,J

 ConstraintBased Event Recognition for Information Extraction

PP925
 1995 Paper in Conference Proceedings
 Knott,A

 An Empirical Methodology for Determining a Set of Coherence Relations

PP924
 1995 Paper in Conference Proceedings
 Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS

 Time Granularity in Simulation Models of Ecological Systems

PP921
 1995 Paper in Conference Proceedings
 Androutsopoulos,I; Ritchie,GD; Thanisch,P

 Experience using TSQL2 in a Natural Language Frontend

PP920
 1995 Paper in Conference Proceedings
 Nicolov,N; Mellish,CS; Ritchie,GD

 Sentence Generation from Conceptual Graphs

PP914
 1995 Paper in Conference Proceedings
 Wolfart,E; Fisher,RB; Walker,AV

 Position Refinement for a Navigating Robot using Motion Information Based on Honey Bee Stratagies

PP913
 1995 Paper in Conference Proceedings
 Fillatreau,P; Fisher,RB

 Nonpolyhedral Landmark Recognition using 3D Depth Images and Partially Correct Models

PP912
 1995 Paper in Conference Proceedings
 Hasselbring,W; Fisher,RB

 Using the PROSETLinda Prototype Language for Investigating MIMD Algorithms for Machine Learning

PP911
 1995 Paper in Conference Proceedings
 Lorusso,A; Eggert,D; Fisher,RB

 A Comparison of Four Algorithms for Estimating 3D Rigid Transformations

PP910
 1995 Paper in Conference Proceedings
 Wright,M; Fitzgibbon,AW; Fisher,RB

 Convex Hulls, Occluding Contours, Aspect Graphs and the Hough Trnasform

PP909
 1995 Paper in Conference Proceedings
 Fitzgibbon,AW; Fisher,RB

 A Buyer's Guide to Conic Fitting

PP908
 1995 Paper in Conference Proceedings
 Fisher,RB; Oliver,PI

 MultiVariate CrossCorrelation and Image Matching

PP906
 1995 Paper in Conference Proceedings
 Pilu,M; Fisher,RB

 Equal Distance Sampling of Supereclipse Models

PP905
 1995 Paper in Conference Proceedings
 Park,N; Robertson,DS

 A Localist Network Architecture for Log Inference Based on Temporal Synchrony Approach to Dynamic Variable Binding

PP904
 1995 Paper in Conference Proceedings
 Walker,AV; Milano,N; Hallam,JC

 Are Sonar Errors in the Ear of the Beholder?: Towards and Understand of Complete Sonar Echoes

PP903
 1995 Paper in Conference Proceedings
 Wren,DO; Fisher,RB

 Planning Dextrous Hand Precison Grasps from Range Data, Using Preshaping and Finger Trajectories

PP902
 1995 Paper in Conference Proceedings
 Wren,DO; Fisher,RB

 Dextrous Hand Grasping Strategies using Preshapes and Digit Trajectories

PP887
 1995 Paper in Conference Proceedings
 Levine,J; Mellish,CS

 The IDAS User Trials: Quantitative Evaluation

PP884
 1995 Paper in Conference Proceedings
 Bull,S

 Handling Native and NonNative Language Transfer in CALL: Theory and Practice

PP883
 1995 Paper in Conference Proceedings
 Bull,S; Pain,HG

 Did I Say What I Think I Said, and Do You Agree with Me?: Inspecting and Questioning the Student Model

PP882
 1995 Paper in Conference Proceedings
 Bull,S; Smith,ML

 Using Targeted Negotiation to Support Students' Learning

PP879
 1995 Paper in Conference Proceedings
 Conlon,T; Pain,HG

 Persistent Collaboration

PP878
 1995 Paper in Conference Proceedings
 Conlon,T

 Automated Analysis for Knowledge Based Modelling

PP877
 1995 Paper in Conference Proceedings
 Melis,E

 A Model of Analogy Driven ProofPlan Construction

PP876
 1995 Paper in Conference Proceedings
 Melis,E

 Theorem Proving by Analogy  a Compelling Example

PP874
 1995 Paper in Conference Proceedings
 Bundy,A; Lombart,V

 Relational Rippling: a General Approach

PP763
 1995 Paper in Conference Proceedings
 Kado,K; Ross,PM; Corne,D

 Investigating Genetic Algorithms for Facility Layout Problems

PP1209
 1995 Paper in Conference Proceedings
 ChenBurger,J; Robertson,DS; Fraser,J; Lissoni,C

 KBST: A Support Tool for Business Modelling in BSDM

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

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

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

 a Robot Controller Using Learning by Imitation

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

 Automatic Characterisation of Musical Style

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

 Guiding Proof Search in Logical Frameworks with Rippling

PP864
 1994 Paper in Conference Proceedings
 Wiggins,G

 Improving the Whelk System: a TypeTheoretic Reconstruction

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

 Guiding Synthesis Proofs

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

 Mollusc: a General Proof Development Shell for Sequent Based Logics

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

 Music Representation  Between the Musician and the Computer

PP760
 1994 Paper in Conference Proceedings
 Fisher,RB

 Performance Comparison of Ten Variations on the Interpretation Tree Matching Algorithm

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

 LackofFit Detection Using the RunDistribution Test

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

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

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

 Automatic Acquisition of CAD Models from Multiple Range View

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

 Lack of Fit Detection Using the RunDistribution Test

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

 Direct Calibration and Data Consistency in 3D Laser Scanning

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

 Layered Design of KBS from Specification to Hardware

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

 An Environment for Building Programs Based on Knowledge of their Construction

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

 Making Specification Design More Accountable

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

PP738
 1994 Paper in Conference Proceedings
 Ishizaki,M

 Rational Agents in TaskOriented Dialogues

PP735
 1994 Paper in Conference Proceedings
 Webb,B

 Robotic Experiments in Cricket Phonotaxis

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

 GoalOriented Software: When the Development Process is Different

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

 Student Modelling beyond Domain Knowledge

PP732
 1994 Paper in Conference Proceedings
 Vasconcelos,W

 Estracting Prolog Programming Techniques

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

 from Dynamic Bindings to Further Symbolic Knowledge Representation Using Synchronous Action

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

 Reasoning with Limited Unification in a Connectionist RuleBased System

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

 Opportunities: a Unifying Framework for Planning and Execution

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

 Improving Pose Estimation by Using Object, Camera and Image Uncertainty

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

 Requirements Specification of Telecommunication Services Assisted by CaseBased Reasoning

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

 CaseBased Selection of Requirements Specification for Telecommunication Systems

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

 Generating Arabic Words from Semantic Descriptions

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

 Real Time Optical Flow Based Range Sensing in Mobile Robots

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

 Connectionist Environment Modelling in a Real Robot

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

 Prolog Unification: Diverse Teaching Strategies for Novices

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

 Proof Plans for the Correction of False Conjectures

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

 Internal and External Representations in Teaching Logic

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

 the Cognitive Properties of Graphical and Algebraic Representations

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

 Graphical Effects in Learning Logic: Reasoning Representation and Individual Differences

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

 a Promising Hybrid/GA Approach for OpenShop Scheduling Problems

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

 Genetic Algorithms for Timetabling and Scheduling Problems

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

 Evolutionary Timetabling: Practice, Prospects and Work in Progress

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

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

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

 An Empirical Study on the Generation of Zero Anaphors in Chinese

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

 a CaseBased Reasoning System for Regulatory Information

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

 Use of CaseBased Reasoning in the Domain of Building Regulations

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

 An Implemented Model of Punning Riddles

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

 Skeletonisation Using and Extended Eucidean Distance Transform

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

 a Robot System Designed for TaskLevel Assembly

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

 Acquisition of Consistent Range Data Using Local Calibration

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

 Automated Reasoning with Uncertainties

PP696
 1993 Paper in Conference Proceedings
 Chongtay,R; Goodhill,G; Hayes,GM

 Empirical Exploration of a Model of the Development of Ocular Dominance Columns

PP695
 1993 Paper in Conference Proceedings
 Hallam,B; Hayes,GM

 Comparing Robot and Animal Behaviour

PP694
 1993 Paper in Conference Proceedings
 Pain,HG; Bull,S; Brna,P

 Student Modelling in an Intelligent Computer Assisted Learning System

PP693
 1993 Paper in Conference Proceedings
 Pain,HG; Hernandez,R; Brna,P

 Learning ROLOG Debugging Skills

PP692
 1993 Paper in Conference Proceedings
 Pain,HG; Brna,P; Warr,K; Chiam,S

 Learning to Diagnose Algebra Errors

PP691
 1993 Paper in Conference Proceedings
 Pain,HG; Bull,S; Brna,P

 Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning

PP690
 1993 Paper in Conference Proceedings
 Kowtko,J; McAllister,J; Sotillo,C; Weinert,R; Isard,S; Miller,J; Thompson,HS; Anderson,A; Bader,M; Bard,E; Boyle,E; DohertySneddon,G; Garrod,S

 the HCRC Map Task Corpus: a Natural Spoken Dialogue Corpus

PP689
 1993 Paper in Conference Proceedings
 Thompson,HS; Anderson,A; Bard,E; DohertySneddon,G; Newlands,A; Sotillo,C

 the HCRC Map Task Corpus: Natural Dialogue for Speech Recognition

PP688
 1993 Paper in Conference Proceedings
 Corne,D; Smithers,T; Ross,PM

 Solving Design Problems by Computational Exploration

PP686
 1993 Paper in Conference Proceedings
 Deacon,G; Low,PL; Malcolm,CA

 Orienting Objects in a Minimum Number of Robot Sweeping Motions

PP682
 1993 Paper in Conference Proceedings
 Gent,I; Walsh,T

 Towards an Understanding of Hillclimbing Procedures for SAT

PP681
 1993 Paper in Conference Proceedings
 Trucco,E; Wallace,A

 Using ViewerCentred Representations in Machine Vision

PP676
 1993 Paper in Conference Proceedings
 Bowles,A; Brna,P

 Programming Plans and Programming Techniques

PP638
 1993 Paper in Conference Proceedings
 Yang,S; Robertson,DS; Lee,J

 KICS: a KnowledgeIntensive CaseBased Reasoning System for Building Regulations and Case Histories

PP637
 1993 Paper in Conference Proceedings
 Robertson,DS; Augusti,J; Hesketh,J; Levy,J

 Expressing Program Requirements using Refinement Lattices

PP634
 1993 Paper in Conference Proceedings
 Haggith,MC

 Disagreement in Creative Problem Solving

PP633
 1993 Paper in Conference Proceedings
 Crocker,M

 On the Nature of the PrincipleBased Sentence Processor

PP632
 1993 Paper in Conference Proceedings
 Borges,D; Fisher,RB

 Segemntacao e Acquisicao de Partes GEnericas para Reconhecimento

PP631
 1993 Paper in Conference Proceedings
 Fisher,RB; Naidu,D; Singhal,D

 Rejection of Spurious Reflections in Structured Illumination Range Finders

PP630
 1993 Paper in Conference Proceedings
 Waite,M; Orr,M; Hallam,JC; Fisher,RJ

 Statistical Partial Constraints for 3D Model Matching and Pose EStimation Problems

PP629
 1993 Paper in Conference Proceedings
 Borges,E; Fisher,RB

 Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities

PP628
 1993 Paper in Conference Proceedings
 Bispo,EM; Fitzgibbon,AW; Fisher,RB

 Visually Salient 3D Model Acquisition from Range Data

PP627
 1993 Paper in Conference Proceedings
 Fisher,RB

 Hierarchical Matching Beats the NonWildcard and Interpretation Tree Model Matching Algorithms

PP626
 1993 Paper in Conference Proceedings
 Borges,D; Fisher,RB

 Acquiring Generic Parts for Recognition

PP622
 1993 Paper in Conference Proceedings
 Fisher,RB; Fitzgibbon,AW; Waite,M; Orr,M; Trucco,E

 Recognition of Complex 3D Objects from Range Data

PP621
 1993 Paper in Conference Proceedings
 Fisher,RB; Fitzgibbon,AW

 Invariant Fitting of Arbitrary Single Extremum Surfaces

PP620
 1993 Paper in Conference Proceedings
 Wiggins,G; Lombart,V; Deville,Y

 Guiding Synthesis Proofs

PP616
 1993 Paper in Conference Proceedings
 Madden,P; Hesketh,J; Green,I; Bundy,A

 a General Technique for Automatically Optimizing Programs through the Use of Proof Plans

PP612
 1993 Paper in Conference Proceedings
 Kraan,I; Basin,D; Bundy,A

 Middleout Reasoning for Logic Program Syntehsis

PP611
 1993 Paper in Conference Proceedings
 Basin,D; Bundy,A; Kraan,I; Matthews,S

 a Framework for Program Development Based on Schematic Proof

PP610
 1993 Paper in Conference Proceedings
 Manning,H; Ireland,A; Bundy,A

 Increasing the Versatility of Heuristic Based Theorem Provers

PP334
 1993 Paper in Conference Proceedings
 Chung,P; Abbas,S; Robertson,DS

 Representing Design Information and Safety Constraints

PP333
 1993 Paper in Conference Proceedings
 Kaggelides,K; Elliott,P; Fisher,RB

 Automatic Location of the Eyes in CT Images of the Head

PP332
 1993 Paper in Conference Proceedings
 Kaggelides,K; Elliott,P; Fisher,RB

 Locating the Eyes in CT Brain Scan Data

PP331
 1993 Paper in Conference Proceedings
 Wren,DO; Fisher,RB

 Finding Robot Grasp Points from Range Data

PP330
 1993 Paper in Conference Proceedings
 PerezMinana,E; Wallace,D; Fisher,RB

 Stochastic Image Restoration: Clean Images and Their Likelihood

PP327
 1993 Paper in Conference Proceedings
 Fang,H; Ross,PM; Corne,D

 a Promising Genetic Algorithm Approach to JobShop Scheduling, Rescheduling and OpenShop Scheduling Problems

PP326
 1993 Paper in Conference Proceedings
 Crocker,M

 Properties of the PrincipleBased Sentence Processor

PP325
 1993 Paper in Conference Proceedings
 Walker,AV; Hallam,JC; Willshaw,D

 Simple Spatial Memories for a Mobile Robot: a Beehaviour Based Approach

PP324
 1993 Paper in Conference Proceedings
 Walker,AV; Hallam,JC; Willshaw,D

 Beehaviour in a Mobile Robot: the Construction of a SelfOrganizing Cognitive Map and its Use in Robot Navigation within a Complex Natural Environment

PP321
 1993 Paper in Conference Proceedings
 Mellish,CS; Reiter,E

 Optimizing the Costs and Benefits of Natural Language Generation

PP320
 1993 Paper in Conference Proceedings
 Mellish,CS; Reiter,E

 Using Classification as a Programming Language

PP319
 1993 Paper in Conference Proceedings
 Androutsopoulos,I; Ritchie,GD; Thanisch,P

 Interfacing a Natural Language FrontEnd to a Relational Database

PP240
 1993 Paper in Conference Proceedings
 Wu,X

 the HCV Induction Algorithm

PP225
 1993 Paper in Conference Proceedings
 King,K

 Building Responsive Task Models

PP197
 1993 Paper in Conference Proceedings
 Kraan,I; Bundy,A; Basin,D

 Logic Program Synthesis from Proof Planning

PP116
 1993 Paper in Conference Proceedings
 Basin,D; Constable,R

 Metalogical Frameworks

PP1128
 1993 Paper in Conference Proceedings
 Waite,M; Orr,M; Fisher,RB

 Statistical Practical Constraints for 3D Model Matching and Pose Estimation Problems

PP1126
 1993 Paper in Conference Proceedings
 Waite,M; Orr,M; Fisher,RB

 Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems

PP311
 1992 Paper in Conference Proceedings
 Haggith,MC; Robertson,DS; Walker,DA; Sinclair,F; Muetzelfeldt,R

 TEAK: Tools for Eliciting Agroforestry Knowledge

PP306
 1992 Paper in Conference Proceedings
 Fitzgibbon,AW; Fisher,RB

 Practical AspectGraph Derivation Incorporation Feature Segmentation Performance

PP304
 1992 Paper in Conference Proceedings
 Fitzgibbon,AW; Fisher,RB

 Suggestive Modelling for Machine Vision

PP302
 1992 Paper in Conference Proceedings
 Beck,H; Gomes,C

 Principles underlying the decomposition of job shop scheduling problems

PP300
 1992 Paper in Conference Proceedings
 Tate,AB

 OPlan 2: Modularity and Interfaces

PP299
 1992 Paper in Conference Proceedings
 Tate,AB; Drabble,B; Kirby,R

 OPlan 2: the Open Planning Architecture

PP297
 1992 Paper in Conference Proceedings
 Kingston,J

 Building Knowledge Systems Toolkits and Case Studies

PP296
 1992 Paper in Conference Proceedings
 Kingston,J

 User Interfaces for Knowledge Based Systems and Tools

PP290
 1992 Paper in Conference Proceedings
 Tate,AB

 Snythetic Intelligence  KBS for Design and Planning

PP237
 1992 Paper in Conference Proceedings
 Bundy,A; Frank,I; Basin,D

 An Adaption of Proof Planning to Declarer Play in Bridge

PP236
 1992 Paper in Conference Proceedings
 Bundy,A; Walsh,T; Nunes,A

 the Use of Proof Plans to Sum Series

PP235
 1992 Paper in Conference Proceedings
 Bundy,A; Hesketh,J; Smaill,AD

 Using Middleout Reasoning to Transform Naive Programs into TailRecursive Ones

PP233
 1992 Paper in Conference Proceedings
 Bundy,A; Brna,P; Pain,HG

 a Framework for the Principled Debugging of PROLOG Programs: How to Debug NonTerminating Programs

PP232
 1992 Paper in Conference Proceedings
 Rock,S

 Understanding Repetition in Natural Language Instructions  the Semantics of Extent

PP231
 1992 Paper in Conference Proceedings
 Nakata,K

 Behavioural Specification with Nonmonotonic Temporal Logic

PP228
 1992 Paper in Conference Proceedings
 Reiter,E; Dale,R

 a Fast Algorithm for the Generation of Referring Expressions

PP226
 1992 Paper in Conference Proceedings
 Bental,D

 Using Clausal Join and Clausal Split to Recognise LanguageSpecific Programming Design Decisions

PP222
 1992 Paper in Conference Proceedings
 King,K

 Artificial Intelligence for Developing Countries: Promises and Possibilities

PP221
 1992 Paper in Conference Proceedings
 Bowles,A; Mellish,CS

 Using Abstract Interpretation in a Prolog Tutoring System

PP220
 1992 Paper in Conference Proceedings
 Mellish,CS; Reiter,E

 Using Classification to Generate Text

PP219
 1992 Paper in Conference Proceedings
 Poynter,L; Levine,J; Walker,J; Reiter,E; Tyson,P; Mellish,CS

 The Intelligent Documentation Advisory System

PP215
 1992 Paper in Conference Proceedings
 Mellish,CS

 Term Encodable Description Systems

PP209
 1992 Paper in Conference Proceedings
 Cox,R

 Exploratory Learning from ComputerBased Systems

PP208
 1992 Paper in Conference Proceedings
 Borges,D; Fisher,RB

 Computational Properties of Rotation Parametrizations

PP207
 1992 Paper in Conference Proceedings
 Wu,X

 KEShell2: An Intelligent Learning Database System

PP206
 1992 Paper in Conference Proceedings
 Trucco,E; Thirion,E; Umasuthan,M; Wallace,A

 Visibility Scripts for Active FeatureBased Inspection

PP204
 1992 Paper in Conference Proceedings
 Trucco,E; Fisher,RB

 Computing SurfaceBased Representations from Range Images

PP199
 1992 Paper in Conference Proceedings
 Fisher,RB

 NonWildcard Matching Beats the Interpretation Tree

PP196
 1992 Paper in Conference Proceedings
 Yang,S; Robertson,DS

 An Overview of the Intelligence Information System for Building Regulations and Standards

PP192
 1992 Paper in Conference Proceedings
 Wiggins,G; Bundy,A; Kraan,H; Hesketh,J

 Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof

PP190
 1992 Paper in Conference Proceedings
 Whitelock,P

 ShakeandBake Translation

PP189
 1992 Paper in Conference Proceedings
 Webb,B

 the Connection Between AI and Biology in the Study of Behaviour

PP188
 1992 Paper in Conference Proceedings
 Walsh,T; Giunchiglia,F

 Theories of Abstraction: a Historical Perspective

PP185
 1992 Paper in Conference Proceedings
 Walsh,T; Nunes,A; Bundy,A

 the Use of Proof Plans to Sum Series

PP182
 1992 Paper in Conference Proceedings
 Trucco,E

 On ShapePreseving Boundary Conditions for Diffusion Smoothing

PP174
 1992 Paper in Conference Proceedings
 Smithers,T; Tang,M

 AIBased Design and Simulation of Hydroelectric Power Systems

PP171
 1992 Paper in Conference Proceedings
 Sentance,S

 Analysing Misconceptions in the Domain of Second Language Learning

PP170
 1992 Paper in Conference Proceedings
 Ross,B

 SemanticsBased Partial Evaluation of PROLOG Programs

PP169
 1992 Paper in Conference Proceedings
 Ross,B

 Using Algebraic Semantics for Proving PROLOG Program Termination and Transformation

PP168
 1992 Paper in Conference Proceedings
 Rock,S

 Understanding Repetition in Natural Language Instructions  the Semantics of Extent

PP167
 1992 Paper in Conference Proceedings
 Robertson,DS

 a Simple PROLOG Techniques Editor for Novice Users

PP164
 1992 Paper in Conference Proceedings
 Reiter,E; Dale,R

 a Fast Algorithm for the Generation of Referring Expressions

PP162
 1992 Paper in Conference Proceedings
 Reiter,E; Mellish,CS; Levine,J

 Automatic Generation of OnLine Documentation in the IDAS Project

PP159
 1992 Paper in Conference Proceedings
 Pain,HG

 Supporting Children with Learning Difficulties in Spelling

PP156
 1992 Paper in Conference Proceedings
 Orr,M; Hallam,JC; Fisher,RB

 Fusion Through Interpretation

PP153
 1992 Paper in Conference Proceedings
 Madden,P

 Automatic Program Optimization Through Proof Transformation

PP152
 1992 Paper in Conference Proceedings
 Logan,B; Corne,D; Smithers,T

 the Edinburgh Designer System: An Architecture for Solving Ill Structured Problems

PP150
 1992 Paper in Conference Proceedings
 Logan,B; Corne,D; Smithers,T

 Enduring Support: On Defeasible Reasoning in Design Support Systems

PP148
 1992 Paper in Conference Proceedings
 Ireland,A

 the Use of Planning Critics in Mechanizing Inductive Proof

PP147
 1992 Paper in Conference Proceedings
 Horn,C; Smaill,AD

 Theorem Proving and Program Synthesis with OYSTER

PP146
 1992 Paper in Conference Proceedings
 Hesketh,J; Bundy,A; Smaill,AD

 Using Middleout Reasoning to Control the Synthesis of Tail Recursive Programs

PP143
 1992 Paper in Conference Proceedings
 Giunchiglia,G; Walsh,T

 Tree Subsumption: Reasoning with Outlines

PP137
 1992 Paper in Conference Proceedings
 Bowles,A; Mellish,CS

 Using Abstract Interpretation in a Prolog Tutoring System

PP132
 1992 Paper in Conference Proceedings
 Crocker,M; Lewin,I

 Parsing as Deduction: Rules versus Principles

PP130
 1992 Paper in Conference Proceedings
 Chongstitvatana,P; Conkie,A

 Active Mobile Stereo Vision for Robotic Assembly

PP126
 1992 Paper in Conference Proceedings
 Brna,P; Caiger,A

 the Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits

PP120
 1992 Paper in Conference Proceedings
 Bental,D

 Using Clausal Join and Clausal Split to Recognise LanguageSpecific Programming Design Decisions

PP119
 1992 Paper in Conference Proceedings
 Beaven,J

 ShakeandBake Machine Translations

PP118
 1992 Paper in Conference Proceedings
 Basin,D; Walsh,T

 Difference Matching

PP117
 1992 Paper in Conference Proceedings
 Basin,D; Smaill,AD; Matthews,S

 Experience with FSo as a Framework Theory

PP115
 1992 Paper in Conference Proceedings
 Basin,D

 Extracting Circuits from Constructive Proofs

PP113
 1992 Paper in Conference Proceedings
 Baker,S; Ireland,A; Smaill,AD

 On the Use of the Constructive OmegaRule within Automated Deduction

PP1121
 1992 Paper in Conference Proceedings
 Orr,M; Hallam,JC; Fisher,RB

 Fusion through Interpretation

PP99
 1991 Paper in Conference Proceedings
 Thompson,HS; Sadler,L

 Structural NonCorrespondence in Translation

PP97
 1991 Paper in Conference Proceedings
 Tang,M; Smithers,T

 ObjectOriented Stimulation of Behaviour in Design Support

PP96
 1991 Paper in Conference Proceedings
 Smithers,T; Tang,M; Tomes,N

 the Castlemaine Project: Development of an AIBased Design Support System

PP93
 1991 Paper in Conference Proceedings
 Thompson,HS

 Structural NonCorrespondence in Translation

PP92
 1991 Paper in Conference Proceedings
 Ross,B; Smaill,AD

 An Algebraic Semantics of Prolog Program Termination

PP9
 1991 Paper in Conference Proceedings
 CameronJones,R

 Visual Interpretation of Lambertian Surface Deformation

PP86
 1991 Paper in Conference Proceedings
 Ritchie,GD

 Learning from AM

PP82
 1991 Paper in Conference Proceedings
 Orr,M; Fisher,RB; Hallam,JC

 Uncertain Reasoning: Intervals Versus Probability

PP8
 1991 Paper in Conference Proceedings
 Basin,D; Traverso,P; Giunchiglia,F

 Automatic MetaTheory Creation and System Extension

PP78
 1991 Paper in Conference Proceedings
 Nehmzow,U; Smithers,T; Hallam,JC

 Location Recognition in a Mobile Robot Using SelfOrganising Feature Maps.

PP77
 1991 Paper in Conference Proceedings
 Nehmzow,U; Smithers,T

 Mapbuilding Using SelfOrganising Networks in "Really Useful Robots"

PP76
 1991 Paper in Conference Proceedings
 Naidu,D; Fisher,RB

 a Comparative Analysis of Algorithms for Determining the Peak Position of a Stripe to SubPixel Accuracy

PP7
 1991 Paper in Conference Proceedings
 Basin,D; Howe,D

 Some Normalization Properties of MartinLof's Type Theory and Applications

PP22
 1991 Paper in Conference Proceedings
 Lowe,H

 the Use of Theorem Proving Techniques in Expert Systems for Configuration

PP21
 1991 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Using Abstraction

PP20
 1991 Paper in Conference Proceedings
 Dale,R; Haddock,N

 Generating Referring Expressions Involving Relations

PP19
 1991 Paper in Conference Proceedings
 Black,A; van de Plassche,J; Williams,B

 Analysis of Unknown Words through Morphological Decomposition

PP18
 1991 Paper in Conference Proceedings
 Logan,B; Millington,K; Smithers,T

 Being Economical with the Truth: AssumptionBased Context Management in the Edinburgh Designer System

PP17
 1991 Paper in Conference Proceedings
 Harris,M

 Attracting Similar Shapes Towards Each Other

PP16
 1991 Paper in Conference Proceedings
 Fisher,RB

 Recognition with SecondOrder Topographic Surface Features

PP15
 1991 Paper in Conference Proceedings
 Donnett,J; Smithers,T

 Lego Vehicles: a Technology for Studying Intelligent Systems

PP14
 1991 Paper in Conference Proceedings
 Donnett,J; McGonigle,B

 Evolving Speed Control in Mobile Robots: from Blindness to Kinetic Vision

PP13
 1991 Paper in Conference Proceedings
 Correa da Silva,FS; Robertson,DS; Chung,P

 Automated Reasoning about an Uncertain Domain

PP12
 1991 Paper in Conference Proceedings
 Chongstitvatana,P; Conkie,A

 Behaviour Based Assembly Experiments Using Vision Sensing

PP1145
 1991 Paper in Conference Proceedings
 Orr,M; Fisher,RB; Hallam,JC

 Computing with Uncertainty: Intervals versus Probability

PP1120
 1991 Paper in Conference Proceedings
 Orr,M; Fisher,RB; Hallam,JC

 Computing with Uncertainity: Intervals versus Probability

PP112
 1991 Paper in Conference Proceedings
 Smithers,T; Tang,M

 Towards AIBased Design

PP110
 1991 Paper in Conference Proceedings
 Whitelock,P

 ShakeandBake Translation

PP11
 1991 Paper in Conference Proceedings
 Cawsey,A

 Using Plausible Inference Rules in Description Planning

PP109
 1991 Paper in Conference Proceedings
 Whitelock,P

 What Sort of Trees do we Speak? a Computational Model of SyntaxProsody Interface in Tokyo Japanese Association for Computational Linguistic

PP103
 1991 Paper in Conference Proceedings
 Thompson,HS; Dixon,M; Lamping,J

 ComposeReduce Parsing

PP100
 1991 Paper in Conference Proceedings
 Thompson,HS

 Generation and Translation  Towards a FormalismIndependent Characterisation

PP10
 1991 Paper in Conference Proceedings
 Cawsey,A

 Generating Interactive Explanations

PP553
 1990 Paper in Conference Proceedings
 Smaill,AD; Wiggins,G

 Hierarchical Music Representation for Composition and Analysis

PP526
 1990 Paper in Conference Proceedings
 Nehmzow,U; Hallam,JC; Smithers,T

 Adaptive Behaviour in Really Useful Robot Project

PP519
 1990 Paper in Conference Proceedings
 Lewin,I

 a Quantifier Scoping Algorithm Without a Free Variable Constraint

PP512
 1990 Paper in Conference Proceedings
 Hayes,GM; Fisher,RB

 Evaluation of a Real Time Kinetic Depth System

PP504
 1990 Paper in Conference Proceedings
 Guinchiglia,F; Walsh,T

 the Use of Abstraction in Automatic Inference

PP498
 1990 Paper in Conference Proceedings
 Fisher,RB

 Extracting SecondOrder Topographic Surface Features from Range Data

PP497
 1990 Paper in Conference Proceedings
 Fisher,RB

 Determining Back Facing Curved Model Surfaces by Analysis at the Boundary

PP496
 1990 Paper in Conference Proceedings
 Fisher,RB

 Reducing Viewsphere Complexity

PP493
 1990 Paper in Conference Proceedings
 Deacon,G

 Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships

PP488
 1990 Paper in Conference Proceedings
 Desimone,R; Hollidge,T

 Case Studies in Fleet Operation Modelling: An Application of AI Scheduling Techniques

PP475
 1990 Paper in Conference Proceedings
 Donnett,J; Smithers,T

 Neuronal Group Selection Theory: a Grounding in Robotics

PP464
 1990 Paper in Conference Proceedings
 Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB

 Interacting with an Intelligent Planning System using English Sentences

PP463
 1990 Paper in Conference Proceedings
 Correa da Silva,FS; Bundy,A

 On Some Equivalence Relations Between Incidence Calculus and DempsterShafer Theory of Evidence

PP460
 1990 Paper in Conference Proceedings
 Conkie,A; Chongstitvatana,P

 An Uncalibrated Stereo Visual Servo System

PP458
 1990 Paper in Conference Proceedings
 Cawsey,A; Raudaskoski,P

 Repair Work in HumanComputer Dialogue

PP455
 1990 Paper in Conference Proceedings
 Carletta,J

 Modelling Variations in GoalDirected Dialogue

PP454
 1990 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A

 Extensions to the RipplingOut Tactic for Guiding Inductive Proofs

PP452
 1990 Paper in Conference Proceedings
 Bundy,A

 the Use of Proof Plans in Formal Methods

PP443
 1990 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Horn,C; Smaill,AD

 The Oyster Clam System

PP441
 1990 Paper in Conference Proceedings
 Bundy,A; Smaill,AD; van Harmelen,F

 Extensions to the Ripplingout Tactic for Guiding Inductive Proofs

PP439
 1990 Paper in Conference Proceedings
 Bundy,A; Smaill,AD; Hesketh,J

 Turning Eureka Steps into Calculations in Automatic Program Synthesis

PP438
 1990 Paper in Conference Proceedings
 Brown,MA; Fisher,RB

 a Distributed Blackboard System for Vision Applications

PP429
 1990 Paper in Conference Proceedings
 Blokland,R; Thompson,HS; Cutting,D

 Ibrow: a System for Constructing Browsers in LISP

PP427
 1990 Paper in Conference Proceedings
 Bernaras,A; Smithers,T

 On the Application of Software Engineering Techniques in Artificial Intelligence Research

PP424
 1990 Paper in Conference Proceedings
 Basin,D

 Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete

PP317
 1990 Paper in Conference Proceedings
 Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB

 Interacting with an Intelligence Planning System using English Sentences

PP1109
 1990 Paper in Conference Proceedings
 Fisher,RB

 Reducing Viewsphere Complexity

PP609
 1989 Paper in Conference Proceedings
 Wiggins,G; Harris,M; Smaill,AD

 Representing Music for Analysis and Composition

PP604
 1989 Paper in Conference Proceedings
 Williams,B; Thompson,HS

 Modelling Phonological Processes in Continuous Speech Recognition

PP600
 1989 Paper in Conference Proceedings
 Valley,K

 Realising the Potential of Expert System Shells in Education

PP596
 1989 Paper in Conference Proceedings
 Thompson,HS; McKelvie,D; McInnes,F

 Robust Lexical Access for Continuous Speech Using Dynamic Time Warping and Finite State Transducers

PP594
 1989 Paper in Conference Proceedings
 Thompson,HS

 Evaluation of Phoneme Lattices: Four Methods Compared

PP592
 1989 Paper in Conference Proceedings
 Thompson,HS

 Hill Climbing to Improve the Performance of Rule Based Segmentation and Labelling

PP590
 1989 Paper in Conference Proceedings
 Thompson,HS

 a Chart Parsing Realisation of Dynamic Programming: Best First Enumeration of Paths in a Lattice

PP587
 1989 Paper in Conference Proceedings
 Thornton,C

 the Factorial Productivity of MarkRaising Generalisation

PP579
 1989 Paper in Conference Proceedings
 Trucco,E; Groppello,P; Burbello,F

 Experiments with Segment Based Stereo using Dynamic Programming

PP578
 1989 Paper in Conference Proceedings
 Trucco,E

 Towards Volumetric Description of Range Images

PP558
 1989 Paper in Conference Proceedings
 Smithers,T

 Intelligent Control in AI Based Design Support Systems

PP556
 1989 Paper in Conference Proceedings
 Smithers,T; Conkie,A; Doheny,A; Logan,B; Millington,K

 Design as Intelligent Behaviour: An AI in Design Research Programme

PP546
 1989 Paper in Conference Proceedings
 Reape,MK

 a Logical Treatment of SemiFree Word Order and Bounded Discontinuous Consituency

PP544
 1989 Paper in Conference Proceedings
 Ritchie,GD

 On the Generative Power of Two Level Morphological Rules

PP529
 1989 Paper in Conference Proceedings
 Nehmzow,U; Hallam,JC; Smithers,T

 Really Useful Robots

PP422
 1989 Paper in Conference Proceedings
 Malcolm,CA; Smithers,T; Hallam,JC

 An Emerging Paradigm in Robot Architecture

PP414
 1989 Paper in Conference Proceedings
 Mellish,CS

 Some Chart Based Techniques for Parsing IllFormed Input

PP411
 1989 Paper in Conference Proceedings
 Madden,P

 the Specialization and Transformation of Constructive Existence Proofs

PP409
 1989 Paper in Conference Proceedings
 McIlvenny,P

 Communicative Action and Computers: Re Embodying Conversation Analysis

PP393
 1989 Paper in Conference Proceedings
 Logan,B; Newton,S

 the Intractability of Design: Is Design too Complex for Expert Systems?

PP392
 1989 Paper in Conference Proceedings
 Logan,B; Smithers,T

 the Role of Prototypes in Creative Design

PP390
 1989 Paper in Conference Proceedings
 Li,S

 3D Object Recognition from Range Images: Computational Framework and Neural Networks

PP384
 1989 Paper in Conference Proceedings
 Hallam,JC; Forster,P; Howe,J

 Map Free Localisation in a Partially Moving 3D World: the Edinburgh Feature Based Navigator

PP377
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Theorem Proving with Definitions

PP376
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving

PP366
 1989 Paper in Conference Proceedings
 Fisher,RB

 Geometric Constraints from Planar Surface Patch Matchings

PP365
 1989 Paper in Conference Proceedings
 Fisher,RB; Orr,J

 Experiments with a Network Based Geometric Reasoning Engine

PP364
 1989 Paper in Conference Proceedings
 Engdahl,E; Cooper,K

 Null Subjects in Zurich German

PP362
 1989 Paper in Conference Proceedings
 Dale,R

 Cooking up Referring Expressions

PP350
 1989 Paper in Conference Proceedings
 Cawsey,A

 the Structure of Tutorial Discourse

PP347
 1989 Paper in Conference Proceedings
 Cai,L

 Spline Smoothing  a Special Case of Diffusion Smoothing

PP346
 1989 Paper in Conference Proceedings
 Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A

 a Rational Reconstruction and Extension of Recursion Analysis

PP338
 1989 Paper in Conference Proceedings
 Bowles,A; Wilk,P

 Tracing Requirements for MultiLayered MetaProgramming

PP337
 1989 Paper in Conference Proceedings
 Blokland,R; Thompson,HS

 a Parser for FeatureBased Speech Recognition

PP316
 1989 Paper in Conference Proceedings
 Ritchie,GD

 On the Generative Power of TwoLevel Morphological Rules

PP583
 1988 Paper in Conference Proceedings
 Trehan,R

 a Parallel Chart Parser for the Commited Choice NonDeterministic (CCND) Logic Languages

PP1108
 1988 Paper in Conference Proceedings
 Fisher,RB; Orr,M

 A Parallel Network for Solving Algebraic and Geometric Constraints

PP1107
 1988 Paper in Conference Proceedings
 Fisher,RB; Orr,M

 Solving Geometric Constraints in a Parallel Network

PP1144
 1987 Paper in Conference Proceedings
 Fisher,RB

 Model Invocation for Three Dimentional Scene Understanding

PP1106
 1987 Paper in Conference Proceedings
 Fisher,RB

 Modeling SecondOrder Volumetric Features

PP1105
 1987 Paper in Conference Proceedings
 Fisher,RB

 Model Invocation for Three Dimentional Scene Understanding

PP1143
 1986 Paper in Conference Proceedings
 Fisher,RB

 SMS: A Suggestive Modeling System for Object Recognition

PP1142
 1986 Paper in Conference Proceedings
 Fisher,RB

 Identity Independent Object Segmentation in 2 1/2D Sketch Data

PP1119
 1986 Paper in Conference Proceedings
 Orr,M; Fisher,RB

 Geometric Reasoning for Computer Vision

PP1104
 1986 Paper in Conference Proceedings
 Fisher,RB

 A Suggestive Modeling System for Object Recognition

PP1103
 1986 Paper in Conference Proceedings
 Fisher,RB

 Identify Independent Object Segmentation in 2 1/2D Sketch Data

PP1102
 1986 Paper in Conference Proceedings
 Fisher,RB

 Recognizing Objects Using Surface Information and Object Models

PP1101
 1983 Paper in Conference Proceedings
 Fisher,RB

 Using Surfaces And Object Models To Recognize Partially Obscured Objects

PP1100
 1982 Paper in Conference Proceedings
 Fisher,RB

 A Structured Pattern Matching Approach To Intermediate Level Vision

PP1125
 1980 Paper in Conference Proceedings
 Fisher,RB; Peterson,A

 A Facility For Interactive Digital Signal Processing

PP1148
 0 Paper in Conference Proceedings
 Robertson,C; Fisher,RB; Corne,D; Werghi,N; Ashbrook,A

 Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data

PP1137
 0 Paper in Conference Proceedings
 Robertson,C; Fisher,RB; Corne,D

 Investigating Evolutionery Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
