Menu

University of Edinburgh. Department of Artificial Intelligence

91 published titles

User's guide to EMAS Prolog

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1981
  • Details

DECsystem-10 Prolog user's manual

(Contributor)

1 edition

  • University of Edinburgh, Department of Artificial Intelligence
  • 1981
  • Details

AI2 robotics notes _ 1981-2

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1982
  • Details

All vision notes 1981/82

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1982
  • Details

The Researchers bible

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1983
  • Details

A11 exam question booklet

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

A12 exam question booklet

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1983
  • Details

Languages for programming robots

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

The development of mathematical thinking through LOGO

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

Simple LOGO in primary schools : a structured or unstructured approach?

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

Of integration by man and machine

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

A polymorphic type system for Prolog

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1983
  • Details

On combining concepts

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1983
  • Details

Learning mechanisms in AMBER

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1983
  • Details

Intelligent front ends

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

A strategy for recognizing complex objects with operational flexibility

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

An experimental comparison of symbolic and graphic offline robot programming techniques

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

The nature of AI principles : a debate in the AISB quarterly

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Implementing problem-solving strategies using the meta-level

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Edinburgh LOGO : a retrospective view

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Forging tools : knowledge representation for expert systems

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Learning middle school mathematics through LOGO programming : an evaluation programme

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Precondition analysis learning control information

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

What has learning got to do with expert systems?

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

The outline corner filter

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

A semantically-based multi-level edge detection system

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

A generalized interval package and its use for semantic checking

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Planning in expert systems

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

An analytical comparison of some rule learning programs

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

An Intelligent front end for ecological modelling

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

A rational reconstruction of the proteus sentence planner

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Spatial notation : a tool for robot dynamics

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

Topics for circumscription

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1984
  • Details

AI-2 vision notes 1983/84

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

AI-1 vision notes 1983/84

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

Expert systems notes AI2- 1983/84

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

Reading sentences in Prolog : a worked example

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

Gazing : identifying potentially useful inferences

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

Solving inequalities in deducing acceptable tolerances for assemblies

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

A simple addition to the RAPT inference system to handle taught positions

(Contributor)

1 edition

  • Department of Artificial Intelligence University of Edinburgh
  • 1984
  • Details

A Dictionary and morphological analyser for English language processing systems

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

An essay on the aspects of the human visual system that influenced my thesis work

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Gazing : using the structure of the theory in theorem proving

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1985
  • Details

An investigation and rational reconstruction of the UT theorem prover

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

A problem solving approach to generating text from systemic grammars

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Correctness criteria of some algorithms for uncertain reasoning using incidence calculus

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Generating connection calculi from tableaux and sequent based proof systems

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Using and computing symmetry in geometry proofs

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Computing noun phrase reference

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1985
  • Details

An analytic survey of analytic concept-learning

(Contributor)

1 edition

  • Dept. of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Meta-level inference in algebra

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Analysis of uncertainties in a structure of parts 1

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

Analysis of uncertainties in a structure of parts 2

(Contributor)

1 edition

  • Department of Artificial Intelligence, University of Edinburgh
  • 1985
  • Details

The Ecologic system

(Contributor)

1 edition

  • Dept. of Artificial Intelligence
  • 1988
  • Details

A Natural language interface to an intelligent planning system : system documentation

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1990
  • Details

CARS : an experiment in real-time intelligent control

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1990
  • Details

A transputer-based autonomous mobile robot

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1991
  • Details

Tutorial guide to the CLAM proof planner

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Hint mechanism for Clam

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Interfacing a natural language front-end to a relational database

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

HCV user's manual : release 1.0 June 1992

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

CORE manual

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Stochastic image restoration : clean images and their likelihood

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

On composing rotations

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

The CLEM configuration system : user manual and programmer manual (version 1.0, August 26, 1993)

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Investigating genetic algorithms for scheduling

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Tolerant planning and negotiation in automated guided vehicle systems

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

The developement [sic] of vibration sensors as event signature sensors in assembly

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

A connectionist representation of rules, facts, and dynamic bindings of variables

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

TEAK : Tools for Eliciting Agroforestry Knowledge : guide for users, Version 2

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1992
  • Details

Control process language compiler user manual

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1993
  • Details

Computer generation of linguistically definable riddles

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1993
  • Details

Development and maintenance of large formal specifications supported by case-based reasoning

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1993
  • Details

Mollusc user's guide : version 1.1

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1993
  • Details

A program for describing two similar assemblies

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1993
  • Details

TBPG : a techniques-based program generator

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

Navigation using smart ultrasonic ranging sensors

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

Temporal representation of ecological knowledge

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

Electric gripper development

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

A method of extracting prolog programming techniques

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

A review of work relating to program transformation

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1994
  • Details

Multi-transputer blackboard system : software documentation

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1995
  • Details

Two-handed robotic system

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1995
  • Details

A heuristic for case analysis

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1995
  • Details

Visualising multiple or extended execution of eventualities

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1995
  • Details

On the granular aspects of time in simulation models

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1996
  • Details

OPTIMISE : a testbed for meta-heuristic optimisation

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1996
  • Details

A simple real-time mobile robot tracking system

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1996
  • Details

"Allo Kazam, do you follow me?", or, Learning to speak through imitation for social robots

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1996
  • Details

Modelling the neural controller of a swimming lamprey : a comparison of naturally and artificially evolved networks

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1996
  • Details

A biologically inspired sonarhead

(Contributor)

1 edition

  • University of Edinburgh, Dept. of Artificial Intelligence
  • 1997
  • Details

obnb.uk is a Good Stuff website.