| Authored Book
|
| AB90
| 1991 Authored Book
| Robertson,DS; Bundy,A; Muetzelfeldt,R; Haggith,MC; Uschold,M
|
| Eco-Logic: Logic-Based Approaches to Ecological Modelling
|
| Chapter in Edited Book
|
| CB1
| 1991 Chapter in Edited Book
| Aylett,J; Fisher,RB; Fothergill,A
|
| WPFM: the Workspace Prediction and Fast Matching System
|
| CB101
| 1991 Chapter in Edited Book
| Thompson,HS
|
| Chart Parsing for Loosely Coupled Parallel Systems
|
| CB102
| 1991 Chapter in Edited Book
| Thompson,HS
|
| Natural Language Processing: An Overview
|
| CB2
| 1991 Chapter in Edited Book
| Bundy,A
|
| a Science of Reasoning
|
| CB3
| 1991 Chapter in Edited Book
| Bundy,A
|
| the Use of Proof Plans for Normalization
|
| CB4
| 1991 Chapter in Edited Book
| Fisher,RB
|
| SMS: a Suggestive Modeling System for Object Recognition
|
| CB425
| 1991 Chapter in Edited Book
| Basin,D; Kaufmann,M
|
| the Boyer-Moore Prover and NUPRL: An Experimental Comparison
|
| CB5
| 1991 Chapter in Edited Book
| Fisher,RB
|
| the Design of the IMAGINE II System
|
| CB6
| 1991 Chapter in Edited Book
| Malcolm,CA; Smithers,T
|
| Symbol Grounding Via a Hybrid Architecture in an Autonomous Assembly System
|
| CB81
| 1991 Chapter in Edited Book
| Orr,M; Fisher,RB
|
| Interval-Based Geometric Reasoning in a Parallel Network
|
| Discussion Paper
|
| DP102
| 1991 Discussion Paper
| Baker,S
|
| Notes on the Constructive Omega-Rule and a New Method of Generalisation
|
| DP103
| 1991 Discussion Paper
| Hamazaki,T
|
| A Framework for Realizing High Quality Production Schedules: a Knowledge-Based Approach Thesis Proposal
|
| DP104
| 1991 Discussion Paper
| Neto,R
|
| The Use of Proof Planning in Normalisation - Thesis Proposal
|
| DP105
| 1991 Discussion Paper
| Wu,X
|
| Extracting Knowledge from Data Bases - Thesis Proposal
|
| DP106
| 1991 Discussion Paper
| Vargas-Vera,M
|
| A Techniques Editor for Prolog - Thesis Proposal
|
| DP107
| 1991 Discussion Paper
| Glasbey,SR
|
| Towards a Treatment of Tens and Aspect in Situation Semantics - Thesis Proposal
|
| DP108
| 1991 Discussion Paper
| King,K
|
| A Multi-Model Knowledge Acquisition Toolkit for Medical Diagnosis in Developing Countries - Thesis Proposal
|
| DP109
| 1991 Discussion Paper
| Guest,E
|
| Registration and Warping of Serial Sections - Thesis Proposal
|
| DP110
| 1991 Discussion Paper
| Carrera-Sanchez,R
|
| Reverse Engineering of Computer Programs (Recp) - Thesis Proposal
|
| DP111
| 1991 Discussion Paper
| Rock,S
|
| Understanding Repitition in Natural Language Instructions - Thesis Proposal
|
| DP112
| 1991 Discussion Paper
| Kraan,I
|
| Automating the Synthesis of Logic Programs - Thesis Proposal
|
| Edited Book
|
| EB84
| 1991 Edited Book
| Pain,HG; Brna,P; du Boulay,B
|
| Teaching, Learning and Using Prolog
|
| EB87
| 1991 Edited Book
| Ritchie,GD; Russell,G; Black,A; Pulman,S
|
| Computational Morphology
|
| Journal Paper
|
| JP104
| 1991 Journal Paper
| Trucco,E
|
| Inferring Convex Subparts from Slice Data
|
| JP23
| 1991 Journal Paper
| Brna,P
|
| Promoting Creative Confrontations
|
| JP24
| 1991 Journal Paper
| Brna,P; Pain,HG; du Boulay,B
|
| Teaching, Learning and Using Prolog: Supporting the Programmer
|
| JP25
| 1991 Journal Paper
| Brna,P; Brayshaw,M; Bundy,A; Dodd,T; Elsom-Cook,M; Fung,P
|
| An Overview of Prolog Debugging Tools
|
| JP26
| 1991 Journal Paper
| Smith,B; van Someren,M; Brna,P; Bundy,A; Dodd,T; Eisenstadt,M; Looi,C; Pain,HG; Robertson,DS
|
| Prolog Programming Techniques
|
| JP27
| 1991 Journal Paper
| Bundy,A; Grosse,G; Brna,P
|
| a Recursive Techniques Editor for Prolog
|
| JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
| JP29
| 1991 Journal Paper
| Dale,R; Haddock,N
|
| Content Determination in the Generation of Referring Expressions
|
| JP30
| 1991 Journal Paper
| Fisher,RB; Orr,M
|
| Geometric Reasoning in a Parallel Network
|
| JP31
| 1991 Journal Paper
| Hallam,JC
|
| Playing with Toy Cars: An Experiment in Real-Time Control
|
| JP32
| 1991 Journal Paper
| Looi,C
|
| Automatic Debugging of Prolog Programs in a Prolog Intelligent Tutoring System
|
| JP33
| 1991 Journal Paper
| Mellish,CS
|
| the Description Identification Problem
|
| JP34
| 1991 Journal Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration
|
| JP89
| 1991 Journal Paper
| Robertson,DS
|
| Multi-Level Cooperative Dialogue in Intelligent Front Ends
|
| Paper in Conference Proceedings
|
| PP10
| 1991 Paper in Conference Proceedings
| Cawsey,A
|
| Generating Interactive Explanations
|
| PP100
| 1991 Paper in Conference Proceedings
| Thompson,HS
|
| Generation and Translation - Towards a Formalism-Independent Characterisation
|
| PP103
| 1991 Paper in Conference Proceedings
| Thompson,HS; Dixon,M; Lamping,J
|
| Compose-Reduce Parsing
|
| PP109
| 1991 Paper in Conference Proceedings
| Whitelock,P
|
| What Sort of Trees do we Speak? a Computational Model of Syntax-Prosody Interface in Tokyo Japanese Association for Computational Linguistic
|
| PP11
| 1991 Paper in Conference Proceedings
| Cawsey,A
|
| Using Plausible Inference Rules in Description Planning
|
| PP110
| 1991 Paper in Conference Proceedings
| Whitelock,P
|
| Shake-and-Bake Translation
|
| PP112
| 1991 Paper in Conference Proceedings
| Smithers,T; Tang,M
|
| Towards AI-Based Design
|
| PP1120
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainity: Intervals versus Probability
|
| PP1145
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainty: Intervals versus Probability
|
| PP12
| 1991 Paper in Conference Proceedings
| Chongstitvatana,P; Conkie,A
|
| Behaviour Based Assembly Experiments Using Vision Sensing
|
| PP13
| 1991 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Chung,P
|
| Automated Reasoning about an Uncertain Domain
|
| PP14
| 1991 Paper in Conference Proceedings
| Donnett,J; McGonigle,B
|
| Evolving Speed Control in Mobile Robots: from Blindness to Kinetic Vision
|
| PP15
| 1991 Paper in Conference Proceedings
| Donnett,J; Smithers,T
|
| Lego Vehicles: a Technology for Studying Intelligent Systems
|
| PP16
| 1991 Paper in Conference Proceedings
| Fisher,RB
|
| Recognition with Second-Order Topographic Surface Features
|
| PP17
| 1991 Paper in Conference Proceedings
| Harris,M
|
| Attracting Similar Shapes Towards Each Other
|
| PP18
| 1991 Paper in Conference Proceedings
| Logan,B; Millington,K; Smithers,T
|
| Being Economical with the Truth: Assumption-Based Context Management in the Edinburgh Designer System
|
| PP19
| 1991 Paper in Conference Proceedings
| Black,A; van de Plassche,J; Williams,B
|
| Analysis of Unknown Words through Morphological Decomposition
|
| PP20
| 1991 Paper in Conference Proceedings
| Dale,R; Haddock,N
|
| Generating Referring Expressions Involving Relations
|
| PP21
| 1991 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
| PP22
| 1991 Paper in Conference Proceedings
| Lowe,H
|
| the Use of Theorem Proving Techniques in Expert Systems for Configuration
|
| PP7
| 1991 Paper in Conference Proceedings
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Lof's Type Theory and Applications
|
| PP76
| 1991 Paper in Conference Proceedings
| Naidu,D; Fisher,RB
|
| a Comparative Analysis of Algorithms for Determining the Peak Position of a Stripe to Sub-Pixel Accuracy
|
| PP77
| 1991 Paper in Conference Proceedings
| Nehmzow,U; Smithers,T
|
| Mapbuilding Using Self-Organising Networks in "Really Useful Robots"
|
| PP78
| 1991 Paper in Conference Proceedings
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Location Recognition in a Mobile Robot Using Self-Organising Feature Maps.
|
| PP8
| 1991 Paper in Conference Proceedings
| Basin,D; Traverso,P; Giunchiglia,F
|
| Automatic Meta-Theory Creation and System Extension
|
| PP82
| 1991 Paper in Conference Proceedings
| Orr,M; Fisher,RB; Hallam,JC
|
| Uncertain Reasoning: Intervals Versus Probability
|
| PP86
| 1991 Paper in Conference Proceedings
| Ritchie,GD
|
| Learning from AM
|
| PP9
| 1991 Paper in Conference Proceedings
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation
|
| PP92
| 1991 Paper in Conference Proceedings
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
| PP93
| 1991 Paper in Conference Proceedings
| Thompson,HS
|
| Structural Non-Correspondence in Translation
|
| PP96
| 1991 Paper in Conference Proceedings
| Smithers,T; Tang,M; Tomes,N
|
| the Castlemaine Project: Development of an AI-Based Design Support System
|
| PP97
| 1991 Paper in Conference Proceedings
| Tang,M; Smithers,T
|
| Object-Oriented Stimulation of Behaviour in Design Support
|
| PP99
| 1991 Paper in Conference Proceedings
| Thompson,HS; Sadler,L
|
| Structural Non-Correspondence in Translation
|
| PhD Thesis
|
| PT9103
| 1991 PhD Thesis
| Bowles,A
|
| Detecting Prolog Programming Techniques Using Abstract Interpretation
|
| PT9107
| 1991 PhD Thesis
| Buckingham,J
|
| Delicate Nets, Faint Recollections: a Study of Partially Connected Associative Network Memories.
|
| PT9111
| 1991 PhD Thesis
| Hesketh,J
|
| Using Middle-Out Reasoning to Guide Inductive Theorem Proving
|
| PT9115
| 1991 PhD Thesis
| Hughes,H
|
| Recognition of Three Dimensional Objects Using Deformable Models
|
| PT9119
| 1991 PhD Thesis
| Madden,P
|
| Automated Program Transformation Through Proof Transformation
|
| PT9123
| 1991 PhD Thesis
| Roberts,G
|
| Classifier Systems for Situated Automomous Learning.
|
| Research Paper
|
| RP496
| 1991 Research Paper
| Ritchie,GD
|
| Languages Generated by Two-Level Morphological Rules
|
| RP517
| 1991 Research Paper
| Correa da Silva,FS; Bundy,A
|
| A Rational Reconstruction of Incidence Calculus
|
| RP518
| 1991 Research Paper
| Barnett,R; Basin,D; Hesketh,J
|
| A Recursion Planning Analysis of Inductive Completion
|
| RP520
| 1991 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Location Recognition in a Mobile Robot Using Self-Organising Feature Maps
|
| RP521
| 1991 Research Paper
| Carletta,J
|
| A State-Based Representation for Belief Modelling in Dialogue
|
| RP522
| 1991 Research Paper
| Ritchie,GD
|
| Learning from am
|
| RP523
| 1991 Research Paper
| Robertson,DS
|
| A Simple Prolog Techniques Editor for Novice Users
|
| RP524
| 1991 Research Paper
| Carletta,J
|
| Recovering from Plan Failure Using a Layered Architecture
|
| RP525
| 1991 Research Paper
| Basin,D; Kaufmann,M
|
| The Boyeer-Moore Prover and Nuprl: an Experimental Comparison
|
| RP526
| 1991 Research Paper
| Hallam,JC
|
| Autonomous Robots: from Dream to Reality
|
| RP527
| 1991 Research Paper
| Hallam,JC
|
| Plaing with Toy Cars: an Experiment in Real-Time Control
|
| RP528
| 1991 Research Paper
| Hodgkin,E; Buck,P; Lloyd,G; Poulter,K; Smithers,T; Tang,M; Tomes,N; Floyd,C
|
| The Castlemaine Project: Development of an Ai-Based Design Support System
|
| RP529
| 1991 Research Paper
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation
|
| RP530
| 1991 Research Paper
| Brna,P
|
| Teaching Prolog Techniques
|
| RP531
| 1991 Research Paper
| Ross,B
|
| Semantics-Based Partial Evaluation of Prolog Programs
|
| RP532
| 1991 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Being Economical with the Truth: Assumption-Based Context Management in the Edinburgh Designer System
|
| RP533
| 1991 Research Paper
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
| RP534
| 1991 Research Paper
| Uschold,M
|
| The Use of Domain Information for Comprehension and Construction of Simulation Models
|
| RP535
| 1991 Research Paper
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Loef'S Type Theory, and Applications
|
| RP536
| 1991 Research Paper
| Lowe,H
|
| The Use of Theorem Proving Techniques in Expert Systems for Configuration
|
| RP537
| 1991 Research Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration Problems
|
| RP538
| 1991 Research Paper
| Smithers,T; Tang,M
|
| Towards Ai-Based Design
|
| RP539
| 1991 Research Paper
| Tang,M; Smithers,T
|
| An Object-Oriented Simulation of Hydroelectric Power Systems
|
| RP540
| 1991 Research Paper
| Black,A; van de Plassche,J; Williams,B
|
| Analysis of Unknown Words Through Morphological Decomposition
|
| RP541
| 1991 Research Paper
| Fisher,RB
|
| Recognition with Second-Order Topographic Surface Features
|
| RP542
| 1991 Research Paper
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainty: Intervals Versus Probabilities
|
| RP543
| 1991 Research Paper
| Basin,D; Giunchiglia,F; Traverso,P
|
| Automating Meta-Theory Creation and System Extension
|
| RP544
| 1991 Research Paper
| Matthews,S; Smaill,AD; Basin,D
|
| Experience with Fso as a Framework Theory
|
| RP545
| 1991 Research Paper
| Brna,P; Howe,J
|
| Automated Diagnosis of Misconceptions About Electricity: what are the Prospects
|
| RP546
| 1991 Research Paper
| Correa da Silva,FS
|
| Automated Reasoning About an Uncertain Domain
|
| RP547
| 1991 Research Paper
| Reiter,E
|
| A New Model of Lexical Choice for Nouns
|
| RP548
| 1991 Research Paper
| Reiter,E; Levine,J; Mellish,CS
|
| Tailoring Plans to Users with Different Levels of Expertise
|
| RP550
| 1991 Research Paper
| Trucco,E
|
| On Shape-Preserving Boundary Conditions for Diffusion Smoothing
|
| RP551
| 1991 Research Paper
| Hallam,B; Hallam,JC
|
| Tactile Sensing with a Steerable Whisker
|
| RP552
| 1991 Research Paper
| Nehmzow,U; Smithers,T
|
| Using Motor Actions for Location Recognition
|
| RP553
| 1991 Research Paper
| Naidu,D; Fisher,RB
|
| A Comparison of Algorithms for Sub-Pixel Peak Detection
|
| RP554
| 1991 Research Paper
| Fisher,RB
|
| Representation, Extraction and Recognition with Second-Order Topographic Surface Features
|
| RP555
| 1991 Research Paper
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
| RP556
| 1991 Research Paper
| Basin,D; Walsh,T
|
| Difference Matching
|
| RP557
| 1991 Research Paper
| Lowe,H
|
| Synthesizing Hardware: Configuration Via Proof
|
| RP558
| 1991 Research Paper
| Mellish,CS
|
| Using Specialisation to Reconstruct Two Mode Inference Systems
|
| RP559
| 1991 Research Paper
| Phillips,C
|
| Well-Founded Induction and Program Synthesis Using Proof Plans
|
| RP560
| 1991 Research Paper
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule Within Automated Deduction
|
| RP561
| 1991 Research Paper
| Levine,J; Cawsey,A; Mellish,CS; Poynter,L; Reiter,E; Tyson,P; Walker,J
|
| Idas: Combining Hypertext and Natural Language Generation
|
| RP562
| 1991 Research Paper
| Harris,M; Smaill,AD; Wiggins,G
|
| Representing Music Symbolically
|
| RP563
| 1991 Research Paper
| Walsh,T; Nunes,A; Bundy,A
|
| The Use of Proof Plans to Sum Series
|
| RP564
| 1991 Research Paper
| Ireland,A
|
| On Exploiting the Structure of Martin-Loef'S Theory of Types
|
| RP565
| 1991 Research Paper
| Floyd,C; Hodgkin,E; Smithers,T; Tang,M; Tomes,N; Buck,P; Clarke,B; Lloyd,G; Poulter,K
|
| Development of a Knowledge Based Design Support System
|
| RP566
| 1991 Research Paper
| Glasbey,SR
|
| Distinguishing Between Events and Times: Some Evidence from the Semantics of "Then"
|
| RP567
| 1991 Research Paper
| Bundy,A; Stevens,A; van Harmelen,F
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| RP568
| 1991 Research Paper
| Wu,X
|
| Ts: a Test-Plit Algorithm for Inductive Learning
|
| RP570
| 1991 Research Paper
| Tang,M; Smithers,T
|
| Object-Oriented Simulation of Behaviour in Design Support
|
| RP571
| 1991 Research Paper
| Smithers,T; Tang,M; Tomes,N
|
| The Maintenance of Design History in Ai-Based Design
|
| RP576
| 1991 Research Paper
| Brna,P; Caiger,A
|
| The Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
|
| Review Article
|
| RA35
| 1991 Review Article
| Howe,J
|
| Knowledge Based Systems and Artificial Intelligence: Emerging Technology
|
| Technical Paper
|
| TP33
| 1991 Technical Paper
| Hallam,JC
|
| Cars: an Experminet in Real-Time Intelligent Control
|
| TP6
| 1991 Technical Paper
| Forster,P
|
| A Transputer-Based Autonomous Mobile Robot
|
| Working Paper
|
| WP246
| 1991 Working Paper
| Brna,P
|
| A Framework for Describing Misconceptions in Relation to Building Simple Electrical Circuits
|
| WP247
| 1991 Working Paper
| Brna,P
|
| The Structural Description of Electrical Objects
|
| WP248
| 1991 Working Paper
| Brna,P
|
| Recognising Objects in Electrical Circuits
|
![[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}