The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents from: 1992

Authored Book

AB133 1992 Authored Book Dale,R
Generating Referring Expressions
AB145 1992 Authored Book Harris,M
the Transitive Inference Task: a Case Study in Cognitive Modelling
AB198 1992 Authored Book Ritchie,GD; Russell,G; Black,A; Pulman,S
Computational Morphology: Practical Mechanisms for the English Lexicon
AB310 1992 Authored Book Klein,E; Bernsen,N; Granstrom,B; Giachin,E; Nooteboom,S; Thompson,HS; Uszkoreit,H
European Strategic Research in Speech and Natural Language

Chapter in Edited Book

CB131 1992 Chapter in Edited Book Chongstitvatana,P; Conkie,A
Applications, Behaviour-Based Robotic Assembly Using Vision
CB161 1992 Chapter in Edited Book Reiter,E
Lexical Choice and Lexical Preferences
CB166 1992 Chapter in Edited Book Ritchie,GD
Learning from AM
CB180 1992 Chapter in Edited Book Trucco,E
from Slice Data to Suggestive Parts
CB216 1992 Chapter in Edited Book Mellish,CS
Term Encodable Description Systems
CB234 1992 Chapter in Edited Book Bundy,A
Tutorial Notes: Reasoning about Logic Programs
CB238 1992 Chapter in Edited Book Bundy,A
Incidence Calculus
CB303 1992 Chapter in Edited Book Smaill,AD
Constructive Logic and Computation

Discussion Paper

DP113 1992 Discussion Paper Liu,W
An Investigation into Uncertainty Reasoning and Nonmonotonic Reasoning - Using Incidence Calculus - Thesis Proposal
DP114 1992 Discussion Paper Tang,M
A Design Support System Based on Inductive Learning
DP115 1992 Discussion Paper Borges,D
Recognition of 3-D Complex Curved Objects by Differentiation: an Evolutionary Approach to the Representation, Extraction, and Recognition of 3-D Shapes.
DP116 1992 Discussion Paper Negrete-Yankelevich,S
Generic Tactics and Proof Plans - Thesis Proposal
DP117 1992 Discussion Paper Miranda,E
From Symbols to Sound: Ai-Based Investigation of Sound Synthesis
DP118 1992 Discussion Paper Richardson,J
Planning Changes of Representation - Thesis Proposal
DP119 1992 Discussion Paper Frank,I
Using Proof-Planning Techniques to Plan and Play the Role of Declarer in the Game of Bridge
DP120 1992 Discussion Paper Vasconcelos,W
Formalising the Knowledge of a Prolog Techniques Editor - Thesis Proposal
DP121 1992 Discussion Paper Reece,G
Reactive Execution in a Command, Planning, and Control Environment
DP122 1992 Discussion Paper Jones,E
Machine Learning in Behaviour Based Robotic Assembly
DP123 1992 Discussion Paper Smith,SE
Using Neural Nets to Support Processing of Biochemical Data for Diagnosis - Thesis Proposal
DP124 1992 Discussion Paper Masato,I
A Reactive Architecture for Rational Agents in Task-Oriented Dialogue - Thesis Proposal
DP125 1992 Discussion Paper Knott,A
Cue Phrases and Rhetorical Relations: Using Linguistic Phenomena to Motivate a Theory of Discourse Structure - Thesis Proposal
DP126 1992 Discussion Paper Cox,R
Reasoning with External Representations: Supporting the Stages of Selection, Construction and Utilisation
DP127 1992 Discussion Paper Hallam,B
Autonomous Behaviour Selection in Mobile Robots - Thesis Proposal
DP136 1992 Discussion Paper Bull,S
A Collaborative, Inspectable Student Model for Intelligent Computer Assisted Language Learning - Thesis Proposal

Edited Book

