| JP1118
| 1998 Journal Paper
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering of CAD Models
|
| JP1090
| 1998 Journal Paper
| Fisher,RB; Orr,M
|
| Solving Geometric Constraints in a Parallel Network
|
| JP1194
| 1997 Journal Paper
| Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T
|
| Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)
|
| JP1117
| 1997 Journal Paper
| Pilu,M; Fisher,RB
|
| Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
|
| JP1116
| 1997 Journal Paper
| Pilu,M; Fisher,RB
|
| Part Segmentation from 2D Edge Images by the MDL Criterion
|
| JP1083
| 1997 Journal Paper
| Eggert,D; Lorusso,A; Fisher,RB
|
| Estimating 3-D rigid body transformations: A comparison of four major algorithms
|
| JP1082
| 1997 Journal Paper
| Borges,D; Fisher,RB
|
| Class-based recognition of 3D Objects represented by volumetric primitives
|
| JP1081
| 1997 Journal Paper
| Fitzgibbon,AW; Eggert,D; Fisher,RB
|
| High-level CAD Model Acquisition from Range Images
|
| JP993
| 1996 Journal Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: A Methodology for AIED
|
| JP1123
| 1996 Journal Paper
| Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RB
|
| Convex Hulls, Occluding Contours, aspect graph and the Hough transform
|
| JP1122
| 1996 Journal Paper
|
|
| An Experimental Comparison of Range Segmentation Algorithms
|
| JP1071
| 1996 Journal Paper
| Thompson,HS
|
| Corpus work at HCRC
|
| JP1068
| 1996 Journal Paper
| Mota,Ed; Robertson,DS; Smaill,AD
|
| NatureTime: Temporal Granularity in Simulation of Ecosystems
|
| JP1067
| 1996 Journal Paper
| Fuchs,N; Robertson,DS
|
| Declarative Specification
|
| JP1062
| 1996 Journal Paper
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Calculating Criticalities
|
| JP1061
| 1996 Journal Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
| JP1060
| 1996 Journal Paper
| Ireland,A; Bundy,A
|
| Productive Use of Failure in ......Proof
|
| JP1059
| 1996 Journal Paper
| Liu,W; Bundy,A
|
| Constructing Probabilistic (ATMS) using Incidence Calculus
|
| JP1052
| 1996 Journal Paper
| Miglino,O; Lund,HH; Nolfi,S
|
| Evolving Mobile Robots in simulated and Real Environment
|
| JP1046
| 1996 Journal Paper
| Peremans,H; Veelaert,P
|
| Tri-aural Perception on the Batmobile
|
| JP1041
| 1996 Journal Paper
| Mitsakakis,N; Fisher,RB; Walker,AV
|
| Classification of Humpback Whalesong Units using a Self Organizing Feature Mapt
|
| JP1024
| 1996 Journal Paper
| Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RJ
|
| Convex Hulls, Occluding Contours, Aspect Graphs and the Hough Transform
|
| JP1023
| 1996 Journal Paper
| Hoover,A; Jean-Baptiste,G; Jaing,X; Flynn,P; Bunke,H; Goldgof,D; Bowyer,K; Eggert,D; Fitzgibbon,AW; Fisher,RJ
|
| An Experimental Comparison of Range Segmentation Algorithms
|
| JP1018
| 1996 Journal Paper
| Taylor,J; Carletta,J; Mellish,CS
|
| Requirements for Belief Models in Cooperative Dialogue
|
| JP1017
| 1996 Journal Paper
| Carletta,J; Mellish,CS
|
| Risk-Taking and recovery in Task-Oriented Dialogue
|
| JP1016
| 1996 Journal Paper
| Knott,A; Mellish,CS
|
| A Feature-Based Account of the Relations Signalled by ...
|
| JP989
| 1995 Journal Paper
| Leitch,R; Chantler,M; Brown,K; Kane,T; Shen,Q
|
| Modelling Choices in Intelligent Systems
|
| JP988
| 1995 Journal Paper
| Leitch,R; Freitag,H; Tornielli,G; Shen,Q
|
| Composing Model Based Diagnostic Systems
|
| JP987
| 1995 Journal Paper
| Shen,Q; Leitch,R
|
| Diagnosing Continuous Systems with Qualitative Dynamic Models
|
| JP977
| 1995 Journal Paper
| Mellish,CS
|
| Natural Language Generation and Technical Documentation
|
| JP975
| 1995 Journal Paper
| Yangs,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
| JP922
| 1995 Journal Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Natural Language Interfaces to Databases - an Introduction
|
| JP918
| 1995 Journal Paper
| Kendon,GB; Walker,DA; Robertson,DS; Haggith,MC; Sinclair,F; Muetzelfeldt,R
|
| Supporting Customised Reasoning in the Agroforesty Domain
|
| JP917
| 1995 Journal Paper
| Park,N; Robertson,DS; gardner,K
|
| Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
|
| JP916
| 1995 Journal Paper
| Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D
|
| The Application of Logic Programming to Decision Support Systems in Ecology
|
| JP901
| 1995 Journal Paper
| Borges,D; Bispo,EM; Fisher,RB
|
| Tenicas de Aquisicao Automatica de Modelos Geometrica para Reconhecimento e Inspecao
|
| JP900
| 1995 Journal Paper
| Trucco,E; Fisher,RB
|
| Experiments in Curvature-Based Segmentation of Range Data
|
| JP888
| 1995 Journal Paper
| Reiter,E; Mellish,CS; Levine,J
|
| Automatic Generation of Technical Documentation
|
| JP886
| 1995 Journal Paper
| Bull,S; Pain,HG; Brna,P
|
| Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
|
| JP885
| 1995 Journal Paper
| Bull,S; Brna,P; Pain,HG
|
| Extending the Scope of the Student Model
|
| JP880
| 1995 Journal Paper
| Conlon,T; Bowman,N
|
| Expert Systems, Shells and Schools
|
| JP875
| 1995 Journal Paper
| McLean,R; Bundy,A; Liu,W
|
| Assignment Methods for Incidence Calculus
|
| JP1085
| 1995 Journal Paper
| Fisher,RB
|
| Is Computer Vision still AI?
|
| JP870
| 1994 Journal Paper
| Bundy,A
|
| a Subsumption Architecture for Theorem Proving
|
| JP761
| 1994 Journal Paper
| Ross,PM; Corne,D
|
| Applications of Genetic Algorithms
|
| JP752
| 1994 Journal Paper
| Robertson,DS; Agusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements Using Refinement Lattices
|
| JP745
| 1994 Journal Paper
| Liu,W; Bundy,A
|
| a Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence
|
| JP744
| 1994 Journal Paper
| MacQueen,H; Bundy,A
|
| the New Software Copyright Law
|
| JP743
| 1994 Journal Paper
| Bundy,A
|
| What is the Difference between Ral Creativity and Mere Novelty
|
| JP739
| 1994 Journal Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
| JP737
| 1994 Journal Paper
| Bull,S
|
| Learning Languages: Implications for Student Modelling in ICALL
|
| JP736
| 1994 Journal Paper
| Bull,S
|
| Student Modelling for Second Language Acquisition
|
| JP721
| 1994 Journal Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
| JP720
| 1994 Journal Paper
| Hallam,JC; Malcolm,CA
|
| Behaviour: Perception, Action and Intelligence - the View from Situated Robotics
|
| JP701
| 1994 Journal Paper
| Ritchie,GD
|
| Commentary on Kaplan and Ray
|
| JP699
| 1994 Journal Paper
| Knott,A; Dale,R
|
| Using Linguistic Phenomena to Motivate a Set of Coherence Relations
|
| JP685
| 1994 Journal Paper
| Gent,I
|
| Proof Systems for Fourteen Logics of Counterfactuals
|
| JP1206
| 1994 Journal Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
| JP687
| 1993 Journal Paper
| Smithers,T; Tang,M; Ross,PM; Tomes,N
|
| Supporting Drug Design Using an Incremental Learning Approach
|
| JP684
| 1993 Journal Paper
| Gent,I
|
| Theory Matrices (for Model Logics) using Alphabetical Monotonicity
|
| JP683
| 1993 Journal Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in GSAT
|
| JP679
| 1993 Journal Paper
| Trucco,E
|
| Segmentation of Slice Data Using Regularity
|
| JP677
| 1993 Journal Paper
| Ireland,A
|
| On Exploiting the Structure of Martin-Lofs Theory of Types
|
| JP640
| 1993 Journal Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation
|
| JP623
| 1993 Journal Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW; Orr,M; Waite,M
|
| Imagine - a 3-D Vision System
|
| JP335
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| JP328
| 1993 Journal Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW
|
| Acquisition and Interpretation of 3-D Data in Machine Vision
|
| JP323
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Miranda,E; Harris,M
|
| a Framework for the Evaluation of Music Representation Systems
|
| JP322
| 1993 Journal Paper
| Smaill,AD; Wiggins,G; Harris,M
|
| Hierarchical Music Representation for Analysis and Composition
|
| JP193
| 1993 Journal Paper
| Wu,X
|
| Inductive Learning: Algorithms and Frontiers
|
| JP181
| 1993 Journal Paper
| Trucco,E
|
| Part Segmentation of Slice Data Using Regularity
|
| JP142
| 1993 Journal Paper
| Giunchiglia,F; Walsh,T
|
| the Inevitability of Inconsistent Abstract Spaces
|
| JP128
| 1993 Journal Paper
| Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| JP125
| 1993 Journal Paper
| Brna,P
|
| Teaching Prolog Techniques
|
| JP329
| 1992 Journal Paper
| Fisher,RB
|
| THESIS PREVENTION 2 -- a Student of Father Hacker Replies
|
| JP298
| 1992 Journal Paper
| Kingston,J
|
| Pragmatic KADS: a Methodological Approach to a Small KBS Project
|
| JP295
| 1992 Journal Paper
| Kingston,J
|
| Knowledge Based Systems in the UK Financial Sector
|
| JP294
| 1992 Journal Paper
| Fraser,J; Harrison,I
|
| Preselecting Well Test Interpretation Models Using External Data
|
| JP293
| 1992 Journal Paper
| Fraser,J
|
| What is Artificial Intelligence
|
| JP292
| 1992 Journal Paper
| Drabble,B
|
| a Program for Planning and Reasoning with Processes
|
| JP230
| 1992 Journal Paper
| Baldock,R
|
| Trainable Models for the Interpretation of Biomedical Images
|
| JP229
| 1992 Journal Paper
| Baldock,R; Bard,J; Kaufmann,M; Davidson,D
|
| a Real Mouse for Your Computer
|
| JP224
| 1992 Journal Paper
| King,K
|
| AI: Real Solutions for Developing Countries
|
| JP217
| 1992 Journal Paper
| Mellish,CS
|
| Natural Language Generation from Plans
|
| JP213
| 1992 Journal Paper
| Cox,R; Hulme,C; Brown,G
|
| STM Experimenter: Using HYPERCARD and MACRORECORDER in Short-Term Memory Experiments
|
| JP202
| 1992 Journal Paper
| Guinchiglia,F; Ferrari,C; Traverso,P; Trucco,E
|
| Understanding Scene Descriptions by Integrating Different Sources of Knowledge
|
| JP200
| 1992 Journal Paper
| Ritchie,GD
|
| Languages Generated by Two-Level Morphological Rules
|
| JP195
| 1992 Journal Paper
| Wu,X
|
| a Frame Based Architecture for Information Integration in CIMS
|
| JP173
| 1992 Journal Paper
| Smithers,T; Tang,M; Tones,M; Buck,P; Clarke,B; Lloyd,G
|
| Development of a Knowledge-Based Design Support System
|
| JP151
| 1992 Journal Paper
| Logan,B
|
| Understanding Problem Structure as Heuristic Formation in Design
|
| JP141
| 1992 Journal Paper
| Giunchiglia,F; Walsh,T
|
| a Theory of Abstraction
|
| JP140
| 1992 Journal Paper
| Guinchiglia,F; Ferrari,C; Traverso,P; Trucco,E
|
| Understanding Scene Descriptions by Integrating Different Sources of Knowledge
|
| JP139
| 1992 Journal Paper
| Gent,I
|
| a Sequent- or Tableau-style System for Lewis's Counter-Factual Logic VC
|
| JP138
| 1992 Journal Paper
| Bowles,A
|
| Trends in Applying Abstract Interpretation
|
| JP134
| 1992 Journal Paper
| Fisher,RB
|
| Representation, Extraction and Recognition with Second-order Topographic Surface Features
|
| JP89
| 1991 Journal Paper
| Robertson,DS
|
| Multi-Level Cooperative Dialogue in Intelligent Front Ends
|
| JP34
| 1991 Journal Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration
|
| JP33
| 1991 Journal Paper
| Mellish,CS
|
| the Description Identification Problem
|
| JP32
| 1991 Journal Paper
| Looi,C
|
| Automatic Debugging of Prolog Programs in a Prolog Intelligent Tutoring System
|
| JP31
| 1991 Journal Paper
| Hallam,JC
|
| Playing with Toy Cars: An Experiment in Real-Time Control
|
| JP30
| 1991 Journal Paper
| Fisher,RB; Orr,M
|
| Geometric Reasoning in a Parallel Network
|
| JP29
| 1991 Journal Paper
| Dale,R; Haddock,N
|
| Content Determination in the Generation of Referring Expressions
|
| JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
| JP27
| 1991 Journal Paper
| Bundy,A; Grosse,G; Brna,P
|
| a Recursive Techniques Editor for Prolog
|
| JP26
| 1991 Journal Paper
| Smith,B; van Someren,M; Brna,P; Bundy,A; Dodd,T; Eisenstadt,M; Looi,C; Pain,HG; Robertson,DS
|
| Prolog Programming Techniques
|
| JP25
| 1991 Journal Paper
| Brna,P; Brayshaw,M; Bundy,A; Dodd,T; Elsom-Cook,M; Fung,P
|
| An Overview of Prolog Debugging Tools
|
| JP24
| 1991 Journal Paper
| Brna,P; Pain,HG; du Boulay,B
|
| Teaching, Learning and Using Prolog: Supporting the Programmer
|
| JP23
| 1991 Journal Paper
| Brna,P
|
| Promoting Creative Confrontations
|
| JP104
| 1991 Journal Paper
| Trucco,E
|
| Inferring Convex Subparts from Slice Data
|
| JP584
| 1990 Journal Paper
| Trehan,R; Wilk,P
|
| Issues of Non-Determinism in Prolog and the Commited Choice Non-Deterministic Logic Languages
|
| JP577
| 1990 Journal Paper
| Thompson,HS
|
| Best-First Enumeration of Paths through a Lattice - An Active Chart Parsing Solution
|
| 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
|
| JP549
| 1990 Journal Paper
| Smithers,T; Troxell,W
|
| Design is Intelligent Bahaviour, but What's the Formalism?
|
| JP548
| 1990 Journal Paper
| Smithers,T
|
| the Pretenders New Clothes
|
| JP523
| 1990 Journal Paper
| Malcolm,CA; Smithers,T
|
| Symbol Grounding via a Hybrid Architecture
|
| JP520
| 1990 Journal Paper
| Moffat,D; Ritchie,GD
|
| Modal Queries about Partially-Ordered Plans
|
| JP515
| 1990 Journal Paper
| King,K; Beck,H
|
| Medical AI Systems as Appropriate Technology for Developing Countries
|
| JP503
| 1990 Journal Paper
| Guinchiglia,F; Walsh,T
|
| Abstraction in AI
|
| JP499
| 1990 Journal Paper
| Fisher,RB
|
| Geometric Constraints from Planar Surface Patch Matchings
|
| JP486
| 1990 Journal Paper
| Dale,R
|
| a Rule-Based Approach to Computer-Assisted Copy Editing
|
| JP436
| 1990 Journal Paper
| Brna,P
|
| a Methodology for Confronting Science Misconceptions
|
| JP432
| 1990 Journal Paper
| Brna,P; Pain,HG; du Boulay,B
|
| Teaching Learning and Using Prolog: Understanding Prolog
|
| JP430
| 1990 Journal Paper
| Brna,P
|
| a Computer Based Methodology to Aid in Confronting Science Misconceptions
|
| JP595
| 1989 Journal Paper
| Thompson,HS
|
| Linguistics Corpora for the Language Industry: a European Community Public Utility
|
| JP589
| 1989 Journal Paper
| Thornton,C
|
| Learning Mechanism which Construct Neighbourhood Representations
|
| JP588
| 1989 Journal Paper
| Thornton,C
|
| a Cross Section of European Research
|
| JP565
| 1989 Journal Paper
| Scott,R; Trehan,R
|
| Translating from Prolog to Occam 2: a Methodology
|
| JP559
| 1989 Journal Paper
| Smithers,T; Malcolm,CA
|
| Programming Robotic Assembly in Terms of Task Achieving Behavioural Modules
|
| JP542
| 1989 Journal Paper
| Robertson,DS; Bundy,A; Uschold,M; Muetzelfeldt,B
|
| the ECO Program Construction System: Ways of Increasing its Representation Power and Their Affects on the User Interface
|
| JP413
| 1989 Journal Paper
| Mellish,CS; Evans,R
|
| Natural Language Generation from Plans
|
| JP412
| 1989 Journal Paper
| Muetzelfeldt,R; Robertson,DS; Uschold,M; Bundy,A
|
| the Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling
|
| JP391
| 1989 Journal Paper
| Logan,B
|
| Conceptualising Design Knowledge
|
| JP386
| 1989 Journal Paper
| Kwa,J
|
| BS*: An Admissible Bidirectional Staged Heuristic Search Algorithm
|
| JP349
| 1989 Journal Paper
| Cawsey,A
|
| Expanatory Dialogues
|
| JP345
| 1989 Journal Paper
| Bundy,A; Sterling,L; O'Keefe,R; Silver,B
|
| Solving Symbolic Equations with Press
|
| JP339
| 1989 Journal Paper
| Brna,P
|
| Programmed Rockets: An Analysis of Students' Strategies
|
| JP1124
| 1988 Journal Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D
|
| Calibration, Data Consistency and Model Acquisition with a 3-D Laser Striper
|
| JP1098
| 1988 Journal Paper
| Fothergill,A; Fisher,RB; Aylett,J
|
| Predictive Computer Vision for Robotic Assembly
|
| JP1089
| 1987 Journal Paper
| Orr,M; Fisher,RB
|
| Geometric Reasoning for Computer Vision
|
| JP1087
| 1987 Journal Paper
| Fisher,RB
|
| Representing 3D Structures for Visual Recognition
|
| JP1086
| 1987 Journal Paper
| Fisher,RB
|
| SMS: A Suggestive Modeling System For Object Recognition
|
| JP291
| 1002 Journal Paper
| Currie,K; Drabble,B
|
| Knowledge-Based Planning Systems: a tour
|
| JP713
| 94 Journal Paper
| Ross,PM; Corne,D
|
| Applications of Genetic Algorithms
|
![[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}