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


Documents from: 1995

Chapter in Edited Book

CB762 1995 Chapter in Edited Book Corne,D; Ross,PM; Fang,H
Evolving Timetables
CB915 1995 Chapter in Edited Book Funk,P; Robertson,DS
Case-Based Support for the Design of Dynamic System Requirements
CB919 1995 Chapter in Edited Book Yang,S; Robertson,DS; Lee,J
Use of Case-based Reasoning in the Domain of Building Regulations

Discussion Paper

DP155 1995 Discussion Paper Lee,W
Genetic Programming and Behaviour-Based Robots
DP156 1995 Discussion Paper Ramscar,MJ
Analogical and Similarity-Based Reasoning: an Examination of the Major Theories and Their Resultant Models
DP158 1995 Discussion Paper Mota,Ed
Time Granularity in Simulation Models Within a Multi-Agent System - Thesis Proposal
DP159 1995 Discussion Paper Castro,A
A Techniques-Based Framework for Program Generation in Ecological Modelling
DP160 1995 Discussion Paper Dennis,L
Automating Coinduction
DP161 1995 Discussion Paper Gadanho,S
Autonomy and Autopoiesis in Robotic Systems: which Architecture to Use?
DP162 1995 Discussion Paper Trewin,SM
The Application of ;User Modelling and Conectionist Techniques to the Interpretation of Noisy Keyboard and Mouse Input
DP164 1995 Discussion Paper Perkins,SJ
Incremental Evolution of Robot Controllers Using Shaping
DP165 1995 Discussion Paper Howells,T
Pattern Recognition in Medical Time Series Data
DP166 1995 Discussion Paper Reeve,R
Generating Walking Behaviours in Legged Robots

Journal Paper

JP1085 1995 Journal Paper Fisher,RB
Is Computer Vision still AI?
JP875 1995 Journal Paper McLean,R; Bundy,A; Liu,W
Assignment Methods for Incidence Calculus
JP880 1995 Journal Paper Conlon,T; Bowman,N
Expert Systems, Shells and Schools
JP885 1995 Journal Paper Bull,S; Brna,P; Pain,HG
Extending the Scope of the Student Model
JP886 1995 Journal Paper Bull,S; Pain,HG; Brna,P
Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
JP888 1995 Journal Paper Reiter,E; Mellish,CS; Levine,J
Automatic Generation of Technical Documentation
JP900 1995 Journal Paper Trucco,E; Fisher,RB
Experiments in Curvature-Based Segmentation of Range Data
JP901 1995 Journal Paper Borges,D; Bispo,EM; Fisher,RB
Tenicas de Aquisicao Automatica de Modelos Geometrica para Reconhecimento e Inspecao
JP916 1995 Journal Paper Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D
The Application of Logic Programming to Decision Support Systems in Ecology
JP917 1995 Journal Paper Park,N; Robertson,DS; gardner,K
Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
JP918 1995 Journal Paper Kendon,GB; Walker,DA; Robertson,DS; Haggith,MC; Sinclair,F; Muetzelfeldt,R
Supporting Customised Reasoning in the Agroforesty Domain
JP922 1995 Journal Paper Androutsopoulos,I; Ritchie,GD; Thanisch,P
Natural Language Interfaces to Databases - an Introduction
JP975 1995 Journal Paper Yangs,S; Robertson,DS
A Case-Based Reasoning System to Support the Relaxation of Building Regulations
JP977 1995 Journal Paper Mellish,CS
Natural Language Generation and Technical Documentation
JP987 1995 Journal Paper Shen,Q; Leitch,R
Diagnosing Continuous Systems with Qualitative Dynamic Models
JP988 1995 Journal Paper Leitch,R; Freitag,H; Tornielli,G; Shen,Q
Composing Model Based Diagnostic Systems
JP989 1995 Journal Paper Leitch,R; Chantler,M; Brown,K; Kane,T; Shen,Q
Modelling Choices in Intelligent Systems

MSc Thesis

