| RP95
|
|
|
|
|
| RP956
| 1999
| Kalfoglou,I; Robertson,DS; Tate,AB
|
| Using Meta-Knowledge at the Application Level
|
| RP955
| 1999 Research Paper
| Carmena,J; Hallam,JC
|
| Improving performance in a multi-robot task through minimal communication
|
| RP954
| 1999
| Biris,E
|
| Automatic Modelling using Bayesian Networks for Explanation Generation
|
| RP953
| 1999
| Bundy,A; Gow,JI; Green,I
|
| Extensions to the Estimation Calculus
|
| RP952
| 1999 Research Paper
| Kalfoglou,I
|
| Panel Discussion notes: Knowledge Maintenance - The Role of Formal Ontologies
|
| RP951
| 1999 Research Paper
| Bundy,A
|
| The Automation of Proof by Mathematical Induction
|
| RP950
| 1999 Research Paper
| Bundy,A
|
| A Survey of Automated Deduction
|
| RP949
| 1999 Research Paper
| Bundy,A; Richardson,J
|
| Proof Planning Methods as Schemas
|
| RP948
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Managing Ontological Constraints
|
| RP947
| 1999 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-triggered Learning in Autonomous Robot Control
|
| RP946
| 1999 Research Paper
| Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A
|
| Shape Reconstruction Incorporating Multiple Non-linear Geometric Constraints
|
| RP945
| 1999 Research Paper
| Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A
|
| Object Reconstruction by Incorporating Geometric Constraints in Reverse Engineering
|
| RP944
| 1999 Research Paper
| Colton,SG; Bundy,A
|
| Automatic Concept Formation in Pure Mathematics
|
| RP943
| 1999
| Colton,SG
|
| Refactorable Numbers - A Machine Invention
|
| RP942
| 1999 Research Paper
| Robertson,C; Fisher,RB; Corne,D; Werghi,N; Ashbrook,A
|
| Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data
|
| RP941
| 1999 Research Paper
| Robertson,C; Fisher,RB; Werghi,N; Ashbrook,A
|
| An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces
|
| RP940
| 1999 Research Paper
| Carbogim,DV; Robertson,DS; Lee,J
|
| Extending the Abstract Argumentation Framework to Include Argument Dynamics
|
| RP939
| 1999 Research Paper
| Whittle,JN; Bundy,A; Boulton,R; Lowe,H
|
| An ML Editor Based on Proofs-as-Programs
|
| RP938
| 1999 Research Paper
| Whittle,JN; Cumming,A
|
| Evaluating Environments for Functional Programming
|
| RP937
| 1999 Research Paper
| Lecoeuche,R; Robertson,DS; Barry,C; Mellish,CS
|
| Evaluating Focus Theories for Requirements Elicitation
|
| RP927
| 1999 Research Paper
| Kalfoglou,I; Robertson,DS
|
| An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Specifications
|
| RP936
| 1998 Research Paper
| Demiris,J; Hayes,GM
|
| Active Imitation
|
| RP935
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Use of Formal Ontologies to Support Error Checking in Specifications
|
| RP934
| 1998 Research Paper
| Armando,A; Gallagher,J; Smaill,AD; Bundy,A
|
| Automating the synthesis of decision procedures in a constructive metatheory
|
| RP933
| 1998 Research Paper
| Polyak,ST
|
| A Common Process Language
|
| RP932
| 1998 Research Paper
| Polyak,ST
|
| Mapping Timepoint-Based Constraints into Interval Relationships
|
| RP931
| 1998 Research Paper
| Polyak,ST
|
| A Common Process Methodology for Engineering Process Domains
|
| RP930
| 1998 Research Paper
| Polyak,ST; Tate,AB
|
| A Common Process Ontology for Process-Centred Organisations
|
| RP929
| 1998 Research Paper
| Curry,BD; Wiggins,G
|
| A New Approach to Cooperative Performance: A Preliminary Experiment
|
| RP928
| 1998 Research Paper
| Massios,NA; Fisher,RB
|
| A Best Next View selection algorithm incorporating a quality criterion
|
| RP926
| 1998 Research Paper
| Ijspeert,AJ; Kodjabachian,J
|
| Evolution and Development of a Central Pattern Generator for the Swimming of a Lamprey
|
| RP925
| 1998 Research Paper
| Perkins,SJ; Hayes,GM
|
| Evolving Complex Visual Behaviours using Generic Programming and Shaping
|
| RP924
| 1998 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Verification of Diagrammatic Proofs
|
| RP923
| 1998 Research Paper
| Castro,A; Robertson,DS; Muetzelfeldt,R
|
| Domain-specific synthesis of simulation models
|
| RP922
| 1998 Research Paper
| Polyak,ST; Tate,AB
|
| Rationale in Planning: Causality, Dependencies and Decisions
|
| RP921
| 1998 Research Paper
| Tate,AB; Polyak,ST; Jarvis,P
|
| TF Method: An Initial Framework for Modelling and Analysing Planning Domains
|
| RP920
| 1998 Research Paper
| Bundy,A; Colton,SG; Walsh,T
|
| HR - A System for Machine Discovery in Finite Algebras
|
| RP919
| 1998 Research Paper
| Polyak,ST
|
| Applying Design Space Analysis to Planning
|
| RP918
| 1998 Research Paper
| Polyak,ST; Gruninger,M; Lee,J; Menzel,C
|
| Applying the Process Interchange Format (PIF) to a Supply Chain Process Interoperability Scenario
|
| RP917
| 1998 Research Paper
| Polyak,ST
|
| A Supply Chain Process Interoperability Demonstration Using the Process Interchange Format (PIF)
|
| RP916
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-triggered Learning for Autonomous Robots
|
| RP915
| 1998 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| From Lampreys to Salamanders: evolving neural controllers for swimming and walking
|
| RP914
| 1998 Research Paper
| Chandrinos,K; Pilu,M; Fisher,RB; Trahanias,P
|
| Image Processing Techniques for the Quantification of Atherosclerotic Changes
|
| RP913
| 1998 Research Paper
| He,D; Ritchie,GD; Lee,J
|
| Disambiguation between Visual Display and Represented Domain in Multimodal Interfaces
|
| RP912
| 1998 Research Paper
| Gomes,HM; Fisher,RB; Hallam,JC
|
| A Retina-like Image Representation of Primal Sketch Features Extracted using a Neural Network Approach
|
| RP911
| 1998 Research Paper
| Wiggins,G
|
| The Use of Constraint Systems for Musical Composition
|
| RP910
| 1998 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| On Automating Diagrammatic Proofs of Arithmetic Arguments
|
| RP909
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Exploring the Role of Emotions in Autonomous Robot Learning
|
| RP908
| 1998 Research Paper
| Bundy,A
|
| The Automation of Proof by Mathematical Induction
|
| RP907
| 1998 Research Paper
| Ashbrook,A; Fisher,RB; Werghi,N; Robertson,C
|
| Aligning Arbitrary Surfaces using Pairwise Geometric Histograms
|
| RP906
| 1998 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Finding Surface Correspondence for Object Recognition and Registration using Pairwise Geometric Histograms
|
| RP905
| 1998 Research Paper
| Monroy-Borja,R; Bundy,A; Green,I
|
| Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence
|
| RP904
| 1998 Research Paper
| Phon-Amnuaisuk,S; Tuson,AL; Wiggins,G
|
| Evolving Musical Harmonisation
|
| RP903
| 1998 Research Paper
| Wiggins,G; Smaill,AD
|
| Musical Knowledge: what can Artificial Intelligence bring to the musician ?
|
| RP899
| 1998 Research Paper
| Malcolm,CA
|
| The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
|
| RP897
| 1998 Research Paper
| Baron,P; Tuson,AL; Fisher,RB; Mill,F; Sherlock,A
|
| A Voxel-Based Approach to Evolutionary Shape Optimisation
|
| RP896
| 1998 Research Paper
| Ramscar,MJ; Darrington,S; Lee,J; Pain,HG
|
| Categorisation: Schemas, Similarities and Theories
|
| RP895
| 1998 Research Paper
| Ramscar,MJ; Pain,HG; Darrington,S; Lee,J
|
| Examples and Generalisations: Using Surface Versus Structural Recall Biases to Probe Conceptual Storage
|
| RP894
| 1998 Research Paper
| Darrington,S; Lingstadt,T; Ramscar,MJ
|
| Analogy as a Sub-Process of Categorisation
|
| RP893
| 1998 Research Paper
| Ramscar,MJ; Hahn,U
|
| What Family Resemblances are not: the Continuing Relevance of Wittgenstein to the Study of Concepts and Categories
|
| RP892
| 1998 Research Paper
| Fisher,RB; MacKirdy,A
|
| Integrating Iconic and Structured Matching
|
| RP891
| 1998 Research Paper
| Chen-Burger,J; Robertson,DS
|
| Formal Support for an Informal Business Modelling Method
|
| RP890
| 1998 Research Paper
| Taylor,TJ; Hallam,JC
|
| Replaying the Tape: an Investigation into the Role of Contingency in Evolution
|
| RP889
| 1998 Research Paper
| Willmott,SN; Bundy,A; Levine,J; Richardson,J
|
| Adversarial Planning in Complex Domains
|
| RP888
| 1998 Research Paper
| Melis,E; Bundy,A
|
| Planning and Proof Planning
|
| RP887
| 1998 Research Paper
| Kalfoglou,I; Robertson,DS
|
| Error Checking in the Process Interchange Format (Pif) Ontology
|
| RP886
| 1998 Research Paper
| Bundy,A
|
| Proof Planning
|
| RP885
| 1998 Research Paper
| Slind,K; Gordon,M; Boulton,R; Bundy,A
|
| System Description: an Interface Between Clam and Hol
|
| RP884
| 1998 Research Paper
| Ireland,A; Bundy,A
|
| Automatic Verification of Functions with Accumulating Parameters
|
| RP883
| 1998 Research Paper
| Tuson,AL
|
| Optimisation with Hillclimbing on Steroids: an Overview of Neighbourhood Search Techniques
|
| RP882
| 1998 Research Paper
| Wiggins,G; Papadopoulos,GP; Phon-Amnuaisuk,S; Tuson,AL
|
| Evolutionary Methods for Musical Composition
|
| RP881
| 1998 Research Paper
| Gadanho,S; Hallam,JC
|
| Emotion-Driven Learning for Animat Control
|
| RP880
| 1998 Research Paper
| Bundy,A
|
| The Termination of Rippling and Unblocking
|
| RP876
| 1998 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Evolving Swimming Controllers for a Simulated Lamprey with Inspiration from Neurobiology
|
| RP902
| 1997 Research Paper
| Binsted,K; Ritchie,GD
|
| Towards a model of story puns
|
| RP901
| 1997 Research Paper
| Spratling,MW; Hayes,GM
|
| A Self-Organising Neural Network for Modelling Cortical Development
|
| RP900
| 1997 Research Paper
| Spratling,MW; Hayes,GM
|
| Learning Sensory-Motor Cortical Mappings Without Training
|
| RP898
| 1997 Research Paper
| Baron,P; Fisher,RB; Mill,F; Sherlock,A; Tuson,AL
|
| A Voxel-Based Representation for the Evolutionary Shape Optimisation of a Simplified Beam: A Case-Study of a Problem-Centred Approach to Genetic Operator Design
|
| RP879
| 1997 Research Paper
| Ratford,MS; Tuson,AL; Thompson,HS
|
| Applying Sexual Selection as a Mechanism for Obtaining Multiple Distinct Solutions
|
| RP878
| 1997 Research Paper
| Lowe,H; Pechoucek,M; Bundy,A
|
| Proof Planning for Maintainable Configuration Systems
|
| RP877
| 1997 Research Paper
| Binsted,K; Pain,HG; Ritchie,GD
|
| Chiildren's Evaluation of Computer-Generated Punning Riddles
|
| RP875
| 1997 Research Paper
| Malcolm,CA
|
| A Hybrid Behavioural/Knowledge-Based Approach to Robotic Assembly
|
| RP874
| 1997 Research Paper
| Ponsford,D; Wiggins,G; Mellish,CS
|
| Statistical Learning of Harmonic Movement
|
| RP873
| 1997 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Reasoning
|
| RP872
| 1997 Research Paper
| Janicic,P; Green,I; Bundy,A
|
| A Comparison of Decision Procedures in Presburger Arithmetic
|
| RP871
| 1997 Research Paper
| Pechoucek,M; Lowe,H; Bundy,A
|
| Proof Planning and Industrial Configuration
|
| RP870
| 1997 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Segmentation of Range Data into Rigid Subsets Using Surface Patches
|
| RP869
| 1997 Research Paper
| Ashbrook,A; Fisher,RB; Robertson,C; Werghi,N
|
| Segmentation of Range Data into Rigid Subsets Using Planar Surface Patches
|
| RP868
| 1997 Research Paper
| Werghi,N; Fisher,RB; Ashbrook,A; Robertson,C
|
| Improving Model Shape Acquisition by Incorporating Geometric Constraints
|
| RP867
| 1997 Research Paper
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views for Use in Reverse Engineering of Cad Models
|
| RP866
| 1997 Research Paper
| Colton,SG; Cresswell,SN; Bundy,A
|
| The Use of Classification in Automated Mathematical Concept Formation
|
| RP865
| 1997 Research Paper
| Ijspeert,AJ; Hallam,JC; Willshaw,D
|
| Artificial Lampreys: Comparing Naturally and Artificially Evolved Swimming Controllers
|
| RP864
| 1997 Research Paper
| Deacon,G; Wright,M; Malcolm,CA
|
| Qualitative Transitions in Object Reorienting Behaviour, Part 2: the Effects of Varying the Centre of Mass
|
| RP863
| 1997 Research Paper
| Deacon,G; Wright,M; Malcolm,CA
|
| Qualitative Transitions in Object Reorienting Behaviour, Part 1: the Effects of Varying Friction
|
| RP862
| 1997 Research Paper
| Trewin,SM; Pain,HG
|
| Dynamic Modelling of Keyboard Skills Supporting Users with Motor Disabilities
|
| RP861
| 1997 Research Paper
| Ritchie,GD
|
| Completeness Conditions for Mixed Strategy Bidirectional Parsing
|
| RP860
| 1997 Research Paper
| He,D; Ritchie,GD; Lee,J
|
| Referring to Displays in Multimodal Interfaces
|
| RP859
| 1997 Research Paper
| Lowe,H; Pechoucek,M; Bundy,A
|
| Proof Planning and Configuration
|
| RP858
| 1997 Research Paper
| Whittle,JN; Bundy,A; Lowe,H
|
| An Editor for Helping Novices to Learn Standard Ml
|
| RP857
| 1997 Research Paper
| Chagas,N; Hallam,JC
|
| A Learning Mobile Robot: Theory, Simulation and Practice
|
| RP856
| 1997 Research Paper
| Ross,PM; Tuson,AL
|
| Directing the Search of Evolutionary and Neighbourhood-Search Optimisers for the Flowshop Sequencing Problem with an Idle-Time Heuristic
|
| RP855
| 1997 Research Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| Emergency Resource Redistribution in the Developing World: Towards a Practical Evolutionary/Meta-Heuristic Scheduling System
|
| RP854
| 1997 Research Paper
| Boulton,R; Bundy,A; Slind,K; Gordon,M
|
| A Prototype Interface Between Clam and Hol
|
| RP853
| 1997 Research Paper
| Peremans,H; Hallam,JC
|
| The Spectrogram Correlation and Transformation Receiver, Revisited
|
| RP852
| 1997 Research Paper
| Taylor,TJ; Hallam,JC
|
| Studying Evolution with Self-Replicating Computer Programs
|
| RP851
| 1997 Research Paper
| Gadanho,S; Hallam,JC
|
| The Role of Emotions: Exploring Autonomy Mechanisms in Mobile Robots
|
| RP850
| 1997 Research Paper
| Hoar,JS; Wyatt,J; Hayes,GM
|
| Multiple Evaluation Techniques for Robot Learning
|
| RP849
| 1997 Research Paper
| Perkins,SJ; Hayes,GM
|
| Incremental Acquisition of Complex Behavour Using Structured Evolution
|
| RP848
| 1997 Research Paper
| ,; Hayes,GM
|
| An Algorithm for Recognising Walkers
|
| RP847
| 1997 Research Paper
| ,; Hayes,GM
|
| A Neural Network for Moving Light Display Trajectory Prediction
|
| RP846
| 1997 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Time, Tense and Aspect in Natural Language Database Interfaces
|
| RP845
| 1997 Research Paper
| Hutter,D
|
| Equalizing Terms by Difference Reduction Techniques
|
| RP844
| 1997 Research Paper
| Ashbrook,A; Fisher,RB
|
| Constructing Models of Articulating Objects: Range Data Partitioning
|
| RP843
| 1997 Research Paper
| Fisher,RB; Fitzgibbon,AW; Eggert,D
|
| Extracting Surface Patches from Complete Range Descriptions
|
| RP842
| 1997 Research Paper
| Ratford,MS; Tuson,AL; Thompson,HS
|
| The Single Chromosome's Guide to Dating
|
| RP841
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Analogy in Inductive Theorem Proving
|
| RP840
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Analogy as a Control Strategy in Theorem Proving
|
| RP839
| 1996 Research Paper
| Trewin,SM; Pain,HG
|
| On the Adequacy and Uptake of Keyboard Access Facilities for People with Motor Disabilities
|
| RP838
| 1996 Research Paper
| Trewin,SM; Pain,HG
|
| Keyboard and Mouse Errors Due to Motor Disabilities
|
| RP837
| 1996 Research Paper
| Trewin,SM
|
| Inputlogger: General Purpose Logging of Keyboard and Mouse Events on an Apple Macintosh
|
| RP836
| 1996 Research Paper
| Bundy,A; Green,I
|
| An Experimental Comparison of Rippling and Exhaustive Rewriting
|
| RP835
| 1996 Research Paper
| Jamnik,M; Bundy,A; Green,I
|
| Automation of Diagrammatic Proofs in Mathematics
|
| RP834
| 1996 Research Paper
| Dennis,L; Bundy,A; Green,I
|
| Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs
|
| RP833
| 1996 Research Paper
| Walker,AV; Fisher,RB; Mitsakakis,N
|
| Singing Maps: Classification of Whalesong Units Using a Self-Organizing Feature Mapping Algorithm
|
| RP832
| 1996 Research Paper
| Lee,W; Hallam,JC; Lund,HH
|
| Applying Genetic Programming to Evolve Behavior Primitives and Arbitrators for Mobile Robots
|
| RP831
| 1996 Research Paper
| Kim,T; Malcolm,CA; Hallam,JC
|
| Developing of Vibration Sensors as Event Signature Sensors in Assembly
|
| RP830
| 1996 Research Paper
| Li,M
|
| A Rule-Based General Ai Problem Solving Mechanism Supporting Real-Time and Cooperative Problem Solving
|
| RP829
| 1996 Research Paper
| Li,M
|
| Problem Solving in a Simulated Robot World
|
| RP828
| 1996 Research Paper
| ,; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification Using Inductive Proof Planning
|
| RP827
| 1996 Research Paper
| Li,M; Chong,KW; Chan,SY; Hallam,JC
|
| Agent-Oriented Urban Traffic Control Simulation
|
| RP826
| 1996 Research Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| An Evolutionary/Meta-Heuristic Approach to Emergency Resource Redistribution in the Developing World
|
| RP825
| 1996 Research Paper
| Tuson,AL; Wheeler,R; Ross,PM
|
| A Prototype Emergency Resource Redistribution System for Disease Control Programmes
|
| RP824
| 1996 Research Paper
| Lund,HH; Hallam,JC
|
| Sufficient Neurocontrollers can be Surprisingly Simple
|
| RP823
| 1996 Research Paper
| Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
|
| Automating Reasoning Support for Design
|
| RP822
| 1996 Research Paper
| Li,M; Hallam,JC; Pryor,L; Chan,SY; Chong,KW
|
| A Cooperative Intelligent System for Urban Traffic Problems
|
| RP821
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Adapting Operator Settings in Genetic Algorithms
|
| RP820
| 1996 Research Paper
| Fisher,RB; Gionis,A
|
| Surface Reflectance Recovery Under Point Light Illumination
|
| RP819
| 1996 Research Paper
| Grove,T; Fisher,RB
|
| Attention in Iconic Object Matching
|
| RP818
| 1996 Research Paper
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Training Pdms on Models: the Case of Deformable Superellipses
|
| RP817
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Part Segmentation from 2D Edge Images by the Mdl Criterion
|
| RP816
| 1996 Research Paper
| Borges,D; Fisher,RB
|
| Class-Based Recognition of 3D Objects Represented by Volumetric Primitives
|
| RP815
| 1996 Research Paper
| Pain,HG; Bull,S; Brna,P
|
| A Student Model "for Its Own Sake"
|
| RP814
| 1996 Research Paper
| Demiris,J; Hayes,GM
|
| Imitative Learning Mechanisms in Robots and Humans
|
| RP813
| 1996 Research Paper
| Liu,W; Bundy,A
|
| Constructing Probalistic Atms Using Extended Incidence Calculus
|
| RP812
| 1996 Research Paper
| Trewin,SM
|
| A Study of Input Device Manipulation Difficulties
|
| RP811
| 1996 Research Paper
| ,; Birbilis,A; Hayes,GM
|
| Recognising Walkers Using Moving Light Displays
|
| RP810
| 1996 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| A Buyer'S Guide to Conic Fitting
|
| RP809
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T
|
| An Incompleteness Theorem Via Abstraction
|
| RP808
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Computing Abstraction Hierarchies by Numerical Simulation
|
| RP807
| 1996 Research Paper
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Calculating Criticalities
|
| RP806
| 1996 Research Paper
| Pilu,M; Fitzgibbon,AW; Fisher,RB
|
| Ellipse-Specific Direct Least-Square Fitting
|
| RP805
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Model-Driven Grouping and Recognition of Generic Object Parts from Single Images
|
| RP804
| 1996 Research Paper
| Eggert,D; Fitzgibbon,AW; Fisher,RB
|
| Simultaneous Registration of Multiple Range Views Satisfying Global Consistency Constraints for Use in Reverse Engineering
|
| RP803
| 1996 Research Paper
| Melis,E; Whittle,JN
|
| Internal Analogy in Theorem Proving
|
| RP802
| 1996 Research Paper
| Lee,W; Hallam,JC; Lund,HH
|
| A Hybrid Gp/Ga Approach for Co-Evolving Controllers and Robot Bodies to Achieve Fitness-Specified Tasks
|
| RP801
| 1996 Research Paper
| Pilu,M; Fisher,RB
|
| Recovery of Generic Solid Parts by Parametrically Deformable Aspects
|
| RP800
| 1996 Research Paper
| Webb,B; Hallam,JC
|
| How to Attract Females: Further Robotic Experiments in Cricket Phonotaxis
|
| RP799
| 1996 Research Paper
| Smaill,AD; Green,I
|
| Higher-Order Annotated Terms for Proof Search
|
| RP798
| 1996 Research Paper
| Huang,X; Hallam,JC
|
| Spring-Based Negotiation for Conflict Resolution in Agv Scheduling
|
| RP797
| 1996 Research Paper
| Huang,X
|
| Defining Metaphor-Based Negotiation
|
| RP796
| 1996 Research Paper
| Mota,Ed; Robertson,DS
|
| Representing Interaction of Agents at Different Time Granularities
|
| RP795
| 1996 Research Paper
| Perkins,SJ; Hayes,GM
|
| Robot Shaping - Principles, Methods and Architectures
|
| RP794
| 1996 Research Paper
| Fitzgibbon,AW; Pilu,M; Fisher,RB
|
| Direct Least Squares Fitting of Ellipses
|
| RP793
| 1996 Research Paper
| Robertson,DS
|
| Distributed Specification
|
| RP792
| 1996 Research Paper
| Robertson,DS
|
| Domain Specific Problem Description
|
| RP791
| 1996 Research Paper
| Robertson,DS
|
| An Empirical Study of the Lss Specificiation Toolkit in Use
|
| RP790
| 1996 Research Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: a Methodology for Applied Aied
|
| RP789
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Co-Evolution of Operator Settings in Genetic Algorithms
|
| RP788
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Self-Adaptation by Co-Evolution
|
| RP787
| 1996 Research Paper
| Tuson,AL; Ross,PM
|
| Cost Based Operator Rate Adaption: an Investigation
|
| RP786
| 1996 Research Paper
| Ireland,A; Bundy,A
|
| Extensions to a Generalization Critic for Inductive Proof
|
| RP785
| 1996 Research Paper
| Wright,M; Fitzgibbon,AW; Giblin,P; Fisher,RJ
|
| Beyond the Hough Transform: Further Properties of the R,Theta Mapping and Their Applications
|
| RP784
| 1996 Research Paper
| Wyatt,J
|
| Issues in Putting Reinforcement Learning Onto Robots
|
| RP783
| 1996 Research Paper
| Wyatt,J; Hayes,GM; Hallam,JC
|
| Investigating the Behaviour of Q(Lambda)
|
| RP782
| 1996 Research Paper
| Yeh,C; Mellish,CS
|
| An Evaluation of Anaphor Generation in Chinese
|
| RP781
| 1996 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A; Hesketh,J
|
| Proof Planning the Verification of Ccs Programs
|
| RP780
| 1996 Research Paper
| Frank,I; Basin,D
|
| Search in Games with Incomplete Information: a Case Study Using Bridge Card Play
|
| RP779
| 1995 Research Paper
| Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
|
| Coloured Rippling: an Extension of a Theorem Proving Heuristic
|
| RP778
| 1995 Research Paper
| Fisher,RB; Fitzgibbon,AW; Gionis,A; Wright,M; Eggert,D
|
| A Hand-Held Optical Surface Scanner for Environmental Modeling and Virtual Reality
|
| RP777
| 1995 Research Paper
| Smaill,AD; Green,I
|
| Automating the Synthesis of Functional Programs in Constructive Type Theory
|
| RP776
| 1995 Research Paper
| Vasconcelos,W; Fuchs,N
|
| Prolog Program Development Via Enhanced Schema-Based Transformations
|
| RP775
| 1995 Research Paper
| Fitzgibbon,AW; Eggert,D; Fisher,RB
|
| High-Level Cad Model Acquisition from Range Images
|
| RP774
| 1995 Research Paper
| Bundy,A
|
| A Subsumption Architecture for Theorem Proving
|
| RP773
| 1995 Research Paper
| Bull,S; Smith,ML
|
| Using Targeted Negotiation to Support Students' Learning
|
| RP772
| 1995 Research Paper
| Good,J
|
| The 'Right' Tool for the Task: an Investigation of External Representations, Program Abstractions and Task Requirements
|
| RP771
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Handling Contradictions in Learner Modelling in the "Translating Algebraic Problems System" (Taps)
|
| RP770
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Modelling and Mending Students' Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in Taps
|
| RP769
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Planning Dextrous Hand Precision Grasps from Range Data, Using Preshaping and Finger Trajectories
|
| RP768
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Dextrous Hand Grasping Strategies Using Preshapes and Digit Trajectories
|
| RP767
| 1995 Research Paper
| Richardson,J
|
| Automating Changes of Data Type in Functional Programs
|
| RP766
| 1995 Research Paper
| Melis,E
|
| Analogy in Clam
|
| RP765
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
| RP764
| 1995 Research Paper
| Pilu,M; Fisher,RB
|
| Equal-Distance Sampling of Superellipse Models
|
| RP763
| 1995 Research Paper
| Ritchie,GD
|
| Completeness Conditions for Mixed Strategy Context Free Parsing
|
| RP762
| 1995 Research Paper
| Bull,S
|
| Handling Native and Non-Native Language Transfer in Call: Theory and Practice
|
| RP761
| 1995 Research Paper
| Bull,S; Brna,P; Pain,HG
|
| Extending the Scope of the Student Model
|
| RP760
| 1995 Research Paper
| Bull,S; Pain,HG
|
| "Did i Say what i Think i Said, and do You Agree with Me?": Inspecting and Questioning the Student Model
|
| RP759
| 1995 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
|
| RP758
| 1995 Research Paper
| Yang,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
| RP757
| 1995 Research Paper
| Conlon,T
|
| Automated Analysis for Knowledge-Based Modelling
|
| RP756
| 1995 Research Paper
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
| RP755
| 1995 Research Paper
| Haggith,MC
|
| A Meta-Level Framework for Exploring Conflicts in Multiple Knowledge Bases
|
| RP754
| 1995 Research Paper
| Haggith,MC
|
| Support for Argumentation in Natural Resource Management
|
| RP753
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Experience Using Tsql2 in a Natural Language Interface
|
| RP752
| 1995 Research Paper
| Fillatreau,P; Fisher,RB
|
| Non-Polyhedral Landmark Recognition Using 3D Depth Images and Partially Correct Models
|
| RP751
| 1995 Research Paper
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot Using Motion Information Based on Honey Bee Strategies
|
| RP750
| 1995 Research Paper
| Negrete-Yankelevich,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
| RP749
| 1995 Research Paper
| Collins,G; Pryor,L
|
| Planning Under Uncertainty: Some Key Issues
|
| RP748
| 1995 Research Paper
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Sentence Generation from Conceptual Graphs
|
| RP747
| 1995 Research Paper
| Crowe,J
|
| Constraint-Based Event Recognition for Information Extraction
|
| RP746
| 1995 Research Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: Marrying the Technology Push with the Learning Pull
|
| RP745
| 1995 Research Paper
| Lowe,H; Bundy,A; McLean,D
|
| The Use of Proof Planning for Cooperative Theorem Proving
|
| RP742
| 1995 Research Paper
| Westhead,M
|
| Synchronous Systems for Behaviour Based Robot Control
|
| RP741
| 1995 Research Paper
| Webb,B
|
| An Arbitrary Architecture for an Artificial Arthropod
|
| RP740
| 1995 Research Paper
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
| RP738
| 1995 Research Paper
| Pryor,L
|
| Decisions, Decisions: Knowledge Goals in Planning
|
| RP737
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
| RP736
| 1995 Research Paper
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| Kbst: a Support Tool for Business Modelling in Bsdm
|
| RP735
| 1995 Research Paper
| Melis,E
|
| Analogy-Driven Proof-Plan Construction
|
| RP734
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| A Framework for Natural Language Interfaces to Temporal Databases
|
| RP732
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| An Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
|
| RP731
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| Reasoning with Limited Unification in a Connectionist Rule-Based System
|
| RP730
| 1995 Research Paper
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of Kbs from Specification to Hardware
|
| RP729
| 1995 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
| RP678A
| 1995 Research Paper
| Fernandes,A; Ritchie,GD; Moffat,D
|
| A Formal Reconstruction of Procedural Semantics
|
| RP733
| 1994 Research Paper
| Ahs,T; Wiggins,G
|
| Rippling with Relational Definitions
|
| RP728
| 1994 Research Paper
| Borges,D; Orr,M; Fisher,RB
|
| A Radial Basis Function Neural Network for Parts Identification of Three Dimensional Shapes
|
| RP727
| 1994 Research Paper
| Horn,C; Smaill,AD
|
| From Meta-Level Tactics to Object-Level Programs
|
| RP726
| 1994 Research Paper
| Reeve,R; Hallam,JC
|
| Control of Walking by Central Pattern Generators
|
| RP725
| 1994 Research Paper
| Lombart,V; Deville,Y
|
| Rippling on Relational Structures
|
| RP724
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Computational Phase Transitions in Real Problems
|
| RP723
| 1994 Research Paper
| Richards,B; Kraan,I; Smaill,AD; Wiggins,A
|
| Mollusc a General Proof-Development Shell for Sequent-Based Logics
|
| RP722
| 1994 Research Paper
| Hasselbring,W; Fisher,RB
|
| Investigating Parallel Interpretation-Tree Model Matching Algorithms with Proset-Linda
|
| RP721
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Unsatisfied Variables in Local Search
|
| RP720
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Free-Form Surface Matching for Surface Inspection
|
| RP719
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D
|
| Calibration, Data Consistency and Model Acquisition with a 3-D Laser Striper
|
| RP718
| 1994 Research Paper
| Vargas-Vera,M; Robertson,DS
|
| An Environment for Building Prolog Programs Based on Knowledge About Their Construction
|
| RP717
| 1994 Research Paper
| Fisher,RB
|
| Best-First and Ten Other Variations of the Interpretation-Tree Model Matching Algorithm
|
| RP716
| 1994 Research Paper
| Ireland,A; Bundy,A
|
| Productive Use of Failure in Inductive Proof
|
| RP715
| 1994 Research Paper
| Vasconcelos,W
|
| Extracting Prolog Programming Techniques
|
| RP714
| 1994 Research Paper
| Gent,I; Walsh,T
|
| How not to do it
|
| RP713
| 1994 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling Beyond Domain Knowledge
|
| RP712
| 1994 Research Paper
| Bull,S; Musson,T
|
| Goal-Oriented Software: when the Development Process is Different...
|
| RP711
| 1994 Research Paper
| Bull,S; Musson,T
|
| Incorporating Learning Issues into Computer Assisted Education
|
| RP710
| 1994 Research Paper
| Fisher,RB
|
| Is Computer Vision Still Ai
|
| RP709
| 1994 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Natural Language Interfaces to Databases - an Introduction
|
| RP708
| 1994 Research Paper
| Corne,D; Ross,PM; Fang,H
|
| Fast Practical Evolutionary Timetabling
|
| RP707
| 1994 Research Paper
| Ross,PM; Corne,D; Fang,H
|
| Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation
|
| RP706
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Invariant Fitting of Arbitrary Single-Extremum Surfaces
|
| RP705
| 1994 Research Paper
| Bowles,A; Robertson,DS
|
| A Case-Based Reasoning Approach to Supporting Novice Programmers
|
| RP704
| 1994 Research Paper
| Bull,S
|
| Learning Languages: Implications for Student Modelling in Icall
|
| RP703
| 1994 Research Paper
| Bull,S
|
| Student Modelling for Second Language Acquisition
|
| RP702
| 1994 Research Paper
| Gent,I
|
| The Satisfiability Constraint Gap
|
| RP701
| 1994 Research Paper
| Haggith,MC
|
| A Meta-Level Approach to Exploration of Multiple Knowledge Bases
|
| RP700
| 1994 Research Paper
| Bispo,EM; Fisher,RB
|
| Inspection of Free-Form Surfaces Using Dense Range Data
|
| RP699
| 1994 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Hybrid Ga/Heuristic Approach for Open Shop Scheduling Problems
|
| RP698
| 1994 Research Paper
| Funk,P; Robertson,DS
|
| Case-Based Selection of Requirements Specifications for Telecommunication Systems
|
| RP697
| 1994 Research Paper
| Yeh,C; Mellish,CS
|
| An Empirical Study on the Generation of Zero Anaphors in Chinese
|
| RP696
| 1994 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-Based Reasoning in the Domain of Building Regulations
|
| RP695
| 1994 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model for Implementation in Mobile Robots
|
| RP694
| 1994 Research Paper
| Hallam,B; Hallam,JC; Hayes,GM
|
| A Dynamic Net for Robot Control
|
| RP693
| 1994 Research Paper
| Trucco,E; Fisher,RB; Fitzgibbon,AW
|
| Direct Calibration and Data Consistency in 3-D Laser Scanning
|
| RP692
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| Robotic Learning by Imitation
|
| RP691
| 1994 Research Paper
| Kick,A; Walker,AV; Fisher,RB
|
| A Dynamic Model for Autonomous Vehicle Navigation
|
| RP690
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| An Implemented Model of Punning Riddles
|
| RP689
| 1994 Research Paper
| Fitzgibbon,AW; Bispo,EM; Fisher,RB; Trucco,E
|
| Automatic Acquisition of Cad Models from Multiple Range Views
|
| RP688
| 1994 Research Paper
| Binsted,K; Ritchie,GD
|
| A Symbolic Description of Punning Riddles and Its Computer Implementation
|
| RP687
| 1994 Research Paper
| Deacon,G; Malcolm,CA
|
| A Robot System Designed for Task-Level Assembly
|
| RP686A
| 1994 Research Paper
| Cox,R; Brna,P
|
| Supporting the Use of External Representations in Problem Solving: the Need for Flexible Learning Environments
|
| RP685
| 1994 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Lack-of-Fit Detection Using the Run-Distribution Test
|
| RP684
| 1994 Research Paper
| Fisher,RB
|
| Performance Comparison of Ten Variations on the Interpretation-Tree Matching Algorithm
|
| RP683
| 1994 Research Paper
| Smart,WD; Hallam,JC
|
| Location Recognition with Self-Ordering Networks
|
| RP682
| 1994 Research Paper
| Corne,D; Smithers,T; Ross,PM
|
| Solving Design Problems by Computational Exploration
|
| RP681
| 1994 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A
|
| Proof Plans for the Correction of False Conjectures
|
| RP680
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Hardest Random Sat Problems
|
| RP679
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Sat Phase Transition
|
| RP676
| 1994 Research Paper
| Hayes,GM; Demiris,J
|
| A Robot Controller Using Learning by Imitation
|
| RP675
| 1994 Research Paper
| Perkins,SJ; Hayes,GM
|
| Real Time Optical Flow Based Range Sensing on Mobile Robots
|
| RP674
| 1994 Research Paper
| Levine,J; Mellish,CS
|
| Corect: Combining Cscw with Natural Language Generation for Collaborative Requirements Capture
|
| RP673
| 1994 Research Paper
| Chesters,W; Hayes,GM
|
| Connectionist Environment Modelling in a Real Robot
|
| RP743
| 1993 Research Paper
| Westhead,M
|
| Robust Intelligent Control Through the Use of a Behaviour Based Control Paradigm
|
| RP739
| 1993 Research Paper
| Webb,B
|
| Modeling Biological Behaviour or "Dumb Animals and Stupid Robots"
|
| RP677
| 1993 Research Paper
| Bundy,A
|
| Prospects for Artificial Intelligence
|
| RP672
| 1993 Research Paper
| Bundy,A
|
| What is the Difference Between Real Creativity and Mere Novelty ?
|
| RP671
| 1993 Research Paper
| Bundy,A; MacQueen,H
|
| The New Software Copyright Law
|
| RP670
| 1993 Research Paper
| Trucco,E; Diprima,M; Roberto,V
|
| Visibility Scripts for Active Feature-Based Inspection
|
| RP669
| 1993 Research Paper
| Bundy,A
|
| Can Theorem Proving Keep the Planes Flying ?
|
| RP668
| 1993 Research Paper
| Westhead,M; Smaill,AD
|
| Automatic Characterisation of Musical Style
|
| RP667
| 1993 Research Paper
| Smaill,AD; Wiggins,G; Miranda,E
|
| Music Representation - Between the Musician and the Computer
|
| RP666
| 1993 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| An Extension of the Temporal Synchrony Solution to Dynamic Variable Bindings in a Connectionist System
|
| RP665
| 1993 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Student Modelling in an Intelligent Computer Assisted Language Leraning System: the Issues of Language Transfer and Learning Strategies
|
| RP664
| 1993 Research Paper
| Lowe,H
|
| Synthesizing Computer Configurations from Specifications: Structuring Knowledge for Design
|
| RP663
| 1993 Research Paper
| Lowe,H
|
| Proof Planning and Maintainability of Ai Systems
|
| RP662
| 1993 Research Paper
| Lowe,H
|
| Proof Planning: a Methodology for Developing Ai Systems Involving Design
|
| RP661
| 1993 Research Paper
| Negrete-Yankelevich,S
|
| Proof Plans and Automatic Theorem Proving with Hints (Paper in Spanish)
|
| RP660
| 1993 Research Paper
| Trucco,E; Fisher,RB
|
| Acquisition of Consistent Range Data Using Local Calibration
|
| RP659
| 1993 Research Paper
| Fisher,RB; Fitzgibbon,AW; Waite,M; Trucco,E; Orr,M
|
| Recognition of Complex 3-D Objects from Range Data
|
| RP658
| 1993 Research Paper
| Wiggins,G; Miranda,E; Smaill,AD; Harris,M
|
| Surveying Musical Representation Systems: a Framework for Evaluation
|
| RP657
| 1993 Research Paper
| Bull,S
|
| Towards User / System Collaboration in the Development of a Student Model for Intelligent Computer Assisted Language Learning
|
| RP656
| 1993 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Collaboration and Reflection in the Construction of a Student Model for Intelligent Computer Assisted Language Learning
|
| RP655
| 1993 Research Paper
| Fisher,RB; Naidu,D; Singhal,D
|
| Rejection of Spurious Reflections in Structured Illumination Range Finders
|
| RP654
| 1993 Research Paper
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| A Framework for Program Development Based on Schematic Proof
|
| RP653
| 1993 Research Paper
| Bispo,EM; Fitzgibbon,AW; Fisher,RB
|
| Visually Salient 3D Model Acquisition from Range Data
|
| RP652
| 1993 Research Paper
| Fisher,RB
|
| Hierarchical Matching Beets the Non-Wildcard and Interpretation Tree Model Matching Algorithms
|
| RP650
| 1993 Research Paper
| Waite,M; Orr,M; Fisher,RB; Hallam,JC
|
| Statistical Partial Constraints for 3D Model Matching and Pose Estimation Problems
|
| RP649
| 1993 Research Paper
| McLean,RG; Bundy,A; Liu,W
|
| Assignment Methods for Incidence Calculus
|
| RP648
| 1993 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| Recovering Incidence Functions
|
| RP646
| 1993 Research Paper
| Cox,R; Brna,P
|
| The Relationship Between External Representations and Analytical Reasoning Performance: Implications for the Design of a Learning Environment
|
| RP645
| 1993 Research Paper
| Baker,S; Smaill,AD
|
| A Proof Environment for Arithmetic with the Omega Rule
|
| RP644
| 1993 Research Paper
| Madden,P; Bundy,A
|
| General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving
|
| RP643
| 1993 Research Paper
| Borges,D; Fisher,RB
|
| Segmentation of 3D Articulated Objects by Dynamic Grouping of Discontinuities
|
| RP642
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Easy Problems are Sometimes Hard
|
| RP641
| 1993 Research Paper
| Bowles,A; Robertson,DS; Vasconcelos,W; Vargas-Vera,M; Bental,D
|
| Applying Prolog Programming Techniques
|
| RP640
| 1993 Research Paper
| Miranda,E
|
| From Symbols to Sound Artificial Intelligence Investigation of Sound Synthesis
|
| RP639
| 1993 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Masque/Sql- an Efficient and Portable Natural Language Query Interface for Relational Databases
|
| RP638
| 1993 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Logic Program Synthesis
|
| RP637
| 1993 Research Paper
| Bowles,A; Brna,P
|
| Programming Plans and Programming Techniques
|
| RP636
| 1993 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| Combining Prolog Programs in a Techniques Editing System
|
| RP635
| 1993 Research Paper
| Vargas-Vera,M; Vasconcelos,W; Robertson,DS
|
| Building Large-Scale Prolog Programs Using a Techniques Editing System
|
| RP634
| 1993 Research Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in Gsat
|
| RP633
| 1993 Research Paper
| Manning,AJ; Ireland,A; Bundy,A
|
| Increasing the Versatility of Heuristic Based Theorem Provers
|
| RP632
| 1993 Research Paper
| Mellish,CS; Reiter,E
|
| Using Classification as a Programming Language
|
| RP631
| 1993 Research Paper
| Reiter,E; Mellish,CS
|
| Optimizing the Costs and Benefits of Natural Language Generation
|
| RP630
| 1993 Research Paper
| Hallam,B
|
| Fast Robot Learning Using a Biological Model
|
| RP629
| 1993 Research Paper
| Hallam,B; Halperin,J; Hallam,JC
|
| An Ethological Model of Learning and Motivation for Implementation in Mobile Robots.
|
| RP628
| 1993 Research Paper
| Yang,S; Robertson,DS; Lee,J
|
| Kics: a Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories
|
| RP627
| 1993 Research Paper
| Reiter,E
|
| Has a Concensus Nl Generation Architecture Appeared, and is it Psycholinguistically Plausible ?
|
| RP626
| 1993 Research Paper
| Wilson,MS
|
| Behaviour-Based Robotic Assembly Systems: Reliability of Behavioural Modules
|
| RP625
| 1993 Research Paper
| Lowe,J; Neveen,M; Lowe,H
|
| Cash Flow Management: an Expert System for the Construction Client
|
| RP624
| 1993 Research Paper
| Perez-Minana,E; Fisher,RB; Wallace,D
|
| Stochastic Image Restoration: Clean Images and Their Likelihood
|
| RP623
| 1993 Research Paper
| Fang,H; Ross,PM; Corne,D
|
| A Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling, and Open-Shop Scheduling Programs
|
| RP622
| 1993 Research Paper
| Corne,D; Fang,H; Mellish,CS
|
| Solving the Modular Exam Scheduling Problem with Genetic Algorithms
|
| RP621
| 1993 Research Paper
| Fisher,RB; Trucco,E; Fitzgibbon,AW; Waite,M; Orr,M
|
| Acquisition and Interpretation of 3-D in Machine Vision: Imagine
|
| RP620
| 1993 Research Paper
| Kaggelides,K; Elliot,P; Fisher,RB
|
| Locating the Eyes in Ct Brain Scan Data
|
| RP619
| 1993 Research Paper
| Deacon,G; Low,PL; Malcolm,CA
|
| Orienting Objects in a Minimum Number of Robot Sweeping Motions
|
| RP618
| 1993 Research Paper
| Wallace,A; Trucco,E
|
| Viewer-Centred Representations Ii: Human Vision
|
| RP617
| 1993 Research Paper
| Trucco,E; Wallace,A
|
| Viewer-Centred Representations i: Machine Vision
|
| RP616
| 1993 Research Paper
| Trucco,E; Umasuthan,M; Wallace,A
|
| Active Inspection Using Visibility, Sensor and Task Knowledge
|
| RP615
| 1993 Research Paper
| Harris,M
|
| Vision Guided Part Alignment with Degraded Data
|
| RP614
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-Climbing Procedures for Sat
|
| RP744
| 1992 Research Paper
| Westhead,M
|
| Linda and the Paradigms of Parallelisation
|
| RP647
| 1992 Research Paper
| Fisher,RB
|
| Non-Wildcard Matching Beats the Interpretation Tree
|
| RP613
| 1992 Research Paper
| Ireland,A; Bundy,A
|
| Using Failure to Guide Inductive Proof
|
| RP612
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| A Mathematical Framework for the Problem of Combination of Prolog Programs
|
| RP611
| 1992 Research Paper
| Liu,W; Bundy,A; Robertson,DS
|
| On the Relationship Between Incidence Calculus and Atms
|
| RP610
| 1992 Research Paper
| Vargas-Vera,M; Robertson,DS; Inder,R
|
| An Environment for Combining Prolog Programs
|
| RP609
| 1992 Research Paper
| Berendt,B; Smaill,AD
|
| Computing Belief Revision
|
| 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
|
| RP607
| 1992 Research Paper
| Bundy,A
|
| 'Semantic Procedure' is an Oxymoron
|
| RP606
| 1992 Research Paper
| Bryson,JJ; Smaill,AD; Wiggins,G
|
| The Reactive Accompanist: Applying Subsumption Architecture to Software Design
|
| RP605
| 1992 Research Paper
| Gent,I; Walsh,T
|
| The Enigma of Sat Hill-Climbing Procedures
|
| RP604
| 1992 Research Paper
| Madden,P
|
| Recursive Program Optimization Through Inductive Synthesis Proof Transformation
|
| RP603
| 1992 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Logic Program Synthesis Via Proof Planning
|
| RP602
| 1992 Research Paper
| Bundy,A
|
| Tutorial Notes: Reasoning About Logic Programs
|
| RP601
| 1992 Research Paper
| Borges,D; Fisher,RB
|
| Computational Properties of Rotation Parametrizations
|
| RP600
| 1992 Research Paper
| Bundy,A
|
| How to Solve it by Induction
|
| RP599
| 1992 Research Paper
| Liu,W; Bundy,A
|
| The Combination of Different Pieces of Evidence Using Incidence Calculus
|
| RP598
| 1992 Research Paper
| Hallam,B; Hayes,GM
|
| Comparing Robot and Animal Behaviour
|
| RP597
| 1992 Research Paper
| Logan,B; Smithers,T
|
| Creativity and Design as Exploration
|
| RP596
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| Using Reason Maintenance Systems to Support Ill Structured Problem Solving
|
| RP595
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| The Edinburgh Designer System: an Architecture for Solving Ill Structured Problems
|
| RP594
| 1992 Research Paper
| Agusti,J; Esteva,F; Garcia,P; Levy,J
|
| A Calculus of Refinements: Its Class of Models
|
| RP593
| 1992 Research Paper
| Levy,J; Agusti,J; Mana,F
|
| Functional Lattices for Taxonomical Reasoning
|
| RP592
| 1992 Research Paper
| Ireland,A
|
| The Use of Planning Critics in Mechanizing Inductive Proofs
|
| RP591
| 1992 Research Paper
| Fitzgibbon,AW; Fisher,RB
|
| Practical Aspect-Graph Derivation Incorporating Feature Segmentation Performance
|
| RP590
| 1992 Research Paper
| Chongstitvatana,P; Conkie,A
|
| Active Mobile Stereo Vision for Robotic Assembly
|
| RP589
| 1992 Research Paper
| Cox,R
|
| Issues in Guided Exploratory Learning from Computer-Based Systems
|
| RP588
| 1992 Research Paper
| Glasbey,SR
|
| 'The Same' in Situation Semantics and Drt
|
| RP587
| 1992 Research Paper
| Bundy,A
|
| Clear Thinking About Artificial Intelligence
|
| RP586
| 1992 Research Paper
| Sentance,S
|
| Analysing Misconceptions in the Domain of Second Language Learning
|
| RP585
| 1992 Research Paper
| Beaven,J
|
| Shake-and-Bake Machine Translation
|
| RP584
| 1992 Research Paper
| Reiter,E; Mellish,CS
|
| Using Classification to Generate Text
|
| RP583
| 1992 Research Paper
| Reiter,E; Dale,R
|
| A Fast Algorithm for the Generation of Referring Expressions
|
| RP582
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Experiments in Curvature-Based Segmentation of Range Data
|
| RP581
| 1992 Research Paper
| Logan,B; Corne,D; Smithers,T
|
| Enduring Support: on Defeasible Reasoning in Design Support Systems
|
| RP580
| 1992 Research Paper
| Wu,X
|
| A Prolog-Based Representation for Integratng Knowledge Data
|
| RP579
| 1992 Research Paper
| Wu,X
|
| Rule Schema + Rule Body: a 2-Level Representation Language
|
| RP578
| 1992 Research Paper
| Wu,X
|
| Hcv: a Heuristic Covering Algorithm for Extension Matrix Approach
|
| RP577
| 1992 Research Paper
| Bowles,A
|
| Trends in Applying Abstract Interpretation
|
| RP575
| 1992 Research Paper
| Frank,I; Basin,D; Bundy,A
|
| An Adaptation of Proof-Planning to Declarer Play in Bridge
|
| RP574
| 1992 Research Paper
| Trucco,E; Fisher,RB
|
| Computing Surface-Based Representations from Range Images
|
| RP573
| 1992 Research Paper
| Balch,P
|
| A 3D Shape Attractor
|
| RP572
| 1992 Research Paper
| Orr,M; Hallam,JC; Fisher,RB
|
| Fusion Through Interpretation
|
| RP569
| 1992 Research Paper
| Reiter,E; Mellish,CS; Levine,J
|
| Automatic Generation of on-Line Documentation in the Idas Project
|
| RP576
| 1991 Research Paper
| Brna,P; Caiger,A
|
| The Application of Cognitive Diagnosis to the Quantitative Analysis of Simple Electrical Circuits
|
| RP571
| 1991 Research Paper
| Smithers,T; Tang,M; Tomes,N
|
| The Maintenance of Design History in Ai-Based Design
|
| RP570
| 1991 Research Paper
| Tang,M; Smithers,T
|
| Object-Oriented Simulation of Behaviour in Design Support
|
| RP568
| 1991 Research Paper
| Wu,X
|
| Ts: a Test-Plit Algorithm for Inductive Learning
|
| RP567
| 1991 Research Paper
| Bundy,A; Stevens,A; van Harmelen,F
|
| Rippling: a Heuristic for Guiding Inductive Proofs
|
| RP566
| 1991 Research Paper
| Glasbey,SR
|
| Distinguishing Between Events and Times: Some Evidence from the Semantics of "Then"
|
| RP565
| 1991 Research Paper
| Floyd,C; Hodgkin,E; Smithers,T; Tang,M; Tomes,N; Buck,P; Clarke,B; Lloyd,G; Poulter,K
|
| Development of a Knowledge Based Design Support System
|
| RP564
| 1991 Research Paper
| Ireland,A
|
| On Exploiting the Structure of Martin-Loef'S Theory of Types
|
| RP563
| 1991 Research Paper
| Walsh,T; Nunes,A; Bundy,A
|
| The Use of Proof Plans to Sum Series
|
| RP562
| 1991 Research Paper
| Harris,M; Smaill,AD; Wiggins,G
|
| Representing Music Symbolically
|
| RP561
| 1991 Research Paper
| Levine,J; Cawsey,A; Mellish,CS; Poynter,L; Reiter,E; Tyson,P; Walker,J
|
| Idas: Combining Hypertext and Natural Language Generation
|
| RP560
| 1991 Research Paper
| Baker,S; Ireland,A; Smaill,AD
|
| On the Use of the Constructive Omega-Rule Within Automated Deduction
|
| RP559
| 1991 Research Paper
| Phillips,C
|
| Well-Founded Induction and Program Synthesis Using Proof Plans
|
| RP558
| 1991 Research Paper
| Mellish,CS
|
| Using Specialisation to Reconstruct Two Mode Inference Systems
|
| RP557
| 1991 Research Paper
| Lowe,H
|
| Synthesizing Hardware: Configuration Via Proof
|
| RP556
| 1991 Research Paper
| Basin,D; Walsh,T
|
| Difference Matching
|
| RP555
| 1991 Research Paper
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
| RP554
| 1991 Research Paper
| Fisher,RB
|
| Representation, Extraction and Recognition with Second-Order Topographic Surface Features
|
| RP553
| 1991 Research Paper
| Naidu,D; Fisher,RB
|
| A Comparison of Algorithms for Sub-Pixel Peak Detection
|
| RP552
| 1991 Research Paper
| Nehmzow,U; Smithers,T
|
| Using Motor Actions for Location Recognition
|
| RP551
| 1991 Research Paper
| Hallam,B; Hallam,JC
|
| Tactile Sensing with a Steerable Whisker
|
| RP550
| 1991 Research Paper
| Trucco,E
|
| On Shape-Preserving Boundary Conditions for Diffusion Smoothing
|
| RP548
| 1991 Research Paper
| Reiter,E; Levine,J; Mellish,CS
|
| Tailoring Plans to Users with Different Levels of Expertise
|
| RP547
| 1991 Research Paper
| Reiter,E
|
| A New Model of Lexical Choice for Nouns
|
| RP546
| 1991 Research Paper
| Correa da Silva,FS
|
| Automated Reasoning About an Uncertain Domain
|
| RP545
| 1991 Research Paper
| Brna,P; Howe,J
|
| Automated Diagnosis of Misconceptions About Electricity: what are the Prospects
|
| RP544
| 1991 Research Paper
| Matthews,S; Smaill,AD; Basin,D
|
| Experience with Fso as a Framework Theory
|
| RP543
| 1991 Research Paper
| Basin,D; Giunchiglia,F; Traverso,P
|
| Automating Meta-Theory Creation and System Extension
|
| RP542
| 1991 Research Paper
| Orr,M; Fisher,RB; Hallam,JC
|
| Computing with Uncertainty: Intervals Versus Probabilities
|
| RP541
| 1991 Research Paper
| Fisher,RB
|
| Recognition with Second-Order Topographic Surface Features
|
| RP540
| 1991 Research Paper
| Black,A; van de Plassche,J; Williams,B
|
| Analysis of Unknown Words Through Morphological Decomposition
|
| RP539
| 1991 Research Paper
| Tang,M; Smithers,T
|
| An Object-Oriented Simulation of Hydroelectric Power Systems
|
| RP538
| 1991 Research Paper
| Smithers,T; Tang,M
|
| Towards Ai-Based Design
|
| RP537
| 1991 Research Paper
| Lowe,H
|
| Extending the Proof Plan Methodology to Computer Configuration Problems
|
| RP536
| 1991 Research Paper
| Lowe,H
|
| The Use of Theorem Proving Techniques in Expert Systems for Configuration
|
| RP535
| 1991 Research Paper
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Loef'S Type Theory, and Applications
|
| RP534
| 1991 Research Paper
| Uschold,M
|
| The Use of Domain Information for Comprehension and Construction of Simulation Models
|
| RP533
| 1991 Research Paper
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
| RP532
| 1991 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Being Economical with the Truth: Assumption-Based Context Management in the Edinburgh Designer System
|
| RP531
| 1991 Research Paper
| Ross,B
|
| Semantics-Based Partial Evaluation of Prolog Programs
|
| RP530
| 1991 Research Paper
| Brna,P
|
| Teaching Prolog Techniques
|
| RP529
| 1991 Research Paper
| Cameron-Jones,R
|
| Visual Interpretation of Lambertian Surface Deformation
|
| RP528
| 1991 Research Paper
| Hodgkin,E; Buck,P; Lloyd,G; Poulter,K; Smithers,T; Tang,M; Tomes,N; Floyd,C
|
| The Castlemaine Project: Development of an Ai-Based Design Support System
|
| RP527
| 1991 Research Paper
| Hallam,JC
|
| Plaing with Toy Cars: an Experiment in Real-Time Control
|
| RP526
| 1991 Research Paper
| Hallam,JC
|
| Autonomous Robots: from Dream to Reality
|
| RP525
| 1991 Research Paper
| Basin,D; Kaufmann,M
|
| The Boyeer-Moore Prover and Nuprl: an Experimental Comparison
|
| RP524
| 1991 Research Paper
| Carletta,J
|
| Recovering from Plan Failure Using a Layered Architecture
|
| RP523
| 1991 Research Paper
| Robertson,DS
|
| A Simple Prolog Techniques Editor for Novice Users
|
| RP522
| 1991 Research Paper
| Ritchie,GD
|
| Learning from am
|
| RP521
| 1991 Research Paper
| Carletta,J
|
| A State-Based Representation for Belief Modelling in Dialogue
|
| RP520
| 1991 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Location Recognition in a Mobile Robot Using Self-Organising Feature Maps
|
| RP518
| 1991 Research Paper
| Barnett,R; Basin,D; Hesketh,J
|
| A Recursion Planning Analysis of Inductive Completion
|
| RP517
| 1991 Research Paper
| Correa da Silva,FS; Bundy,A
|
| A Rational Reconstruction of Incidence Calculus
|
| RP496
| 1991 Research Paper
| Ritchie,GD
|
| Languages Generated by Two-Level Morphological Rules
|
| RP519
| 1990 Research Paper
| Trucco,E
|
| Automatic Acquisition of Volumetric Models from Slice Data
|
| RP516
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| A Theory of Abstraction
|
| RP515
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
| RP514
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)
|
| RP513
| 1990 Research Paper
| Bundy,A
|
| The Use of Proof Plans for Normalization
|
| RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
| RP511
| 1990 Research Paper
| Smaill,AD; Wiggins,G
|
| Hierarchical Music Representation for Composition and Analysis
|
| RP510
| 1990 Research Paper
| Ross,B; Smaill,AD
|
| An Algebraic Semantics of Prolog Program Termination
|
| RP509
| 1990 Research Paper
| Lewin,I
|
| A Quantifier Scoping Algorithm without a Free Variable Constraint
|
| RP508
| 1990 Research Paper
| Crocker,M
|
| Multiple Meta-Interpreters in a Logical Model of Sentence Processing
|
| RP507
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Horn,C; Smaill,AD
|
| The Oyster-Clam System
|
| RP506
| 1990 Research Paper
| Bundy,A; Giunchiglia,F; Walsh,T
|
| Building Abstractions
|
| RP505
| 1990 Research Paper
| Horn,C; Smaill,AD
|
| Theorem Proving and Program Synthesis with Oyster
|
| RP503
| 1990 Research Paper
| Bernaras,A; Smithers,T
|
| On the Application of Software Engineering Techniques in Artificial Intelligence Research
|
| RP502
| 1990 Research Paper
| Nehmzow,U; Smithers,T; Hallam,JC
|
| Steps Towards Intelligent Robots
|
| RP501
| 1990 Research Paper
| Bundy,A; Smaill,AD; Wiggins,G
|
| The Synthesis of Logic Programs from Inductive Proofs
|
| RP500
| 1990 Research Paper
| Smithers,T
|
| The Pretender'S New Clothes
|
| RP499
| 1990 Research Paper
| Smithers,T; Troxell,W
|
| Design is Intelligent Behaviour, but what'S the Formalism
|
| RP498
| 1990 Research Paper
| Bundy,A
|
| On the Nature of Mathematical Judgement: Reply to Penrose
|
| RP497
| 1990 Research Paper
| Bundy,A
|
| Incidence Calculus
|
| RP495
| 1990 Research Paper
| Fisher,RB
|
| Determining Back-Facing Curved Model Surfaces by Analysis at the Boundary
|
| RP494
| 1990 Research Paper
| Logan,B; Millington,K; Smithers,T
|
| Assumption-Based Constext Management in the Edinburgh Designer System
|
| RP493
| 1990 Research Paper
| Harris,M
|
| Attracting Similiar Shapes Towards Each Other
|
| RP492
| 1990 Research Paper
| Mellish,CS; Poynter,L; Tyson,P; Walker,J; Levine,J
|
| The Intelligent Documentation Advisory System
|
| RP491
| 1990 Research Paper
| Brna,P
|
| Promoting Creative Confrontations
|
| RP490
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Lego Vehicles: a Technology for Studying Intelligent Systems
|
| RP489
| 1990 Research Paper
| Nehmzow,U; Smithers,T
|
| Mapbuilding Using Self-Organising Networks in "Really Useful Robots"
|
| RP488
| 1990 Research Paper
| Ross,B; Wilk,P
|
| A Semantic Approach to Proving Prolog Transformations Using Cut
|
| RP487
| 1990 Research Paper
| Fisher,RB
|
| Extracting Second-Order Topographic Surface Features from Range Data
|
| RP486
| 1990 Research Paper
| Brown,MA; Fisher,RB
|
| A Distributed Blackboard System for Vision Applications
|
| RP485
| 1990 Research Paper
| Deacon,G
|
| Achieving Robotic Assembly by Sensing and Controlling Spatial Relationships
|
| RP484
| 1990 Research Paper
| Logan,B; Newton,S
|
| Design by Decomposition: the Role of Expert Systems in Design Support
|
| RP483
| 1990 Research Paper
| Beaven,J
|
| A Unification Based Treatment of Spanish Clitics
|
| RP482
| 1990 Research Paper
| Moffat,D; Ritchie,GD
|
| Modal Queries About Partially-Ordered Plans
|
| RP481
| 1990 Research Paper
| Fisher,RB
|
| Reducing Viewsphere Complexity
|
| RP480
| 1990 Research Paper
| Carletta,J
|
| An Incremental Dialogue Planner that Monitors Execution
|
| RP479
| 1990 Research Paper
| Carletta,J
|
| Modelling Variations in Goal-Directed Dialogue
|
| RP478
| 1990 Research Paper
| Carletta,J
|
| An Architecture Facilitating Repair and Replanning in Interactive Explanations
|
| RP477
| 1990 Research Paper
| Trucco,E
|
| Convex Volumentric Primitives from Slices
|
| RP476
| 1990 Research Paper
| Hayes,GM; Fisher,RB
|
| Evaluation of a Real-Time Kinetic Depth System
|
| RP475
| 1990 Research Paper
| Conkie,A; Chongstitvatana,P
|
| An Uncalibrated Stereo Visual Servo System
|
| RP474
| 1990 Research Paper
| Cawsey,A; Raudaskoski,P
|
| Repair Work in Human-Computer Dialogue
|
| RP473
| 1990 Research Paper
| Cawsey,A
|
| Understandable Explanations: the Fudge Discourse Generator
|
| 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
|
| RP471
| 1990 Research Paper
| Engdahl,E
|
| Argument Roles and Anaphora
|
| RP470
| 1990 Research Paper
| Correa da Silva,FS; Bundy,A
|
| On Some Equivalence Relations Between Incidence Calculus and Demster-Schafer Theory of Evidence
|
| RP469
| 1990 Research Paper
| Ross,B; Wilk,P
|
| An Algebraic Semantics of Sequential Prolog Control
|
| RP468
| 1990 Research Paper
| Petropoulakis,L; Malcolm,CA
|
| Programming Autonomous Assembly Agents: Functionality and Robustness
|
| RP467
| 1990 Research Paper
| Thompson,HS
|
| Chart Parsing for Loosely Coupled Parallel Systems
|
| RP466
| 1990 Research Paper
| Chongstitvatana,P; Conkie,A
|
| Behaviour Based Assembly Experiments Using Vision Sensing
|
| RP465
| 1990 Research Paper
| Thornton,C
|
| A Study of the Non-Smooth Concept Membership Function
|
| RP464
| 1990 Research Paper
| Thornton,C
|
| Why Concept Learning is a Good Idea
|
| RP463
| 1990 Research Paper
| Thornton,C
|
| The Complexity of Constructive Induction
|
| RP461
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Neuronal Group Selection Theory: a in Robotics
|
| RP460
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| Abstract Theorem Proving: Mapping Back
|
| RP459
| 1990 Research Paper
| Bundy,A; van Harmelen,F; Smaill,AD
|
| Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
| RP458
| 1990 Research Paper
| Donnett,J; Smithers,T
|
| Behaviour-Based Control of a Two-Link Ballistic Arm
|
| 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
|
| RP455
| 1990 Research Paper
| Wiggins,G
|
| The Improvement of Prolog Program Efficiency by Compiling Control: a Proof-Theoretic View
|
| RP454
| 1990 Research Paper
| Giunchiglia,F; Walsh,T
|
| The Use of Abstraction in Automatic Inference
|
| RP504
| 1989 Research Paper
| Wiggins,G; Harris,M; Smaill,AD
|
| Representing Music for Analysis and Composition
|
| RP462
| 1989 Research Paper
| Thompson,HS
|
| Speech Recognition, Artificial Intelligence and Translation: How Rosy a Future
|
| RP456
| 1989 Research Paper
| Thornton,C
|
| The Emergence of Higher Levels of Description
|
| RP453
| 1989 Research Paper
| Logan,B; Smithers,T
|
| The Role of Prototypes in Creative Design
|
| RP452
| 1989 Research Paper
| Cai,L
|
| Approximating a Surface Up to Curvature Signs Using the Depth Data Alone
|
| RP451
| 1989 Research Paper
| Fisher,RB; Orr,M
|
| Geometric Reasoning in a Parallel Network
|
| RP450
| 1989 Research Paper
| Cai,L
|
| An Estimate of the Relationship Between Zero Thresholds of Gaussian Curvature and Mean Curvature
|
| RP449
| 1989 Research Paper
| Trucco,E; Groppello,P; Burbello,F
|
| Experiments with Segment-Based Stereo Using Dynamic Programming
|
| RP448
| 1989 Research Paper
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
| RP447
| 1989 Research Paper
| Malcolm,CA; Smithers,T; Hallam,JC
|
| An Emerging Paradigm in Robot Architecture
|
| RP446
| 1989 Research Paper
| Bundy,A; Uschold,M
|
| The Use of Typed Lambada Calculus for Requirements Capture in the Domain of Ecological Modelling
|
| RP445
| 1989 Research Paper
| Bundy,A
|
| A Science of Reasoning
|
![[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}