| CB1139
| 1998 Chapter in Edited Book
| Fisher,RB
|
| Surface Tracking Three-Dimensional Datasets Using a Generalised Message-passing Sub-System
|
| CB1207
| 1997 Chapter in Edited Book
| Hallam,B; Hallam,JC; Hayes,GM
|
| A Dynamic Net for Robot Control
|
| CB1180
| 1997 Chapter in Edited Book
| Baron,P; Fisher,RB; Tuson,AL
|
| A Voxel based Approach to Evolutionary Shape Optimisation
|
| CB1162
| 1997 Chapter in Edited Book
| Hallam,B; Hallam,JC; Hayes,GM
|
| A Dynamic Net for Robot Control
|
| CB1140
| 1997 Chapter in Edited Book
| Baron,P; Fisher,RB
|
| A Voxel Based Approach to Evolutionery Shape Optimisation
|
| CB889
| 1996 Chapter in Edited Book
| Fisher,RB; Naidu,D
|
| A Comparison of Algorithms for Subpixel Peak Detection
|
| CB873
| 1996 Chapter in Edited Book
| Bundy,A
|
| Prospects for AI
|
| CB1073
| 1996 Chapter in Edited Book
| Levine,J; Mellish,CS
|
| Corect: Using Natural Language Generation ...
|
| CB1058
| 1996 Chapter in Edited Book
| Bundy,A
|
| Prospects for Artificial Intelligence
|
| CB1022
| 1996 Chapter in Edited Book
| Fisher,RB; Naidu,D
|
| A comparison of Algorithms for Subpixel Peak Detection
|
| CB1020
| 1996 Chapter in Edited Book
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Approximate Chart Generation from Non-Hierarchical Representa$
|
| CB1019
| 1996 Chapter in Edited Book
| Mellish,CS; Reiter,E; Levine,J
|
| NLG Applications in Technical Documentation
|
| CB919
| 1995 Chapter in Edited Book
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-based Reasoning in the Domain of Building Regulations
|
| CB915
| 1995 Chapter in Edited Book
| Funk,P; Robertson,DS
|
| Case-Based Support for the Design of Dynamic System Requirements
|
| CB762
| 1995 Chapter in Edited Book
| Corne,D; Ross,PM; Fang,H
|
| Evolving Timetables
|
| CB754
| 1994 Chapter in Edited Book
| Trucco,E; Fisher,RB
|
| Preserving Shape at Boundaries in Diffusion Smoothing
|
| CB748
| 1994 Chapter in Edited Book
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
| CB740
| 1994 Chapter in Edited Book
| Calder,J
|
| Feature-Value Logics: Some Limits on the Role of Defaults
|
| CB719
| 1994 Chapter in Edited Book
| Hallam,JC
|
| Hybrid Problems Need Hybrid Solutions? Tracking and Controlling Toy Cars
|
| CB714
| 1994 Chapter in Edited Book
| Oberlander,J; Cox,R; gardner,K
|
| Proof Styles and Multi-Modal Reasoning
|
| CB709
| 1994 Chapter in Edited Book
| Gathercole,C; Ross,PM
|
| Dynamic Training Subset Selection for Supervised Learning in Genetic Programming
|
| CB708
| 1994 Chapter in Edited Book
| Ross,PM; Corne,D; Fang,H
|
| Improving Evolutionary Timetabling and Directed Mutation with Delta Evaluation
|
| CB707
| 1994 Chapter in Edited Book
| Corne,D; Ross,PM; Fang,H
|
| Fast Practical Evolutionary Timetabling
|
| CB702
| 1994 Chapter in Edited Book
| Ritchie,GD
|
| Learning from AM
|
| CB636
| 1994 Chapter in Edited Book
| Mellish,CS
|
|
|
| CB203
| 1994 Chapter in Edited Book
| Trucco,E; Fisher,RB
|
| Preserving Shape at Boundaries in Diffusion Smoothing
|
| CB187
| 1994 Chapter in Edited Book
| Walsh,T
|
| Creative Proof Planning
|
| CB680
| 1993 Chapter in Edited Book
| Trucco,E; Wallace,A
|
| Using Viewer-Centred Representations in Machine Vision
|
| CB675
| 1993 Chapter in Edited Book
| Levine,J
|
| Combining Plan-Based and Feature-Based Algorithms for the Generation of Cooperative Responses
|
| CB618
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| On the Relations Between Incidence Calculus and AIMS
|
| CB617
| 1993 Chapter in Edited Book
| Lui,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
| CB205
| 1993 Chapter in Edited Book
| Fisher,RB; Trucco,E; Brown,MA; Hume,A
|
| MIMD and SIMD Parallel Range Data Segmentation
|
| CB179
| 1993 Chapter in Edited Book
| Thompson,HS
|
| Parallel Parsers for Context Free Grammars - Two Actual Implementations Compared
|
| CB178
| 1993 Chapter in Edited Book
| Thompson,HS
|
| Automatic Evaluation of Translation Quality: Outline of Methodology and Report on Pilot Experiment
|
| CB303
| 1992 Chapter in Edited Book
| Smaill,AD
|
| Constructive Logic and Computation
|
| CB238
| 1992 Chapter in Edited Book
| Bundy,A
|
| Incidence Calculus
|
| CB234
| 1992 Chapter in Edited Book
| Bundy,A
|
| Tutorial Notes: Reasoning about Logic Programs
|
| CB216
| 1992 Chapter in Edited Book
| Mellish,CS
|
| Term Encodable Description Systems
|
| CB180
| 1992 Chapter in Edited Book
| Trucco,E
|
| from Slice Data to Suggestive Parts
|
| CB166
| 1992 Chapter in Edited Book
| Ritchie,GD
|
| Learning from AM
|
| CB161
| 1992 Chapter in Edited Book
| Reiter,E
|
| Lexical Choice and Lexical Preferences
|
| CB131
| 1992 Chapter in Edited Book
| Chongstitvatana,P; Conkie,A
|
| Applications, Behaviour-Based Robotic Assembly Using Vision
|
| CB81
| 1991 Chapter in Edited Book
| Orr,M; Fisher,RB
|
| Interval-Based Geometric Reasoning in a Parallel Network
|
| CB6
| 1991 Chapter in Edited Book
| Malcolm,CA; Smithers,T
|
| Symbol Grounding Via a Hybrid Architecture in an Autonomous Assembly System
|
| CB5
| 1991 Chapter in Edited Book
| Fisher,RB
|
| the Design of the IMAGINE II System
|
| CB425
| 1991 Chapter in Edited Book
| Basin,D; Kaufmann,M
|
| the Boyer-Moore Prover and NUPRL: An Experimental Comparison
|
| CB4
| 1991 Chapter in Edited Book
| Fisher,RB
|
| SMS: a Suggestive Modeling System for Object Recognition
|
| CB3
| 1991 Chapter in Edited Book
| Bundy,A
|
| the Use of Proof Plans for Normalization
|
| CB2
| 1991 Chapter in Edited Book
| Bundy,A
|
| a Science of Reasoning
|
| CB102
| 1991 Chapter in Edited Book
| Thompson,HS
|
| Natural Language Processing: An Overview
|
| CB101
| 1991 Chapter in Edited Book
| Thompson,HS
|
| Chart Parsing for Loosely Coupled Parallel Systems
|
| CB1
| 1991 Chapter in Edited Book
| Aylett,J; Fisher,RB; Fothergill,A
|
| WPFM: the Workspace Prediction and Fast Matching System
|
| CB574
| 1990 Chapter in Edited Book
| Thompson,HS; Altmann,G
|
| Modularity Compromised - Selecting Partial Hypotheses
|
| CB571
| 1990 Chapter in Edited Book
| Thompson,HS
|
| Speech Recognition,Artificial Intelligence and Translation: How Rosy a Future?
|
| CB555
| 1990 Chapter in Edited Book
| Seligman,J
|
| Perspectives in Situation Theory
|
| CB540
| 1990 Chapter in Edited Book
| Raudaskoski,P
|
| Repair Work in Human-Computer Interaction
|
| CB538
| 1990 Chapter in Edited Book
| Reape,MK; Engdahl,E
|
| Parametric Variation as a Research Strategy
|
| CB536
| 1990 Chapter in Edited Book
| Ritchie,GD; Hanna,F
|
| AM: a Case Study in AI Methodology
|
| CB530
| 1990 Chapter in Edited Book
| Ohlsson,S; Bundy,A
|
| the Nature of AI Principles
|
| CB522
| 1990 Chapter in Edited Book
| Mendelsohn,P; Green,T; Brna,P
|
| Programming Languages in Education: the Search for an Easy Start
|
| CB521
| 1990 Chapter in Edited Book
| Mellish,CS
|
| Generating Natural Language Explanations from Plans
|
| CB509
| 1990 Chapter in Edited Book
| Hallam,JC
|
| Blackboard Architectures and Systems
|
| CB494
| 1990 Chapter in Edited Book
| Engdahl,E
|
| Argument Roles and Anaphora
|
| CB461
| 1990 Chapter in Edited Book
| Cooper,RA
|
| Information in the Early Stages of Language Acquisition
|
| CB456
| 1990 Chapter in Edited Book
| Cawsey,A
|
| Generating Explanatory Discourse
|
| CB451
| 1990 Chapter in Edited Book
| Bundy,A
|
| What Kind of Field is Artificial Intelligence
|
| CB440
| 1990 Chapter in Edited Book
| Bundy,A; Smaill,AD; Wiggins,G
|
| the Synthesis of Logic Programs from Inductive Proofs
|
| CB599
| 1989 Chapter in Edited Book
| van Harmelen,F
|
| a Classification of Meta-Level Architectures
|
| CB598
| 1989 Chapter in Edited Book
| van Harmelen,F
|
| the Limitations of Partial Evaluation
|
| CB586
| 1989 Chapter in Edited Book
| Thornton,C
|
| Analogical Inference as Generalized Inductive Inference
|
| CB582
| 1989 Chapter in Edited Book
| Trehan,R
|
| Concurrent Logic Languages for the Design and Implementation of Parallel AI Systems
|
| CB545
| 1989 Chapter in Edited Book
| Reichgelt,H
|
| a Comparison of First Order and Modal Logics of Time
|
| 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
|
| CB389
| 1989 Chapter in Edited Book
| Jackson,P; Reichgelt,H
|
| a Modal Proof Method for Doxastic Reasoning
|
| CB388
| 1989 Chapter in Edited Book
| Jackson,P; Reichgelt,A
|
| a General Proof Method for Modal Predicate Logic
|
| CB385
| 1989 Chapter in Edited Book
| Hallam,JC
|
| Artificial Intelligence and Signal Understanding
|
| CB375
| 1989 Chapter in Edited Book
| Giunchiglia,F; Smaill,AD
|
| Reflection in Constructive and Non Constructive Automated Reasoning
|
| CB369
| 1989 Chapter in Edited Book
| Fleming,A
|
| Geometric Relationships between Toleranced Features
|
| CB368
| 1989 Chapter in Edited Book
| Fisher,RB; Orr,M
|
| Geometric Consraints from 2.5D Sketch Data and Object Models
|
| CB363
| 1989 Chapter in Edited Book
| Elfrink,B; Reichgelt,H
|
| Assertion Time Inferance in Link-Based Systems
|
| CB361
| 1989 Chapter in Edited Book
| Dale,R
|
| Computer Based Editorial Aids
|
| CB352
| 1989 Chapter in Edited Book
| Corlett,R; Reichgelt,H; Davies,N; van Harmelen,F; Khan,R
|
| the Architecture of Socrates
|
| CB348
| 1989 Chapter in Edited Book
| Cai,L
|
| Diffusion Smoothing: An Approach to Sculptured Surfaces
|
![[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}