EB122 1992 Edited Book Brna,P; Howe,J
Automated Diagnosis of Misconceptions about Electricity: What are the Prospects?
EB123 1992 Edited Book Brna,P; Bundy,A; Pain,HG
a Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
EB149 1992 Edited Book Logan,B; Smithers,T
Modelling Creativity and Knowledge-Based Creative Design
EB191 1992 Edited Book Wiggins,G; Mellish,CS; Duncan,T
3rd UK Annual Conference on Logic Programming
EB214 1992 Edited Book Wiggins,G; Mellish,CS; Duncan,T
3rd UK Conference on Logic Programming
EB301 1992 Edited Book Drummond,M; Fox,M; Tate,AB; Zweben,M
Working Notes from the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning
EB307 1992 Edited Book Thompson,HS
Procs of the 30th Annual Meeting of the Association for Computational Linguistics

Journal Paper

JP134 1992 Journal Paper Fisher,RB
Representation, Extraction and Recognition with Second-order Topographic Surface Features
JP138 1992 Journal Paper Bowles,A
Trends in Applying Abstract Interpretation
JP139 1992 Journal Paper Gent,I
a Sequent- or Tableau-style System for Lewis's Counter-Factual Logic VC
JP140 1992 Journal Paper Guinchiglia,F; Ferrari,C; Traverso,P; Trucco,E
Understanding Scene Descriptions by Integrating Different Sources of Knowledge
JP141 1992 Journal Paper Giunchiglia,F; Walsh,T
a Theory of Abstraction
JP151 1992 Journal Paper Logan,B
Understanding Problem Structure as Heuristic Formation in Design
JP173 1992 Journal Paper Smithers,T; Tang,M; Tones,M; Buck,P; Clarke,B; Lloyd,G
Development of a Knowledge-Based Design Support System
JP195 1992 Journal Paper Wu,X
a Frame Based Architecture for Information Integration in CIMS
JP200 1992 Journal Paper Ritchie,GD
Languages Generated by Two-Level Morphological Rules
JP202 1992 Journal Paper Guinchiglia,F; Ferrari,C; Traverso,P; Trucco,E
Understanding Scene Descriptions by Integrating Different Sources of Knowledge
JP213 1992 Journal Paper Cox,R; Hulme,C; Brown,G
STM Experimenter: Using HYPERCARD and MACRORECORDER in Short-Term Memory Experiments
JP217 1992 Journal Paper Mellish,CS
Natural Language Generation from Plans
JP224 1992 Journal Paper King,K
AI: Real Solutions for Developing Countries
JP229 1992 Journal Paper Baldock,R; Bard,J; Kaufmann,M; Davidson,D
a Real Mouse for Your Computer
JP230 1992 Journal Paper Baldock,R
Trainable Models for the Interpretation of Biomedical Images
JP292 1992 Journal Paper Drabble,B
a Program for Planning and Reasoning with Processes
JP293 1992 Journal Paper Fraser,J
What is Artificial Intelligence
JP294 1992 Journal Paper Fraser,J; Harrison,I
Preselecting Well Test Interpretation Models Using External Data
JP295 1992 Journal Paper Kingston,J
Knowledge Based Systems in the UK Financial Sector
JP298 1992 Journal Paper Kingston,J
Pragmatic KADS: a Methodological Approach to a Small KBS Project
JP329 1992 Journal Paper Fisher,RB
THESIS PREVENTION 2 -- a Student of Father Hacker Replies

MSc Thesis