MT9502 1995 MSc Thesis Aduana,G
Experiments in Rule Based Adaptive Control
MT9504 1995 MSc Thesis Allen,J
Hector: the Use of Hyperschemas for Natural Language Generation in Exploratory Domains
MT9506 1995 MSc Thesis Athanasiou,E
Phoevos, Applying a Meta-Level Architecture to a Kbs for Harmonisation
MT9508 1995 MSc Thesis Birbilis,A
Recognizing Walking People
MT9510 1995 MSc Thesis Caraza Pancardo,L
Fault Trees for Logic Programs
MT9512 1995 MSc Thesis Chandrinos,K
Quantifying Atherosclerotic Changes with Digital Image Processing
MT9514 1995 MSc Thesis Chong,T
Derivation and Use of Function in the Design of Chemical Processes
MT9516 1995 MSc Thesis Hart,E
Investigation of a Multiple Chromosome Evolutionary Algorithm for Bus Driver Scheduling and Other Problems
MT9518 1995 MSc Thesis Dallari,B
Disambiguation of Compound Nouns by Domain-Specific Semantic Modelling
MT9520 1995 MSc Thesis Fairbank,M
A Neural Network Vision System Based on the Curvature Primal Sketch
MT9522 1995 MSc Thesis Finlay,L
Data Mining Using a Multi-Agent Self-Organizing Clustering System
MT9524 1995 MSc Thesis Cheng,B
Plan Execution in an Environmental Domain
MT9526 1995 MSc Thesis Gonzalez Hernandez,LF
Evolutionary Divide and Conquer for the Set-Covering Problem
MT9528 1995 MSc Thesis Grove,T
Attention Directed Iconic Object Matching
MT9530 1995 MSc Thesis Hatzis,A
Visualisation of Articulation for the Hearing Impaired with Self Organising Maps
MT9532 1995 MSc Thesis Isard,A
Ssml: a Markup Language for Speech Synthesis
MT9534 1995 MSc Thesis Jack,D
Periodic Activity Detection
MT9536 1995 MSc Thesis Jones,DC
Recognition of Ugaritic Characters from Clay Tablet Images
MT9538 1995 MSc Thesis Kim,D
Automated Pipe Route Generation Using Genetic Algorithms
MT9540 1995 MSc Thesis Lambert,A
Properties of Convergence Zone Associative Memory: an Experimental Investigation
MT9542 1995 MSc Thesis Lewis,M
Music Abstractly Represented by Logical Expressions (Marble)
MT9544 1995 MSc Thesis Long,G
Need to Know: Using Ai for Effective Retrieval of "Everyday" Information
MT9546 1995 MSc Thesis Mai,V
Developing of a Stereo Vision Head and Implementation of Tracking Algorithms
MT9548 1995 MSc Thesis Masterton,S
Modeling Changing Interests in the Domain of Electronic News
MT9550 1995 MSc Thesis Mitchell,J
Domestic Bliss: Accommodation Allocation for International Students
MT9552 1995 MSc Thesis Moukas,A
Learning and Group Behaviour in Interacting Agents
MT9554 1995 MSc Thesis Murphy,P
Evolving Natural Motions for Animation
MT9556 1995 MSc Thesis Radix,C
Conceptual Design of Robots Using Evolutionary Algorithms
MT9558 1995 MSc Thesis Ramirez-Najera,R
Interpreting Transmission Error Function for Gear Diagnosis
MT9560 1995 MSc Thesis Retalis,S
Investigating the Use of a Meta-Level Argumentation Framework as a Basis for Tutoring in Controversial Domains
MT9561 1995 MSc Thesis Ribeiro,A
Natural Language Generation with Rhetorical Relations and Focus Theory
MT9562 1995 MSc Thesis Richardson,S
A Genetic Algorithm for Optimising Inter-Planetary Trajectories
MT9564 1995 MSc Thesis Rigas,N
Analog Neural Networks with Nonmonotonic Transfer Functions
MT9566 1995 MSc Thesis Rivas-Palma,C
Applying Genetic Algorithms to Oil Tank and Pipeline Maintenance
MT9568 1995 MSc Thesis Robb,I
Simulated Annealing for Manufacturing Scheduling - an Infestigation
MT9570 1995 MSc Thesis Saady,R
Kle: a Kanji Learning Environment
MT9572 1995 MSc Thesis Seldrup,I
A Customisable Hpsg-Based Natural Language Front-End
MT9573 1995 MSc Thesis Shepherd,S
Course Selector: a System to Support Course Selection in the Department of Artificial Intelligence
MT9574 1995 MSc Thesis Sordo Sanchez,MM
Neural Nets for Detection of Down'S Syndrome
MT9576 1995 MSc Thesis Stevenson,M
A Menu Driven Approach to Natural Language Interfaces
MT9578 1995 MSc Thesis Teran,N
Intelligent Support for Planning Domain Knowledge Acquisition
MT9580 1995 MSc Thesis Tuson,AL
Adapting Operator Probabilities in Genetic Algorithms
MT9582 1995 MSc Thesis Vagianou,E
"Alexandros" Interface Agents in Self-Organizing Systems: a Prototype
MT9584 1995 MSc Thesis Vogiatzis,D
Symbiotic Evolution of Neural Networks
MT9586 1995 MSc Thesis Walker,T
Generating Neural Networks with Genetic Algorithms Using a Marker Based Encoding
MT9588 1995 MSc Thesis Wehming,C
Gaze Control with an Active Stereo Vision Head
MT9590 1995 MSc Thesis Wheeler,R
Hybrid Tools for Intractable Problems: the Development of the who/Tb Integrated System
MT9592 1995 MSc Thesis White,I
A Novel Process Based Plan Execution System
MT9594 1995 MSc Thesis Whittle,JN
Analogy in Clam
MT9596 1995 MSc Thesis Wu,T
Using Mollusc to Guide Raise Proofs

