| 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 Pop-II: An Introduction to Computational Linguistics
|
| AB387
| 1989 Authored Book
| Jackson,P; Reichgelt,H; van Harmelen,F
|
| Logic-Based 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 Link-Based 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 Meta-Level 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 Two-Level Morphological Rules
|
| PP337
| 1989 Paper in Conference Proceedings
| Blokland,R; Thompson,HS
|
| a Parser for Feature-Based Speech Recognition
|
| PP338
| 1989 Paper in Conference Proceedings
| Bowles,A; Wilk,P
|
| Tracing Requirements for Multi-Layered Meta-Programming
|
| 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 3-D 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 Ill-Formed 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 Semi-Free 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 Mark-Raising 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 Plan-Based 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 Non-Deterministic 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 Segment-Based 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 (Ai-2)
|
| 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 Off-Line System for Programming Robotic Assemblies
|
| WP220
| 1989 Working Paper
| Petropoulakis,L
|
| Robot Orientation Angles Evaluation and Limitations - the Adept 1
|
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}