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


Related Pages

ONLINE

BY AUTHOR
BY KEYWORD
BY YEAR

Authored Books
Book Chapters
CD-ROM Chapters
Discussion Papers
Edited Books
Journal Papers
MSc Theses
Conference Papers
PhD Theses
Review Articles
Book Reviews
Research Papers
Technical Papers
Working Papers





Documents

Please note that only documents submitted internally to the documentation secretary or publications secretary are recorded and that for a document to be online all authors must have signed a copyright waiver form and a postscript version of the document must have been made available. This page does not necessarily represent a complete and accurate account.
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] [DAI Home Page] [Comment]