| 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 ?
|