| 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
|
![[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}