Michael Uschold
14 published titles
An Intelligent front end for ecological modelling
(Contributor)
1 edition
- Department of Artificial Intelligence, University of Edinburgh
- 1984
- Details
The use of the typed lambda calculus in a software construction assistant : position statement for Term inological Logic Users Workshop
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1991
- Details
The part-whole relationship : discussion group report from Terminological Logic Users Workshop
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1991
- Details
The use of domain information and higher order logic for model management
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1992
- Details
The use of ontology to guide naive users in representing substructure
1 edition
- University of Edinburgh, Artificial Intelligence Applications Institute
- 1992
- Details
Using influence diagrams in petroleum applications
(Contributor)
1 edition
- University of Edinburgh, Artificial Intelligence Applications Institute
- 1993
- Details
Knowledge engineering without knowledge elicitation
(Contributor)
1 edition
- University of Edinburgh, Artificial Intelligence Applications Institute
- 1993
- Details
BCASE evaluation : overview and critique
1 edition
- Artificial Intelligence Applications Institute
- 1993
- Details
BCASE/Demos evaluation : overview and critique
1 edition
- Artificial Intelligence Applications Institute
- 1994
- Details
Towards a methodology for building ontologies
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1995
- Details
The use of the typed lambda calculus for guiding naive users in the representation and acquisition of part-whole knowledge
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1995
- Details
Ontologies : principles, methods and applications
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1996
- Details
Converting an informal ontology into ontolingua : some experiences
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1996
- Details
Building ontologies : towards a unified methodology
1 edition
- Artificial Intelligence Applications Institute, University of Edinburgh
- 1996
- Details