| Authored Book
|
AB423
| 1990 Authored Book
| Balagurusany,E; Howe,J
|
| Expert Systems for Management and Engineering
|
AB435
| 1990 Authored Book
| Brna,P; Pain,HG; du Boulay,B
|
| Teaching, Learning and Using Prolog
|
AB531
| 1990 Authored Book
| Owen,S
|
| Analogy for Automated Reasoning
|
| Chapter in Edited Book
|
CB440
| 1990 Chapter in Edited Book
| Bundy,A; Smaill,AD; Wiggins,G
|
| the Synthesis of Logic Programs from Inductive Proofs
|
CB451
| 1990 Chapter in Edited Book
| Bundy,A
|
| What Kind of Field is Artificial Intelligence
|
CB456
| 1990 Chapter in Edited Book
| Cawsey,A
|
| Generating Explanatory Discourse
|
CB461
| 1990 Chapter in Edited Book
| Cooper,RA
|
| Information in the Early Stages of Language Acquisition
|
CB494
| 1990 Chapter in Edited Book
| Engdahl,E
|
| Argument Roles and Anaphora
|
CB509
| 1990 Chapter in Edited Book
| Hallam,JC
|
| Blackboard Architectures and Systems
|
CB521
| 1990 Chapter in Edited Book
| Mellish,CS
|
| Generating Natural Language Explanations from Plans
|
CB522
| 1990 Chapter in Edited Book
| Mendelsohn,P; Green,T; Brna,P
|
| Programming Languages in Education: the Search for an Easy Start
|
CB530
| 1990 Chapter in Edited Book
| Ohlsson,S; Bundy,A
|
| the Nature of AI Principles
|
CB536
| 1990 Chapter in Edited Book
| Ritchie,GD; Hanna,F
|
| AM: a Case Study in AI Methodology
|
CB538
| 1990 Chapter in Edited Book
| Reape,MK; Engdahl,E
|
| Parametric Variation as a Research Strategy
|
CB540
| 1990 Chapter in Edited Book
| Raudaskoski,P
|
| Repair Work in Human-Computer Interaction
|
CB555
| 1990 Chapter in Edited Book
| Seligman,J
|
| Perspectives in Situation Theory
|
CB571
| 1990 Chapter in Edited Book
| Thompson,HS
|
| Speech Recognition,Artificial Intelligence and Translation: How Rosy a Future?
|
CB574
| 1990 Chapter in Edited Book
| Thompson,HS; Altmann,G
|
| Modularity Compromised - Selecting Partial Hypotheses
|
| Discussion Paper
|
DP100
| 1990 Discussion Paper
| Cunliffe,D
|
| Uncertain Inference in an Expert Vision System: Thesis Proposal
|
DP101
| 1990 Discussion Paper
| Webb,B
|
| Computer Simulation in the Study of Intelligent Behaviour
|
| Edited Book
|
EB453
| 1990 Edited Book
| Bundy,A
|
| Catalogue of Artificial Intelligence Techniques (3rd Revised Edition)
|
EB462
| 1990 Edited Book
| Cooper,RA; Mukai,K; Perry,J
|
| Situation Theory and its Applications,Vol. 1
|
EB487
| 1990 Edited Book
| Dale,R; Mellish,CS; Zock,M
|
| Current Research in Natural Language Generation
|
| Journal Paper
|
JP430
| 1990 Journal Paper
| Brna,P
|
| a Computer Based Methodology to Aid in Confronting Science Misconceptions
|
JP432
| 1990 Journal Paper
| Brna,P; Pain,HG; du Boulay,B
|
| Teaching Learning and Using Prolog: Understanding Prolog
|
JP436
| 1990 Journal Paper
| Brna,P
|
| a Methodology for Confronting Science Misconceptions
|
JP486
| 1990 Journal Paper
| Dale,R
|
| a Rule-Based Approach to Computer-Assisted Copy Editing
|
JP499
| 1990 Journal Paper
| Fisher,RB
|
| Geometric Constraints from Planar Surface Patch Matchings
|
JP503
| 1990 Journal Paper
| Guinchiglia,F; Walsh,T
|
| Abstraction in AI
|
JP515
| 1990 Journal Paper
| King,K; Beck,H
|
| Medical AI Systems as Appropriate Technology for Developing Countries
|
JP520
| 1990 Journal Paper
| Moffat,D; Ritchie,GD
|
| Modal Queries about Partially-Ordered Plans
|
JP523
| 1990 Journal Paper
| Malcolm,CA; Smithers,T
|
| Symbol Grounding via a Hybrid Architecture
|
JP548
| 1990 Journal Paper
| Smithers,T
|
| the Pretenders New Clothes
|
JP549
| 1990 Journal Paper
| Smithers,T; Troxell,W
|
| Design is Intelligent Bahaviour, but What's the Formalism?
|
JP550
| 1990 Journal Paper
| Smithers,T; Conkie,A; Doheny,J; Logan,B; Millington,K; Tang,M
|
| Design as Intelligent Behaviour: An AI in Design Research Program
|
JP577
| 1990 Journal Paper
| Thompson,HS
|
| Best-First Enumeration of Paths through a Lattice - An Active Chart Parsing Solution
|
JP584
| 1990 Journal Paper
| Trehan,R; Wilk,P
|
| Issues of Non-Determinism in Prolog and the Commited Choice Non-Deterministic Logic Languages
|
| Paper in Conference Proceedings
|
PP1109
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
PP317
| 1990 Paper in Conference Proceedings
| Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligence Planning System using English Sentences
|
PP424
| 1990 Paper in Conference Proceedings
| Basin,D
|
| Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete
|
PP427
| 1990 Paper in Conference Proceedings
| Bernaras,A; Smithers,T
|
| On the Application of Software Engineering Techniques in Artificial Intelligence Research
|
PP429
| 1990 Paper in Conference Proceedings
| Blokland,R; Thompson,HS; Cutting,D
|
| Ibrow: a System for Constructing Browsers in LISP
|
PP438
| 1990 Paper in Conference Proceedings
| Brown,MA; Fisher,RB
|
| a Distributed Blackboard System for Vision Applications
|
PP439
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
PP441
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; van Harmelen,F
|
| Extensions to the Rippling-out Tactic for Guiding Inductive Proofs
|
PP443
| 1990 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster Clam System
|
PP452
| 1990 Paper in Conference Proceedings
| Bundy,A
|
| the Use of Proof Plans in Formal Methods
|
PP454
| 1990 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
PP455
| 1990 Paper in Conference Proceedings
| Carletta,J
|
| Modelling Variations in Goal-Directed Dialogue
|
PP458
| 1990 Paper in Conference Proceedings
| Cawsey,A; Raudaskoski,P
|
| Repair Work in Human-Computer Dialogue
|
PP460
| 1990 Paper in Conference Proceedings
| Conkie,A; Chongstitvatana,P
|
| An Uncalibrated Stereo Visual Servo System
|
PP463
| 1990 Paper in Conference Proceedings
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Dempster-Shafer Theory of Evidence
|
PP464
| 1990 Paper in Conference Proceedings
| Crabtree,B; Crouch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligent Planning System using English Sentences
|
PP475
| 1990 Paper in Conference Proceedings
| Donnett,J; Smithers,T
|
| Neuronal Group Selection Theory: a Grounding in Robotics
|
PP488
| 1990 Paper in Conference Proceedings
| Desimone,R; Hollidge,T
|
| Case Studies in Fleet Operation Modelling: An Application of AI Scheduling Techniques
|
PP493
| 1990 Paper in Conference Proceedings
| Deacon,G
|
| Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships
|
PP496
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
PP497
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Determining Back Facing Curved Model Surfaces by Analysis at the Boundary
|
PP498
| 1990 Paper in Conference Proceedings
| Fisher,RB
|
| Extracting Second-Order Topographic Surface Features from Range Data
|
PP504
| 1990 Paper in Conference Proceedings
| Guinchiglia,F; Walsh,T
|
| the Use of Abstraction in Automatic Inference
|
PP512
| 1990 Paper in Conference Proceedings
| Hayes,GM; Fisher,RB
|
| Evaluation of a Real Time Kinetic Depth System
|
PP519
| 1990 Paper in Conference Proceedings
| Lewin,I
|
| a Quantifier Scoping Algorithm Without a Free Variable Constraint
|
PP526
| 1990 Paper in Conference Proceedings
| Nehmzow,U; Hallam,JC; Smithers,T
|
| Adaptive Behaviour in Really Useful Robot Project
|
PP553
| 1990 Paper in Conference Proceedings
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
| PhD Thesis
|
PT9003
| 1990 PhD Thesis
| Cai,L
|
| Scale-Based Surface Understanding Using Diffusion Smoothing
|
PT9007
| 1990 PhD Thesis
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation.
|
PT9011
| 1990 PhD Thesis
| Cranefield,S
|
| Planning for a Behaviour Based Robotic Assembly: a Logical Framework.
|
PT9015
| 1990 PhD Thesis
| Lewis,JP
|
| A User Modelling Approach to Computer Based Advice Generation.
|
PT9019
| 1990 PhD Thesis
| Uschold,M
|
| The Use of Typed Lambda Calculus for Comprehension and Construction for Simulation Models in the Domain of Ecology
|
PT9023
| 1990 PhD Thesis
| Valley,K
|
| The Use of Expert System Shells in Education: an Explanation-Based Approach
|
PT9027
| 1990 PhD Thesis
| Walsh,T
|
| A Theory of Abstraction
|
PT9031
| 1990 PhD Thesis
| Wiggins,G
|
| An Adaptable Formalism for the Computational Analysis of English Noun Phrase Reference
|
| Research Paper
|
RP454
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| The Use of Abstraction in Automatic Inference
|
RP455
| 1990 Research Paper
| Wiggins,G
|
| The Improvement of Prolog Program Efficiency by Compiling Control: a Proof-Theoretic View
|
RP457
| 1990 Research Paper
| Crabtree,B; Courch,R; Moffat,D; Pirie,N; Pulman,S; Ritchie,GD; Tate,AB
|
| Interacting with an Intelligent Planning System Using English Sentences
|
RP458
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Behaviour-Based Control of a Two-Link Ballistic Arm
|
RP459
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Smaill,AD
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
RP460
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstract Theorem Proving: Mapping Back
|
RP461
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Neuronal Group Selection Theory: a in Robotics
|
RP463
| 1990 Research Paper
| Thornton,C
|
| The Complexity of Constructive Induction
|
RP464
| 1990 Research Paper
| Thornton,C
|
| Why Concept Learning is a Good Idea
|
RP465
| 1990 Research Paper
| Thornton,C
|
| A Study of the Non-Smooth Concept Membership Function
|
RP466
| 1990 Research Paper
| Chongstitvatana,P; Conkie,A
|
| Behaviour Based Assembly Experiments Using Vision Sensing
|
RP467
| 1990 Research Paper
| Thompson,HS
|
| Chart Parsing for Loosely Coupled Parallel Systems
|
RP468
| 1990 Research Paper
| Petropoulakis,L; Malcolm,CA
|
| Programming Autonomous Assembly Agents: Functionality and Robustness
|
RP469
| 1990 Research Paper
| Ross,B; Wilk,P
|
| An Algebraic Semantics of Sequential Prolog Control
|
RP470
| 1990 Research Paper
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Demster-Schafer Theory of Evidence
|
RP471
| 1990 Research Paper
| Engdahl,E
|
| Argument Roles and Anaphora
|
RP472
| 1990 Research Paper
| Brna,P; Bundy,A; Pain,HG
|
| A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
|
RP473
| 1990 Research Paper
| Cawsey,A
|
| Understandable Explanations: the Fudge Discourse Generator
|
RP474
| 1990 Research Paper
| Cawsey,A; Raudaskoski,P
|
| Repair Work in Human-Computer Dialogue
|
RP475
| 1990 Research Paper
| Conkie,A; Chongstitvatana,P
|
| An Uncalibrated Stereo Visual Servo System
|
RP476
| 1990 Research Paper
| Hayes,GM; Fisher,RB
|
| Evaluation of a Real-Time Kinetic Depth System
|
RP477
| 1990 Research Paper
| Trucco,E
|
| Convex Volumentric Primitives from Slices
|
RP478
| 1990 Research Paper
| Carletta,J
|
| An Architecture Facilitating Repair and Replanning in Interactive Explanations
|
RP479
| 1990 Research Paper
| Carletta,J
|
| Modelling Variations in Goal-Directed Dialogue
|
RP480
| 1990 Research Paper
| Carletta,J
|
| An Incremental Dialogue Planner that Monitors Execution
|
RP481
| 1990 Research Paper
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
RP482
| 1990 Research Paper
| Moffat,D; Ritchie,GD
|
| Modal Queries About Partially-Ordered Plans
|
RP483
| 1990 Research Paper
| Beaven,J
|
| A Unification Based Treatment of Spanish Clitics
|
RP484
| 1990 Research Paper
| Logan,B; Newton,S
|
| Design by Decomposition: the Role of Expert Systems in Design Support
|
RP485
| 1990 Research Paper
| Deacon,G
|
| Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships
|
RP486
| 1990 Research Paper
| Brown,MA; Fisher,RB
|
| A Distributed Blackboard System for Vision Applications
|
RP487
| 1990 Research Paper
| Fisher,RB
|
| Extracting Second-Order Topographic Surface Features from Range Data
|
RP488
| 1990 Research Paper
| Ross,B; Wilk,P
|
| A Semantic Approach to Proving Prolog Transformations Using Cut
|
RP489
| 1990 Research Paper
| Nehmzow,U; Smithers,T
|
| Mapbuilding Using Self-Organising Networks in "Really Useful Robots"
|
RP490
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Lego Vehicles: a Technology for Studying Intelligent Systems
|
RP491
| 1990 Research Paper
| Brna,P
|
| Promoting Creative Confrontations
|
RP492
| 1990 Research Paper
| Mellish,CS; Poynter,L; Tyson,P; Walker,J; Levine,J
|
| The Intelligent Documentation Advisory System
|
RP493
| 1990 Research Paper
| Harris,M
|
| Attracting Similiar Shapes Towards Each Other
|
RP494
| 1990 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Assumption-Based Constext Management in the Edinburgh Designer System
|
RP495
| 1990 Research Paper
| Fisher,RB
|
| Determining Back-Facing Curved Model Surfaces by Analysis at the Boundary
|
RP497
| 1990 Research Paper
| Bundy,A
|
| Incidence Calculus
|
RP498
| 1990 Research Paper
| Bundy,A
|
| On the Nature of Mathematical Judgement: Reply to Penrose
|
RP499
| 1990 Research Paper
| Smithers,T; Troxell,W
|
| Design is Intelligent Behaviour, but what'S the Formalism
|
RP500
| 1990 Research Paper
| Smithers,T
|
| The Pretender'S New Clothes
|
RP501
| 1990 Research Paper
| Bundy,A; Smaill,AD; Wiggins,G
|
| The Synthesis of Logic Programs from Inductive Proofs
|
RP502
| 1990 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Steps Towards Intelligent Robots
|
RP503
| 1990 Research Paper
| Bernaras,A; Smithers,T
|
| On the Application of Software Engineering Techniques in Artificial Intelligence Research
|
RP505
| 1990 Research Paper
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with Oyster
|
RP506
| 1990 Research Paper
| Bundy,A; Giunchiglia,F; Walsh,T
|
| Building Abstractions
|
RP507
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster-Clam System
|
RP508
| 1990 Research Paper
| Crocker,M
|
| Multiple Meta-Interpreters in a Logical Model of Sentence Processing
|
RP509
| 1990 Research Paper
| Lewin,I
|
| A Quantifier Scoping Algorithm without a Free Variable Constraint
|
RP510
| 1990 Research Paper
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
RP511
| 1990 Research Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
RP513
| 1990 Research Paper
| Bundy,A
|
| The Use of Proof Plans for Normalization
|
RP514
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)
|
RP515
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
RP516
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| A Theory of Abstraction
|
RP519
| 1990 Research Paper
| Trucco,E
|
| Automatic Acquisition of Volumetric Models from Slice Data
|
| Review Article
|
RA575
| 1990 Review Article
| Thompson,HS
|
| Natural Language Processing for Information Processing Systems and Software
|
RA576
| 1990 Review Article
| Thompson,HS
|
| Linguistic Research and Engineering in the Third Framework Programme
|
| Technical Paper
|
TP5
| 1990 Technical Paper
| Pirie,N; Crabtree,B; Crouch,R; Pulman,S; Moffat,D; Ritchie,GD; Tate,AB
|
| A Natural Language Interface to an Intelligent Planning System - System Documentation
|
| Working Paper
|
WP221
| 1990 Working Paper
| Thornton,C
|
| Three Types of Incorrect Description Bias
|
WP222
| 1990 Working Paper
| Thornton,C
|
| Vertical Bias Shifts
|
WP223
| 1990 Working Paper
| Thornton,C
|
| The Combinatorics of Leaky Learning
|
WP224
| 1990 Working Paper
| Thornton,C
|
| Generalised Clustering and the Construction of Template-Based Representations
|
WP225
| 1990 Working Paper
| Thornton,C
|
| Knowledge Quantification and Algorithmic Complexity
|
WP226
| 1990 Working Paper
| Thornton,C
|
| The Representation of Abstract Classes
|
WP227
| 1990 Working Paper
| Carletta,J
|
| A General Architecture for Interactive Explanations
|
WP228
| 1990 Working Paper
| Cai,L
|
| Zero-Drift Effects in Location of Tangent Joins of Planar Curves
|
WP229
| 1990 Working Paper
| Dehua,L
|
| The Various Models of Social (Collective) Thinking Processes in Scientific Research
|
WP230
| 1990 Working Paper
| Dehua,L
|
| On the Huge Thinking Systems
|
WP231
| 1990 Working Paper
| Baker,S
|
| Notes on the Implementation of the Cut Elimination Theorem
|
WP242
| 1990 Working Paper
| Brna,P
|
| The Representation of Electrical Processes
|
WP243
| 1990 Working Paper
| Brna,P
|
| Issues Relating to the Circuit Animator
|
WP244
| 1990 Working Paper
| Brna,P
|
| Representing Circuit Construction Tasks
|
WP245
| 1990 Working Paper
| Brna,P
|
| An Outline Design for a System to Explore the Automated Recognition of Misconceptions
|