MT92101 1992 MSc Thesis Abbas,FS
Representing Design Information and Constraints
MT92102 1992 MSc Thesis Aguilar-Chongtay,RM
The Role of Correlations in the Development of the Visual System
MT92103 1992 MSc Thesis Androutsopoulos,I
Interfacing a Natural Language Front-End to a Relational Database
MT92104 1992 MSc Thesis Avner,S
An Optimal Decision Tree
MT92105 1992 MSc Thesis Bellos,I
Towards a Multilingual Idas
MT92106 1992 MSc Thesis Berendt,B
Computing Belief Revision
MT92107 1992 MSc Thesis Bispo,EM
Automatic Model Building from Segmented Range Data
MT92108 1992 MSc Thesis Blake,AV
A Generic Semantic Graph Editor
MT92109 1992 MSc Thesis Bryson,JJ
The Subsumption Strategy Development of a Music Modelling System
MT92111 1992 MSc Thesis Chan,N
Soma Parts Recognition Using a Steerable Whisker Sensor
MT92112 1992 MSc Thesis Christophers,RA
Precategorical Segmentation Using Disparity
MT92113 1992 MSc Thesis Chuang,PS
Implementation of Active Vision on Mobile Robot Ben Hope: a Real-Time Edge-Tracking System
MT92114 1992 MSc Thesis Day,JG
Belief in Mental Spaces
MT92115 1992 MSc Thesis Fang,H
Investigating Genetic Algorithms for Scheduling
MT92116 1992 MSc Thesis Free,NJ
Summing Series Using Proof Plans
MT92117 1992 MSc Thesis Gabriel,DS
Tx: a Prolog Explanation System
MT92118 1992 MSc Thesis Genotal,P
A Decision Support Tool for Ecological Resource Managers
MT92119 1992 MSc Thesis Greenwood,JD
Map Building with a Lego Robot
MT92120 1992 MSc Thesis Hegazy,MA
The Expert Aof: a Rule-Based Expert System for Audit Opinion Formation
MT92121 1992 MSc Thesis Hernandez,ER
A Training Aid for Debugging Prolog
MT92122 1992 MSc Thesis Huang,X
Tolerant Planning and Negotiation in Automated Guided Vehicle Systems
MT92123 1992 MSc Thesis Iliopoulos,AT
Computing Action Plans from Logical Representations in a Natural Language Front-End
MT92124 1992 MSc Thesis Kaggelides,K
Locating the Eyes in Ct Brain Scan Data
MT92125 1992 MSc Thesis Keedy,GD
Using Art to Model Indigenous Knowledge
MT92126 1992 MSc Thesis Kendon,GB
An Investigation of Back-Propagation for Arterial Blood Pressure Wave Classification
MT92127 1992 MSc Thesis Kim,T
The Development of Vibration Sensors as Event Signature Sensors in Assembly
MT92128 1992 MSc Thesis Kime,PL
Extended Kamp Notation and Conceptual Structure
MT92129 1992 MSc Thesis Kuscu,I
A Model of Evolution of Cooperation in Iterated Prosoner'S Dilema
MT92130 1992 MSc Thesis Lau,SL
Analysis of Marr'S Model of Neocortex
MT92131 1992 MSc Thesis Low,PL
Sensorless Soma Part Orientation
MT92132 1992 MSc Thesis MacNee,CA
Pdq: a Knowledge Based System to Help Knowledge-Based System Designers to Select Knowledge Representation and Inference Techniques
MT92133 1992 MSc Thesis Manning,AJ
Representing Preference in Proof Plans
MT92134 1992 MSc Thesis Marshall,SS
A Tool for Authoring Idas Action Representations
MT92135 1992 MSc Thesis McLean,RG
Testing and Extending the Incidence Calculus
MT92136 1992 MSc Thesis Noon,BM
A Braille Translator and Braille Maths Tutor
MT92137 1992 MSc Thesis Nunes,A
Summing Series with Proof Plans
MT92138 1992 MSc Thesis Pagonis,E
Tailoring New Lemmas from Existing Theorems
MT92139 1992 MSc Thesis Pake,M
An Optimiser for an Spl Based Text Generator
MT92140 1992 MSc Thesis Park,N
A Connectionist Representation of Rules, Facts, and Dynamic Bindings of Variables
MT92141 1992 MSc Thesis Perez-Minana,E
Stochastic Image Restoration: Clean Images and Their Likelihood
MT92142 1992 MSc Thesis Pettinaro,GC
Thresholding Images: Neural Net vs. Human Performance
MT92143 1992 MSc Thesis Porter,ID
A Subsumption Architecture Development Environment
MT92144 1992 MSc Thesis Price,SJ
The Kads Approach to the Design of Steel Structures
MT92145 1992 MSc Thesis Ramirez-Dominguez,EC
Representation and Use of Intent in the Engineering Design Process
MT92146 1992 MSc Thesis Redington,FM
A Statistical Approach to Syntax Acquisition
MT92147 1992 MSc Thesis Roberts,B
Temporal Ordering of Events in Discourse
MT92148 1992 MSc Thesis Rodriguez-Camarena,EP
A Rule Based Consistency Checker
MT92149 1992 MSc Thesis Salib,MA
Using Refinement Logic in Requirements Capture and Program Generation
MT92150 1992 MSc Thesis Smart,WD
Location Recognition with Neural Networks in a Mobile Robot
MT92151 1992 MSc Thesis Smith,SE
The Design and Construction of a Portable Database Query Language Paraphraser
MT92152 1992 MSc Thesis Chiam-Tiat,S
Bugpress Tutor a System for Tutoring Teachers in the Skill of Debugging a Student'S Algebraic Errors
MT92153 1992 MSc Thesis Tipping,ME
Real-Time Recurrent Learning for Neural Networks: Reducing Training Time and Learning Linear Tasks
MT92154 1992 MSc Thesis Treasure-Jones,TF
Investigation into the Feasibility of Using Explanation and Ill-Formed Parsing Techniques Within an Its for Deaf Children
MT92155 1992 MSc Thesis Tsitsogiannis,I
An Automated msc Advisor a Methodological Approach
MT92156 1992 MSc Thesis Vahed,A
The Recall Performance of Multiple Associative Memories
MT92157 1992 MSc Thesis Vassiliadis,V
An Implementation of Pandora
MT92158 1992 MSc Thesis Walker,AV
Bee-Haviour in a Mobile Robot the Construction of a Self-Organized Cognitive Map and Its Use in Robot Navigation Within a Complex Natural Environment
MT92159 1992 MSc Thesis Wren,DO
Finding Robot Grasping Points from Range Data
MT92160 1992 MSc Thesis Zaki,OF
Encoding Schemes for Mapping Between Orthography and Phonolgy in Connectionist Networks

