 Authored Book

AB344
 1989 Authored Book
 Sherman,B; Sieghart,P; Bundy,A; Boden,M; Sharples,M; Cooley,M; Dawson,D; Hopson,D; Neuberger,J

 the Benefits and Risks of Knowledge Based Systems

AB367
 1989 Authored Book
 Fisher,RB

 from Surfaces to Objects: Computer Vision and Three Dimensional Scene Analysis

AB378
 1989 Authored Book
 Gazdar,G; Mellish,CS

 Natural Language Processing in LISP: An Introduction to Computational Linguistics

AB379
 1989 Authored Book
 Gazdar,G; Mellish,CS

 Natural Language Processing in PROLOG: An Introduction to Computational Linguistics

AB380
 1989 Authored Book
 Gazdar,G; Mellish,CS

 Natural Language Processing in PopII: An Introduction to Computational Linguistics

AB387
 1989 Authored Book
 Jackson,P; Reichgelt,H; van Harmelen,F

 LogicBased Knowledge Representation

AB541
 1989 Authored Book
 Ross,PM

 Advanced Prolog: Techniques and Applications

AB591
 1989 Authored Book
 Thompson,HS

 a Strategy for Speech and Language Technology

AB624
 1989 Authored Book
 Fisher,RB

 from Surfaces to Objects: Computer Vision and Three Dimensional Scene Analysis

 Chapter in Edited Book

CB348
 1989 Chapter in Edited Book
 Cai,L

 Diffusion Smoothing: An Approach to Sculptured Surfaces

CB352
 1989 Chapter in Edited Book
 Corlett,R; Reichgelt,H; Davies,N; van Harmelen,F; Khan,R

 the Architecture of Socrates

CB361
 1989 Chapter in Edited Book
 Dale,R

 Computer Based Editorial Aids

CB363
 1989 Chapter in Edited Book
 Elfrink,B; Reichgelt,H

 Assertion Time Inferance in LinkBased Systems

CB368
 1989 Chapter in Edited Book
 Fisher,RB; Orr,M

 Geometric Consraints from 2.5D Sketch Data and Object Models

CB369
 1989 Chapter in Edited Book
 Fleming,A

 Geometric Relationships between Toleranced Features

CB375
 1989 Chapter in Edited Book
 Giunchiglia,F; Smaill,AD

 Reflection in Constructive and Non Constructive Automated Reasoning

CB385
 1989 Chapter in Edited Book
 Hallam,JC

 Artificial Intelligence and Signal Understanding

CB388
 1989 Chapter in Edited Book
 Jackson,P; Reichgelt,A

 a General Proof Method for Modal Predicate Logic

CB389
 1989 Chapter in Edited Book
 Jackson,P; Reichgelt,H

 a Modal Proof Method for Doxastic Reasoning

CB543
 1989 Chapter in Edited Book
 Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,M

 Helping Inexperienced Users to Construct Simulation Programs: An Overview of the ECO Project

CB545
 1989 Chapter in Edited Book
 Reichgelt,H

 a Comparison of First Order and Modal Logics of Time

CB582
 1989 Chapter in Edited Book
 Trehan,R

 Concurrent Logic Languages for the Design and Implementation of Parallel AI Systems

CB586
 1989 Chapter in Edited Book
 Thornton,C

 Analogical Inference as Generalized Inductive Inference

CB598
 1989 Chapter in Edited Book
 van Harmelen,F

 the Limitations of Partial Evaluation

CB599
 1989 Chapter in Edited Book
 van Harmelen,F

 a Classification of MetaLevel Architectures

 Journal Paper

JP339
 1989 Journal Paper
 Brna,P

 Programmed Rockets: An Analysis of Students' Strategies

JP345
 1989 Journal Paper
 Bundy,A; Sterling,L; O'Keefe,R; Silver,B

 Solving Symbolic Equations with Press

JP349
 1989 Journal Paper
 Cawsey,A

 Expanatory Dialogues

JP386
 1989 Journal Paper
 Kwa,J

 BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm

JP391
 1989 Journal Paper
 Logan,B

 Conceptualising Design Knowledge

JP412
 1989 Journal Paper
 Muetzelfeldt,R; Robertson,DS; Uschold,M; Bundy,A

 the Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

JP413
 1989 Journal Paper
 Mellish,CS; Evans,R

 Natural Language Generation from Plans

JP542
 1989 Journal Paper
 Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,B

 the ECO Program Construction System: Ways of Increasing its Representation Power and Their Affects on the User Interface

JP559
 1989 Journal Paper
 Smithers,T; Malcolm,CA

 Programming Robotic Assembly in Terms of Task Achieving Behavioural Modules

JP565
 1989 Journal Paper
 Scott,R; Trehan,R

 Translating from Prolog to Occam 2: a Methodology

JP588
 1989 Journal Paper
 Thornton,C

 a Cross Section of European Research

JP589
 1989 Journal Paper
 Thornton,C

 Learning Mechanism which Construct Neighbourhood Representations

JP595
 1989 Journal Paper
 Thompson,HS

 Linguistics Corpora for the Language Industry: a European Community Public Utility

 Paper in Conference Proceedings

PP316
 1989 Paper in Conference Proceedings
 Ritchie,GD

 On the Generative Power of TwoLevel Morphological Rules

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

 a Parser for FeatureBased Speech Recognition

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

 Tracing Requirements for MultiLayered MetaProgramming

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

PP347
 1989 Paper in Conference Proceedings
 Cai,L

 Spline Smoothing  a Special Case of Diffusion Smoothing