Paper in Conference Proceedings

PP1209 1995 Paper in Conference Proceedings Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
KBST: A Support Tool for Business Modelling in BSDM
PP763 1995 Paper in Conference Proceedings Kado,K; Ross,PM; Corne,D
Investigating Genetic Algorithms for Facility Layout Problems
PP874 1995 Paper in Conference Proceedings Bundy,A; Lombart,V
Relational Rippling: a General Approach
PP876 1995 Paper in Conference Proceedings Melis,E
Theorem Proving by Analogy -- a Compelling Example
PP877 1995 Paper in Conference Proceedings Melis,E
A Model of Analogy Driven Proof-Plan Construction
PP878 1995 Paper in Conference Proceedings Conlon,T
Automated Analysis for Knowledge Based Modelling
PP879 1995 Paper in Conference Proceedings Conlon,T; Pain,HG
Persistent Collaboration
PP882 1995 Paper in Conference Proceedings Bull,S; Smith,ML
Using Targeted Negotiation to Support Students' Learning
PP883 1995 Paper in Conference Proceedings Bull,S; Pain,HG
Did I Say What I Think I Said, and Do You Agree with Me?: Inspecting and Questioning the Student Model
PP884 1995 Paper in Conference Proceedings Bull,S
Handling Native and Non-Native Language Transfer in CALL: Theory and Practice
PP887 1995 Paper in Conference Proceedings Levine,J; Mellish,CS
The IDAS User Trials: Quantitative Evaluation
PP902 1995 Paper in Conference Proceedings Wren,DO; Fisher,RB
Dextrous Hand Grasping Strategies using Preshapes and Digit Trajectories
PP903 1995 Paper in Conference Proceedings Wren,DO; Fisher,RB
Planning Dextrous Hand Precison Grasps from Range Data, Using Preshaping and Finger Trajectories
PP904 1995 Paper in Conference Proceedings Walker,AV; Milano,N; Hallam,JC
Are Sonar Errors in the Ear of the Beholder?: Towards and Understand of Complete Sonar Echoes
PP905 1995 Paper in Conference Proceedings Park,N; Robertson,DS
A Localist Network Architecture for Log Inference Based on Temporal Synchrony Approach to Dynamic Variable Binding
PP906 1995 Paper in Conference Proceedings Pilu,M; Fisher,RB
Equal Distance Sampling of Supereclipse Models
PP908 1995 Paper in Conference Proceedings Fisher,RB; Oliver,PI
Multi-Variate Cross-Correlation and Image Matching
PP909 1995 Paper in Conference Proceedings Fitzgibbon,AW; Fisher,RB
A Buyer's Guide to Conic Fitting
PP910 1995 Paper in Conference Proceedings Wright,M; Fitzgibbon,AW; Fisher,RB
Convex Hulls, Occluding Contours, Aspect Graphs and the Hough Trnasform
PP911 1995 Paper in Conference Proceedings Lorusso,A; Eggert,D; Fisher,RB
A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
PP912 1995 Paper in Conference Proceedings Hasselbring,W; Fisher,RB
Using the PROSET-Linda Prototype Language for Investigating MIMD Algorithms for Machine Learning
PP913 1995 Paper in Conference Proceedings Fillatreau,P; Fisher,RB
Non-polyhedral Landmark Recognition using 3D Depth Images and Partially Correct Models
PP914 1995 Paper in Conference Proceedings Wolfart,E; Fisher,RB; Walker,AV
Position Refinement for a Navigating Robot using Motion Information Based on Honey Bee Stratagies
PP920 1995 Paper in Conference Proceedings Nicolov,N; Mellish,CS; Ritchie,GD
Sentence Generation from Conceptual Graphs
PP921 1995 Paper in Conference Proceedings Androutsopoulos,I; Ritchie,GD; Thanisch,P
Experience using TSQL2 in a Natural Language Front-end
PP924 1995 Paper in Conference Proceedings Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
Time Granularity in Simulation Models of Ecological Systems
PP925 1995 Paper in Conference Proceedings Knott,A
An Empirical Methodology for Determining a Set of Coherence Relations
PP926 1995 Paper in Conference Proceedings Crowe,J
Constraint-Based Event Recognition for Information Extraction
PP978 1995 Paper in Conference Proceedings Malcolm,CA
The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
PP979 1995 Paper in Conference Proceedings Aziz,N; Pain,HG; Brna,P
Handling Contradictions in Student Modelling in Translating Algebraic Problems Systems (TAPS)
PP980 1995 Paper in Conference Proceedings Salles,P; Muetzelfeldt,R; Pain,HG
Qualitative Models in Ecogology and their Use in Intelligent Tutoring Systems
PP981 1995 Paper in Conference Proceedings Sentance,S; Pain,HG
A Generative Learner Model in the Domain of Second Language Learning
PP982 1995 Paper in Conference Proceedings Aziz,N; Pain,HG; Brna,P
Modelling and Mending Student's Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in TAPS
PP983 1995 Paper in Conference Proceedings Conlon,T; Pain,HG
Persistent Collaboration: Marrying the Technology Push with the Learning Pull
PP984 1995 Paper in Conference Proceedings Chantler,M; Shen,Q; Leitch,R; Coghill,G
On choosing Candidate Generation and Prediction Techniques
PP985 1995 Paper in Conference Proceedings Leitch,G; Shen,Q; Chantler,M; Coghill,G
Model Properties and Classification of Approaches
PP986 1995 Paper in Conference Proceedings Chantler,M; Leitch,R; Shen,Q; Coghill,G
A Methodology for the Development of Model-Based Diagnostic Systems