Paper in Conference Proceedings

PP1121 1992 Paper in Conference Proceedings Orr,M; Hallam,JC; Fisher,RB
Fusion through Interpretation
PP113 1992 Paper in Conference Proceedings Baker,S; Ireland,A; Smaill,AD
On the Use of the Constructive Omega-Rule within Automated Deduction
PP115 1992 Paper in Conference Proceedings Basin,D
Extracting Circuits from Constructive Proofs
PP117 1992 Paper in Conference Proceedings Basin,D; Smaill,AD; Matthews,S
Experience with FSo as a Framework Theory
PP118 1992 Paper in Conference Proceedings Basin,D; Walsh,T
Difference Matching
PP119 1992 Paper in Conference Proceedings Beaven,J
Shake-and-Bake Machine Translations
PP120 1992 Paper in Conference Proceedings Bental,D
Using Clausal Join and Clausal Split to Recognise Language-Specific Programming Design Decisions
PP126 1992 Paper in Conference Proceedings Brna,P; Caiger,A
the Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
PP130 1992 Paper in Conference Proceedings Chongstitvatana,P; Conkie,A
Active Mobile Stereo Vision for Robotic Assembly
PP132 1992 Paper in Conference Proceedings Crocker,M; Lewin,I
Parsing as Deduction: Rules versus Principles
PP137 1992 Paper in Conference Proceedings Bowles,A; Mellish,CS
Using Abstract Interpretation in a Prolog Tutoring System
PP143 1992 Paper in Conference Proceedings Giunchiglia,G; Walsh,T
Tree Subsumption: Reasoning with Outlines
PP146 1992 Paper in Conference Proceedings Hesketh,J; Bundy,A; Smaill,AD
Using Middle-out Reasoning to Control the Synthesis of Tail Recursive Programs
PP147 1992 Paper in Conference Proceedings Horn,C; Smaill,AD
Theorem Proving and Program Synthesis with OYSTER
PP148 1992 Paper in Conference Proceedings Ireland,A
the Use of Planning Critics in Mechanizing Inductive Proof
PP150 1992 Paper in Conference Proceedings Logan,B; Corne,D; Smithers,T
Enduring Support: On Defeasible Reasoning in Design Support Systems
PP152 1992 Paper in Conference Proceedings Logan,B; Corne,D; Smithers,T
the Edinburgh Designer System: An Architecture for Solving Ill Structured Problems
PP153 1992 Paper in Conference Proceedings Madden,P
Automatic Program Optimization Through Proof Transformation
PP156 1992 Paper in Conference Proceedings Orr,M; Hallam,JC; Fisher,RB
Fusion Through Interpretation
PP159 1992 Paper in Conference Proceedings Pain,HG
Supporting Children with Learning Difficulties in Spelling
PP162 1992 Paper in Conference Proceedings Reiter,E; Mellish,CS; Levine,J
Automatic Generation of On-Line Documentation in the IDAS Project
PP164 1992 Paper in Conference Proceedings Reiter,E; Dale,R
a Fast Algorithm for the Generation of Referring Expressions
PP167 1992 Paper in Conference Proceedings Robertson,DS
a Simple PROLOG Techniques Editor for Novice Users
PP168 1992 Paper in Conference Proceedings Rock,S
Understanding Repetition in Natural Language Instructions -- the Semantics of Extent
PP169 1992 Paper in Conference Proceedings Ross,B
Using Algebraic Semantics for Proving PROLOG Program Termination and Transformation
PP170 1992 Paper in Conference Proceedings Ross,B
Semantics-Based Partial Evaluation of PROLOG Programs
PP171 1992 Paper in Conference Proceedings Sentance,S
Analysing Misconceptions in the Domain of Second Language Learning
PP174 1992 Paper in Conference Proceedings Smithers,T; Tang,M
AI-Based Design and Simulation of Hydroelectric Power Systems
PP182 1992 Paper in Conference Proceedings Trucco,E
On Shape-Preseving Boundary Conditions for Diffusion Smoothing
PP185 1992 Paper in Conference Proceedings Walsh,T; Nunes,A; Bundy,A
the Use of Proof Plans to Sum Series
PP188 1992 Paper in Conference Proceedings Walsh,T; Giunchiglia,F
Theories of Abstraction: a Historical Perspective
PP189 1992 Paper in Conference Proceedings Webb,B
the Connection Between AI and Biology in the Study of Behaviour
PP190 1992 Paper in Conference Proceedings Whitelock,P
Shake-and-Bake Translation
PP192 1992 Paper in Conference Proceedings Wiggins,G; Bundy,A; Kraan,H; Hesketh,J
Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof
PP196 1992 Paper in Conference Proceedings Yang,S; Robertson,DS
An Overview of the Intelligence Information System for Building Regulations and Standards
PP199 1992 Paper in Conference Proceedings Fisher,RB
Non-Wildcard Matching Beats the Interpretation Tree
PP204 1992 Paper in Conference Proceedings Trucco,E; Fisher,RB
Computing Surface-Based Representations from Range Images
PP206 1992 Paper in Conference Proceedings Trucco,E; Thirion,E; Umasuthan,M; Wallace,A
Visibility Scripts for Active Feature-Based Inspection
PP207 1992 Paper in Conference Proceedings Wu,X
KEShell2: An Intelligent Learning Database System
PP208 1992 Paper in Conference Proceedings Borges,D; Fisher,RB
Computational Properties of Rotation Parametrizations
PP209 1992 Paper in Conference Proceedings Cox,R
Exploratory Learning from Computer-Based Systems
PP215 1992 Paper in Conference Proceedings Mellish,CS
Term Encodable Description Systems
PP219 1992 Paper in Conference Proceedings Poynter,L; Levine,J; Walker,J; Reiter,E; Tyson,P; Mellish,CS
The Intelligent Documentation Advisory System
PP220 1992 Paper in Conference Proceedings Mellish,CS; Reiter,E
Using Classification to Generate Text
PP221 1992 Paper in Conference Proceedings Bowles,A; Mellish,CS
Using Abstract Interpretation in a Prolog Tutoring System
PP222 1992 Paper in Conference Proceedings King,K
Artificial Intelligence for Developing Countries: Promises and Possibilities
PP226 1992 Paper in Conference Proceedings Bental,D
Using Clausal Join and Clausal Split to Recognise Language-Specific Programming Design Decisions
PP228 1992 Paper in Conference Proceedings Reiter,E; Dale,R
a Fast Algorithm for the Generation of Referring Expressions
PP231 1992 Paper in Conference Proceedings Nakata,K
Behavioural Specification with Nonmonotonic Temporal Logic
PP232 1992 Paper in Conference Proceedings Rock,S
Understanding Repetition in Natural Language Instructions - the Semantics of Extent
PP233 1992 Paper in Conference Proceedings Bundy,A; Brna,P; Pain,HG
a Framework for the Principled Debugging of PROLOG Programs: How to Debug Non-Terminating Programs
PP235 1992 Paper in Conference Proceedings Bundy,A; Hesketh,J; Smaill,AD
Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones
PP236 1992 Paper in Conference Proceedings Bundy,A; Walsh,T; Nunes,A
the Use of Proof Plans to Sum Series
PP237 1992 Paper in Conference Proceedings Bundy,A; Frank,I; Basin,D
An Adaption of Proof Planning to Declarer Play in Bridge
PP290 1992 Paper in Conference Proceedings Tate,AB
Snythetic Intelligence - KBS for Design and Planning
PP296 1992 Paper in Conference Proceedings Kingston,J
User Interfaces for Knowledge Based Systems and Tools
PP297 1992 Paper in Conference Proceedings Kingston,J
Building Knowledge Systems Toolkits and Case Studies
PP299 1992 Paper in Conference Proceedings Tate,AB; Drabble,B; Kirby,R
O-Plan 2: the Open Planning Architecture
PP300 1992 Paper in Conference Proceedings Tate,AB
O-Plan 2: Modularity and Interfaces
PP302 1992 Paper in Conference Proceedings Beck,H; Gomes,C
Principles underlying the decomposition of job shop scheduling problems
PP304 1992 Paper in Conference Proceedings Fitzgibbon,AW; Fisher,RB
Suggestive Modelling for Machine Vision
PP306 1992 Paper in Conference Proceedings Fitzgibbon,AW; Fisher,RB
Practical Aspect-Graph Derivation Incorporation Feature Segmentation Performance
PP311 1992 Paper in Conference Proceedings Haggith,MC; Robertson,DS; Walker,DA; Sinclair,F; Muetzelfeldt,R
TEAK: Tools for Eliciting Agroforestry Knowledge