PP350
 1989 Paper in Conference Proceedings
 Cawsey,A

 the Structure of Tutorial Discourse

PP362
 1989 Paper in Conference Proceedings
 Dale,R

 Cooking up Referring Expressions

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

 Null Subjects in Zurich German

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

 Experiments with a Network Based Geometric Reasoning Engine

PP366
 1989 Paper in Conference Proceedings
 Fisher,RB

 Geometric Constraints from Planar Surface Patch Matchings

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

 Abstract Theorem Proving

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

 Theorem Proving with Definitions

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

PP390
 1989 Paper in Conference Proceedings
 Li,S

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

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

 the Role of Prototypes in Creative Design

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

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

PP409
 1989 Paper in Conference Proceedings
 McIlvenny,P

 Communicative Action and Computers: Re Embodying Conversation Analysis

PP411
 1989 Paper in Conference Proceedings
 Madden,P

 the Specialization and Transformation of Constructive Existence Proofs

PP414
 1989 Paper in Conference Proceedings
 Mellish,CS

 Some Chart Based Techniques for Parsing IllFormed Input

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

 An Emerging Paradigm in Robot Architecture

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

 Really Useful Robots

PP544
 1989 Paper in Conference Proceedings
 Ritchie,GD

 On the Generative Power of Two Level Morphological Rules

PP546
 1989 Paper in Conference Proceedings
 Reape,MK

 a Logical Treatment of SemiFree Word Order and Bounded Discontinuous Consituency

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

PP558
 1989 Paper in Conference Proceedings
 Smithers,T

 Intelligent Control in AI Based Design Support Systems

PP578
 1989 Paper in Conference Proceedings
 Trucco,E

 Towards Volumetric Description of Range Images

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

 Experiments with Segment Based Stereo using Dynamic Programming

PP587
 1989 Paper in Conference Proceedings
 Thornton,C

 the Factorial Productivity of MarkRaising Generalisation

PP590
 1989 Paper in Conference Proceedings
 Thompson,HS

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

PP592
 1989 Paper in Conference Proceedings
 Thompson,HS

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

PP594
 1989 Paper in Conference Proceedings
 Thompson,HS

 Evaluation of Phoneme Lattices: Four Methods Compared

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

PP600
 1989 Paper in Conference Proceedings
 Valley,K

 Realising the Potential of Expert System Shells in Education

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

 Modelling Phonological Processes in Continuous Speech Recognition

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

 Representing Music for Analysis and Composition

 PhD Thesis

PT8903
 1989 PhD Thesis
 Cawsey,A

 Generating Explanatory Discourse: a PlanBased Interactive Approach.

PT8907
 1989 PhD Thesis
 van Harmelen,F

 On the Efficiency of Metalevel Inference.

PT8911
 1989 PhD Thesis
 Stevens,A

 An Improved Method for the Mechanisation of Inductive Proof

PT8915
 1989 PhD Thesis
 Trehan,R

 An Investigation of Design and Execution Alternatives for the Committed Choice NonDeterministic Logic Languages

TH8989
 1989 PhD Thesis
 Nakamaru,T

 A Hierarchical Production System (Mphil)

 Research Paper

RP445
 1989 Research Paper
 Bundy,A

 A Science of Reasoning

RP446
 1989 Research Paper
 Bundy,A; Uschold,M

 The Use of Typed Lambada Calculus for Requirements Capture in the Domain of Ecological Modelling

RP447
 1989 Research Paper
 Malcolm,CA; Smithers,T; Hallam,JC

 An Emerging Paradigm in Robot Architecture

RP448
 1989 Research Paper
 Bundy,A; Smaill,AD; Hesketh,J

 Turning Eureka Steps into Calculations in Automatic Program Synthesis

RP449
 1989 Research Paper
 Trucco,E; Groppello,P; Burbello,F

 Experiments with SegmentBased Stereo Using Dynamic Programming

RP450
 1989 Research Paper
 Cai,L

 An Estimate of the Relationship Between Zero Thresholds of Gaussian Curvature and Mean Curvature

RP451
 1989 Research Paper
 Fisher,RB; Orr,M

 Geometric Reasoning in a Parallel Network

RP452
 1989 Research Paper
 Cai,L

 Approximating a Surface Up to Curvature Signs Using the Depth Data Alone

RP453
 1989 Research Paper
 Logan,B; Smithers,T

 The Role of Prototypes in Creative Design

RP456
 1989 Research Paper
 Thornton,C

 The Emergence of Higher Levels of Description

RP462
 1989 Research Paper
 Thompson,HS

 Speech Recognition, Artificial Intelligence and Translation: How Rosy a Future

RP504
 1989 Research Paper
 Wiggins,G; Harris,M; Smaill,AD

 Representing Music for Analysis and Composition

 Teaching Paper

TE11
 1989 Teaching Paper
 Robertson,DS

 An Introduction to Knowledge Representation and Expert Systems (Ai2)

 Technical Paper

TP4
 1989 Technical Paper
 van Harmelen,F

 The Clam Proof Planner

 Working Paper

WP218
 1989 Working Paper
 Nowell,P

 A Trained Dtw Algorithm for Word Spotting in Phoneme Strings

WP219
 1989 Working Paper
 Petropoulakis,L; Malcolm,CA; Howe,J

 Rapt: an Assessment of an OffLine System for Programming Robotic Assemblies

WP220
 1989 Working Paper
 Petropoulakis,L

 Robot Orientation Angles Evaluation and Limitations  the Adept 1