PhD Thesis

PT9502 1995 PhD Thesis Agustin Molina,E
Improving Performance of Blackboard Systems
PT9504 1995 PhD Thesis Busatto-Neto,R
The Use of Proof Planning in Normalisation
PT9506 1995 PhD Thesis Liu,W
Extended Incidence Calculus and Its Comparison with Related Theories
PT9508 1995 PhD Thesis Vargas-Vera,M
Using Prolog Techniques to Guide Program Composition
PT9510 1995 PhD Thesis de Vasconcelos,W
Extracting, Organising, Designing and Reusing Prolog Progamming Techniques
PT9512 1995 PhD Thesis Yang,S
Kics: Representation of Regulatory Information and the Use of Case-Based Reasoning to Support the Relaxation Process
PT9514 1995 PhD Thesis Yeh,C
Generation of Anaphors in Chinese

Research Paper

RP678A 1995 Research Paper Fernandes,A; Ritchie,GD; Moffat,D
A Formal Reconstruction of Procedural Semantics
RP729 1995 Research Paper Kraan,I; Basin,D; Bundy,A
Middle-Out Reasoning for Synthesis and Induction
RP730 1995 Research Paper Robertson,DS; Park,N; Agusti,J
Layered Design of Kbs from Specification to Hardware
RP731 1995 Research Paper Park,N; Robertson,DS; gardner,K
Reasoning with Limited Unification in a Connectionist Rule-Based System
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
RP734 1995 Research Paper Androutsopoulos,I; Ritchie,GD; Thanisch,P
A Framework for Natural Language Interfaces to Temporal Databases
RP735 1995 Research Paper Melis,E
Analogy-Driven Proof-Plan Construction
RP736 1995 Research Paper Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
Kbst: a Support Tool for Business Modelling in Bsdm
RP737 1995 Research Paper Lorusso,A; Eggert,D; Fisher,RB
A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
RP738 1995 Research Paper Pryor,L
Decisions, Decisions: Knowledge Goals in Planning
RP740 1995 Research Paper Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
Time Granularity in Simulation Models of Ecological Systems
RP741 1995 Research Paper Webb,B
An Arbitrary Architecture for an Artificial Arthropod
RP742 1995 Research Paper Westhead,M
Synchronous Systems for Behaviour Based Robot Control
RP745 1995 Research Paper Lowe,H; Bundy,A; McLean,D
The Use of Proof Planning for Cooperative Theorem Proving
RP746 1995 Research Paper Conlon,T; Pain,HG
Persistent Collaboration: Marrying the Technology Push with the Learning Pull
RP747 1995 Research Paper Crowe,J
Constraint-Based Event Recognition for Information Extraction
RP748 1995 Research Paper Nicolov,N; Mellish,CS; Ritchie,GD
Sentence Generation from Conceptual Graphs
RP749 1995 Research Paper Collins,G; Pryor,L
Planning Under Uncertainty: Some Key Issues
RP750 1995 Research Paper Negrete-Yankelevich,S; Smaill,AD
Guiding Proof Search in Logical Frameworks with Rippling
RP751 1995 Research Paper Wolfart,E; Fisher,RB; Walker,AV
Position Refinement for a Navigating Robot Using Motion Information Based on Honey Bee Strategies
RP752 1995 Research Paper Fillatreau,P; Fisher,RB
Non-Polyhedral Landmark Recognition Using 3D Depth Images and Partially Correct Models
RP753 1995 Research Paper Androutsopoulos,I; Ritchie,GD; Thanisch,P
Experience Using Tsql2 in a Natural Language Interface
RP754 1995 Research Paper Haggith,MC
Support for Argumentation in Natural Resource Management
RP755 1995 Research Paper Haggith,MC
A Meta-Level Framework for Exploring Conflicts in Multiple Knowledge Bases
RP756 1995 Research Paper Fisher,RB; Oliver,PI
Multi-Variate Cross-Correlation and Image Matching
RP757 1995 Research Paper Conlon,T
Automated Analysis for Knowledge-Based Modelling
RP758 1995 Research Paper Yang,S; Robertson,DS
A Case-Based Reasoning System to Support the Relaxation of Building Regulations
RP759 1995 Research Paper Bull,S; Pain,HG; Brna,P
Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
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
RP761 1995 Research Paper Bull,S; Brna,P; Pain,HG
Extending the Scope of the Student Model
RP762 1995 Research Paper Bull,S
Handling Native and Non-Native Language Transfer in Call: Theory and Practice
RP763 1995 Research Paper Ritchie,GD
Completeness Conditions for Mixed Strategy Context Free Parsing
RP764 1995 Research Paper Pilu,M; Fisher,RB
Equal-Distance Sampling of Superellipse Models
RP765 1995 Research Paper Lorusso,A; Eggert,D; Fisher,RB
A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
RP766 1995 Research Paper Melis,E
Analogy in Clam
RP767 1995 Research Paper Richardson,J
Automating Changes of Data Type in Functional Programs
RP768 1995 Research Paper Wren,DO; Fisher,RB
Dextrous Hand Grasping Strategies Using Preshapes and Digit Trajectories
RP769 1995 Research Paper Wren,DO; Fisher,RB
Planning Dextrous Hand Precision Grasps from Range Data, Using Preshaping and Finger Trajectories
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
RP771 1995 Research Paper Aziz,N; Pain,HG; Brna,P
Handling Contradictions in Learner Modelling in the "Translating Algebraic Problems System" (Taps)
RP772 1995 Research Paper Good,J
The 'Right' Tool for the Task: an Investigation of External Representations, Program Abstractions and Task Requirements
RP773 1995 Research Paper Bull,S; Smith,ML
Using Targeted Negotiation to Support Students' Learning
RP774 1995 Research Paper Bundy,A
A Subsumption Architecture for Theorem Proving
RP775 1995 Research Paper Fitzgibbon,AW; Eggert,D; Fisher,RB
High-Level Cad Model Acquisition from Range Images
RP776 1995 Research Paper Vasconcelos,W; Fuchs,N
Prolog Program Development Via Enhanced Schema-Based Transformations
RP777 1995 Research Paper Smaill,AD; Green,I
Automating the Synthesis of Functional Programs in Constructive Type Theory
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
RP779 1995 Research Paper Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
Coloured Rippling: an Extension of a Theorem Proving Heuristic

Technical Paper

TP32 1995 Technical Paper Dil,A
Multi-Transputer Blackboard System: Software Documentation
TP34 1995 Technical Paper Pettinaro,GC; Malcolm,CA
Two-Handed Robotic System
TP36 1995 Technical Paper Rock,S
Visualising Multiple or Extended Execution of Eventualities
TP37 1995 Technical Paper Pientka,B
A Heuristic for Case Analysis

Working Paper

WP257 1995 Working Paper Wright,M; Deacon,G
Orienting 2.5D Objects of Arbitrary Shape


[Search These Pages] [DAI Home Page] [Comment]