PhD Thesis

PT9207 1992 PhD Thesis Baker,S
Aspects of the Constructive Omega Rule Within Automated Deduction
PT9210 1992 PhD Thesis Beaven,J
Lexicalist Unification-Based Machine Translation
PT9213 1992 PhD Thesis Caley,R
Planning Discourse by Modelling Audience Interpretation Strategies
PT9216 1992 PhD Thesis Carletta,J
Risk-Taking and Recovery in Task-Oriented Dialogue
PT9219 1992 PhD Thesis Chongstitvatana,P
The Design and Implementation of Vision-Based Behavioural Modules for a Robotic Assembly System
PT9222 1992 PhD Thesis Crocker,M
A Logical Model of Competence and Performance in the Human Sentence Processor
PT9225 1992 PhD Thesis Donnett,J
Analysis and Synthesis in the Design of Locomotor and Spatial Competences for a Multisensory Mobile Robot
PT9228 1992 PhD Thesis Matthews,S
Metalevel and Reflexive Extension in Mechanical Theorem Proving
PT9231 1992 PhD Thesis Nehmzow,U
Experiments in Competence Acquisition for Autonomous Mobile Robots
PT9234 1992 PhD Thesis Wilson,MS
Achieving Reliability Using Behavioural Modules in a Robotic Assembly System

