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


Documents from: 1988

Journal Paper

JP1098 1988 Journal Paper Fothergill,A; Fisher,RB; Aylett,J
Predictive Computer Vision for Robotic Assembly
JP1124 1988 Journal Paper Trucco,E; Fisher,RB; Fitzgibbon,AW; Naidu,D
Calibration, Data Consistency and Model Acquisition with a 3-D Laser Striper

Paper in Conference Proceedings

PP1107 1988 Paper in Conference Proceedings Fisher,RB; Orr,M
Solving Geometric Constraints in a Parallel Network
PP1108 1988 Paper in Conference Proceedings Fisher,RB; Orr,M
A Parallel Network for Solving Algebraic and Geometric Constraints
PP583 1988 Paper in Conference Proceedings Trehan,R
a Parallel Chart Parser for the Commited Choice Non-Deterministic (CCND) Logic Languages

PhD Thesis

PT8803 1988 PhD Thesis Harris,M
Computational Modelling of Transitive Inference: a Micro Analysis of a Simple Form of Reasoning.
PT8805 1988 PhD Thesis Hwee Kaa,J
Planning Automated Guided Vehicle Movements in a Factory.
PT8807 1988 PhD Thesis Liu,B
Reinforcement Planning for Resource Allocation and Constraint Satisfaction.
PT8809 1988 PhD Thesis Looi,C
Automatic Program Analysis in a Prolog Intelligent Teaching System.

Technical Paper

TP1 1988 Technical Paper Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M
The Ecologic System
TP2 1988 Technical Paper Robertson,DS
An Experiment in Increasing the Execution Speed of Prolog Simulation Programs Using Meta-Interpreters
TP3 1988 Technical Paper Brna,P; Bundy,A; Pain,HG
Prolog: a Survey of Available Tools

Working Paper

WP213 1988 Working Paper Guinchiglia,F
On Tautology Decision Techniques
WP214 1988 Working Paper Horn,C
The Nurprl Proof Development System
WP215 1988 Working Paper Robertson,A
Tolerance Representation in Ai-Based Design
WP216 1988 Working Paper Robertson,DS; Bundy,A; Muetzelfeldt,B; Uschold,M
The Ecologic System - See Technical Paper
WP217 1988 Working Paper Whitelock,P
The Organisation of a Bilingual Lexicon


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