 Informatics Series Report

0001
 1999 Informatics Series Report
 ; Bundy,A

 A Survey of Automated Deduction

0002
 1999 Informatics Series Report
 Bundy,A

 The Automation Of Proof By Mathematical Induction

0003
 1999 Informatics Series Report
 Bundy,A; Richardson,J

 Proofs About Lists Using Ellipsis

0004
 1999 Informatics Series Report
 Dennis,L; Bundy,A; Green,I

 Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts

 MSc Thesis

MT9846
 1999 MSc Thesis
 Walther,MS

 Evolutionary Data Mining

MT9901
 1999 MSc Thesis
 Yates,AJ

 Modelling Interactions

MT9902
 1999 MSc Thesis
 Eddy,BD

 Word Sense Disambiguation Using Common Sense Knowledge

MT9903
 1999 MSc Thesis
 Chantree,FJ

 Multilingual Natural Language Generation in English and Danish

MT9904
 1999 MSc Thesis
 Sameshima,C

 Here's Looking at You: Finding Gaze Direction in Faces

MT9905
 1999 MSc Thesis
 Yarlett,DG

 Semantic Information in SimilarityBased Transfer: Reimplementing the MAC/FAC Model

MT9906
 1999 MSc Thesis
 Lacey,DJ

 Logic Program Synthesis via Proof Planning in LambdaClam

MT9907
 1999 MSc Thesis
 Costa,E

 Vehicle Routing Problems with Time Windows

MT9908
 1999 MSc Thesis
 Dura,E

 The development of a MINDSTORMS LEGO robot to play a competitive ball game

MT9909
 1999 MSc Thesis
 Safar,E

 Language Generation in Hungarian

MT9910
 1999 MSc Thesis
 MacLean,EA

 Generalisation as a critic to the induction strategy

MT9911
 1999 MSc Thesis
 Steel,GJ

 CrossDomain concept Formation Using HR

MT9912
 1999 MSc Thesis
 Boussios,I

 Identifying and organising product offers in ecommerce.

MT9913
 1999 MSc Thesis
 Araujo,IE

 Effects of Topographic Projections in a TwoLayer Model of Hippocampal Function

MT9914
 1999 MSc Thesis
 Smith,ML

 Reinforcement Learning within a MultiAgent Adversarial Soccer

MT9915
 1999 MSc Thesis
 Schmansky,NJ

 Emergent Properties of an Artificial Neural Network

MT9916
 1999 MSc Thesis
 Goroll,N

 (The Deep Blue) Nile: Neuronal Influences on Language Evolution Connectionist models for the simulation of the evolution of language

MT9917
 1999 MSc Thesis
 Eschle,NA

 From Causal Graphs to Explanations in Natural

MT9918
 1999 MSc Thesis
 Ahrens,RH

 An Analysis of the Role of Semantic information in Veale & Keane's Sapper model of analogy.

MT9919
 1999 MSc Thesis
 Said,R

 Evolutionary Robotics Using Probabilistic Incremental Program Evolution

MT9920
 1999 MSc Thesis
 Sadler,RA

 Design and Development of a Robotic Volleyball Team

MT9921
 1999 MSc Thesis
 Hsu,W

 Automatic Synthesis of Web Sites for Research Groups

MT9922
 1999 MSc Thesis
 Xiao,Y

 A Graphical User Interaction Model for A Diagnostic DecisionSupport System

MT9923
 1999 MSc Thesis
 Romahi,YS

 Fuzzy Rule Induction Based Financial Forecasting

 PhD Thesis

PT9915
 1999 PhD Thesis
 Jamnik,M

 Automating Diagrammatic Proofs of Arithmetic Arguments

 Research Paper

RP927
 1999 Research Paper
 Kalfoglou,I; Robertson,DS

 An Experiment in Applying Ontologies to Augment and Reason about the Correctness of Specifications

RP937
 1999 Research Paper
 Lecoeuche,R; Robertson,DS; Barry,C; Mellish,CS

 Evaluating Focus Theories for Requirements Elicitation

RP938
 1999 Research Paper
 Whittle,JN; Cumming,A

 Evaluating Environments for Functional Programming

RP939
 1999 Research Paper
 Whittle,JN; Bundy,A; Boulton,R; Lowe,H

 An ML Editor Based on ProofsasPrograms

RP940
 1999 Research Paper
 Carbogim,DV; Robertson,DS; Lee,J

 Extending the Abstract Argumentation Framework to Include Argument Dynamics

RP941
 1999 Research Paper
 Robertson,C; Fisher,RB; Werghi,N; Ashbrook,A

 An Evolutionary Approach to Fitting Constrained Degenerate Second Order Surfaces

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

RP944
 1999 Research Paper
 Colton,SG; Bundy,A

 Automatic Concept Formation in Pure Mathematics

RP945
 1999 Research Paper
 Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A

 Object Reconstruction by Incorporating Geometric Constraints in Reverse Engineering

RP946
 1999 Research Paper
 Werghi,N; Fisher,RB; Robertson,C; Ashbrook,A

 Shape Reconstruction Incorporating Multiple Nonlinear Geometric Constraints

RP947
 1999 Research Paper
 Gadanho,S; Hallam,JC

 Emotiontriggered Learning in Autonomous Robot Control

RP948
 1999 Research Paper
 Kalfoglou,I; Robertson,DS

 Managing Ontological Constraints

RP949
 1999 Research Paper
 Bundy,A; Richardson,J

 Proof Planning Methods as Schemas

RP950
 1999 Research Paper
 Bundy,A

 A Survey of Automated Deduction

RP951
 1999 Research Paper
 Bundy,A

 The Automation of Proof by Mathematical Induction

RP952
 1999 Research Paper
 Kalfoglou,I

 Panel Discussion notes: Knowledge Maintenance  The Role of Formal Ontologies

RP955
 1999 Research Paper
 Carmena,J; Hallam,JC

 Improving performance in a multirobot task through minimal communication



DP198
 1999
 Or,HC

 Biologically Inspired Amphibian Robot: the Control of an Amphibian Robot using Artificial Neural Oscillatory Circuits Generated by Evolutionary Algorithms  PhD Thesis Proposal

RP943
 1999
 Colton,SG

 Refactorable Numbers  A Machine Invention

RP953
 1999
 Bundy,A; Gow,JI; Green,I

 Extensions to the Estimation Calculus

RP954
 1999
 Biris,E

 Automatic Modelling using Bayesian Networks for Explanation Generation

RP956
 1999
 Kalfoglou,I; Robertson,DS; Tate,AB

 Using MetaKnowledge at the Application Level