Research Paper

RP569 1992 Research Paper Reiter,E; Mellish,CS; Levine,J
Automatic Generation of on-Line Documentation in the Idas Project
RP572 1992 Research Paper Orr,M; Hallam,JC; Fisher,RB
Fusion Through Interpretation
RP573 1992 Research Paper Balch,P
A 3D Shape Attractor
RP574 1992 Research Paper Trucco,E; Fisher,RB
Computing Surface-Based Representations from Range Images
RP575 1992 Research Paper Frank,I; Basin,D; Bundy,A
An Adaptation of Proof-Planning to Declarer Play in Bridge
RP577 1992 Research Paper Bowles,A
Trends in Applying Abstract Interpretation
RP578 1992 Research Paper Wu,X
Hcv: a Heuristic Covering Algorithm for Extension Matrix Approach
RP579 1992 Research Paper Wu,X
Rule Schema + Rule Body: a 2-Level Representation Language
RP580 1992 Research Paper Wu,X
A Prolog-Based Representation for Integratng Knowledge Data
RP581 1992 Research Paper Logan,B; Corne,D; Smithers,T
Enduring Support: on Defeasible Reasoning in Design Support Systems
RP582 1992 Research Paper Trucco,E; Fisher,RB
Experiments in Curvature-Based Segmentation of Range Data
RP583 1992 Research Paper Reiter,E; Dale,R
A Fast Algorithm for the Generation of Referring Expressions
RP584 1992 Research Paper Reiter,E; Mellish,CS
Using Classification to Generate Text
RP585 1992 Research Paper Beaven,J
Shake-and-Bake Machine Translation
RP586 1992 Research Paper Sentance,S
Analysing Misconceptions in the Domain of Second Language Learning
RP587 1992 Research Paper Bundy,A
Clear Thinking About Artificial Intelligence
RP588 1992 Research Paper Glasbey,SR
'The Same' in Situation Semantics and Drt
RP589 1992 Research Paper Cox,R
Issues in Guided Exploratory Learning from Computer-Based Systems
RP590 1992 Research Paper Chongstitvatana,P; Conkie,A
Active Mobile Stereo Vision for Robotic Assembly
RP591 1992 Research Paper Fitzgibbon,AW; Fisher,RB
Practical Aspect-Graph Derivation Incorporating Feature Segmentation Performance
RP592 1992 Research Paper Ireland,A
The Use of Planning Critics in Mechanizing Inductive Proofs
RP593 1992 Research Paper Levy,J; Agusti,J; Mana,F
Functional Lattices for Taxonomical Reasoning
RP594 1992 Research Paper Agusti,J; Esteva,F; Garcia,P; Levy,J
A Calculus of Refinements: Its Class of Models
RP595 1992 Research Paper Logan,B; Corne,D; Smithers,T
The Edinburgh Designer System: an Architecture for Solving Ill Structured Problems
RP596 1992 Research Paper Logan,B; Corne,D; Smithers,T
Using Reason Maintenance Systems to Support Ill Structured Problem Solving
RP597 1992 Research Paper Logan,B; Smithers,T
Creativity and Design as Exploration
RP598 1992 Research Paper Hallam,B; Hayes,GM
Comparing Robot and Animal Behaviour
RP599 1992 Research Paper Liu,W; Bundy,A
The Combination of Different Pieces of Evidence Using Incidence Calculus
RP600 1992 Research Paper Bundy,A
How to Solve it by Induction
RP601 1992 Research Paper Borges,D; Fisher,RB
Computational Properties of Rotation Parametrizations
RP602 1992 Research Paper Bundy,A
Tutorial Notes: Reasoning About Logic Programs
RP603 1992 Research Paper Kraan,I; Basin,D; Bundy,A
Logic Program Synthesis Via Proof Planning
RP604 1992 Research Paper Madden,P
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
RP605 1992 Research Paper Gent,I; Walsh,T
The Enigma of Sat Hill-Climbing Procedures
RP606 1992 Research Paper Bryson,JJ; Smaill,AD; Wiggins,G
The Reactive Accompanist: Applying Subsumption Architecture to Software Design
RP607 1992 Research Paper Bundy,A
'Semantic Procedure' is an Oxymoron
RP608 1992 Research Paper Madden,P; Hesketh,J; Green,I; Bundy,A
A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans
RP609 1992 Research Paper Berendt,B; Smaill,AD
Computing Belief Revision
RP610 1992 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
An Environment for Combining Prolog Programs
RP611 1992 Research Paper Liu,W; Bundy,A; Robertson,DS
On the Relationship Between Incidence Calculus and Atms
RP612 1992 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
A Mathematical Framework for the Problem of Combination of Prolog Programs
RP613 1992 Research Paper Ireland,A; Bundy,A
Using Failure to Guide Inductive Proof
RP647 1992 Research Paper Fisher,RB
Non-Wildcard Matching Beats the Interpretation Tree
RP744 1992 Research Paper Westhead,M
Linda and the Paradigms of Parallelisation

