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
|