Technical Paper

TP10 1992 Technical Paper Baker,S
Core Manual
TP18 1992 Technical Paper Orr,M
On Composing Rotations
TP19 1992 Technical Paper Haggith,MC
Teak - Tools for Eliciting Agroforestry Knowledge
TP7 1992 Technical Paper Madden,P
Tutorial Guide to the Clam Proof Planner
TP8 1992 Technical Paper Negrete-Yankelevich,S
Hint Mechanism for Clam
TP9 1992 Technical Paper Wu,X
Hcv User'S Manual

Working Paper

WP232 1992 Working Paper Orr,M
A Mickey Mouse Guide to Kalman Filtering
WP233 1992 Working Paper Orr,M
On Estimating Rotations
WP234 1992 Working Paper Balch,P
Rtcserl - Controlling the Rtx Via the Pc and a Serial Line Command Interface
WP235 1992 Working Paper Balch,P
A Software Architecture for Robot Assembly
WP236 1992 Working Paper Balch,P
Direct Rtx Controller - Hardware Description
WP237 1992 Working Paper Balch,P
Force Sensing in an Industrial Assembly - Progress Report
WP238 1992 Working Paper Deacon,G
An Algorithm for Orienting Objects in a Minimum Number of Robot Sweeping Motions
WP239 1992 Working Paper Frank,I
Interleaving Independently Derived Bridge Suit-Plans
WP240 1992 Working Paper Frank,I
Further Thoughts on Interleaving Bridge Suit-Plans
WP249 1992 Working Paper Brna,P
The Specification of Objects, Processes and Concepts
WP250 1992 Working Paper Brna,P
Guiding and Supporting the Exploration of Electrical Circuits
WP251 1992 Working Paper Brna,P
Experiments in Circuit Construction: do Students Reason with, and About Processes ?
WP252 1992 Working Paper Brna,P
How do Beliefs Affect the Construction of Electrical Circuits ?


[Search These Pages] [DAI Home Page] [Comment]