2003 |
21 | EE | Trevor J. M. Bench-Capon,
Grant Malcolm,
Michael J. R. Shave:
Semantics for Interoperability: Relating Ontologies and Schemata.
DEXA 2003: 703-712 |
1999 |
20 | EE | Pepijn R. S. Visser,
Martin D. Beer,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Resolving Ontological Heterogeneity in the KRAFT Project.
DEXA 1999: 668-677 |
1998 |
19 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation.
ECAI 1998: 140-144 |
18 | | Frans Coenen,
Bridget Beattie,
Michael J. R. Shave,
Trevor J. M. Bench-Capon,
B. M. Diaz:
Spatial Reasoning Using the Quad Tesseral Representation.
Artif. Intell. Rev. 12(4): 321-343 (1998) |
1997 |
17 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
A Tesseral Approach to n-Dimensional Spatial Reasoning.
DEXA 1997: 633-642 |
16 | | Peter M. D. Gray,
Alun D. Preece,
N. J. Fiddian,
W. A. Gray,
Trevor J. M. Bench-Capon,
Michael J. R. Shave,
Nader Azarmi,
M. Wiegand,
M. Ashwell,
Martin D. Beer,
Zhan Cui,
B. M. Diaz,
Suzanne M. Embury,
Kit-ying Hui,
Andrew C. Jones,
Dean M. Jones,
Graham J. L. Kemp,
E. W. Lawson,
K. Lunn,
Philippe Marti,
Jianhua Shao,
Pepijn R. S. Visser:
KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases.
DEXA Workshop 1997: 682-691 |
1996 |
15 | | Frans Coenen,
Bridget Beattie,
Trevor J. M. Bench-Capon,
Michael J. R. Shave,
B. M. Diaz:
An Ontology for Linear Spatial Reasoning.
DEXA 1996: 718-727 |
14 | EE | Frans Coenen,
Bridget Beattie,
Bernard M. Diaz,
Trevor J. M. Bench-Capon,
Michael J. R. Shave:
Temporal reasoning using tesseral addressing: towards an intelligent environmental impact assessment system.
Knowl.-Based Syst. 9(5): 287-300 (1996) |
1995 |
13 | | Bridget Beattie,
Frans Coenen,
Trevor J. M. Bench-Capon,
B. M. Diaz,
Michael J. R. Shave:
Spatial Reasoning for GIS Using a Tesseral Data Representation
DEXA 1995: 207-216 |
12 | | Frans Coenen,
Ian Finch,
Michael J. R. Shave,
Trevor J. M. Bench-Capon:
Developing Distributed Database Applications Using TSL
DEXA 1995: 58-67 |
1993 |
11 | EE | Trevor J. M. Bench-Capon,
Frans Coenen,
Hyacinth S. Nwana,
Ray Paton,
Michael J. R. Shave:
Two Aspects of the Validation and Verification of Knowledge-Based Systems.
IEEE Expert 8(3): 76-81 (1993) |
1992 |
10 | | Hyacinth S. Nwana,
Ray Paton,
Michael J. R. Shave,
Trevor J. M. Bench-Capon:
Domain-Driven Knowledge Modelling: Mediating and Intermediate Representations for Knowledge Acquisition.
EKAW 1992: 250-263 |
1991 |
9 | | Hyacinth S. Nwana,
Ray Paton,
Trevor J. M. Bench-Capon,
Michael J. R. Shave:
Facilitating the Development of Knowledge Based Systems, A Critical Review of Aquisition Tools and Techniques.
AI Commun. 4(2/3): 60-73 (1991) |
1990 |
8 | | Ray Paton,
Hyacinth S. Nwana,
Michael J. R. Shave,
Trevor J. M. Bench-Capon,
Sheila Hughes:
Transfer of Natural Metaphors to Parallel Problem Solvin Applications.
PPSN 1990: 363-372 |
1987 |
7 | | Perry Jones,
Michael J. R. Shave:
A Language for Simple Interactive Retrieval from a Database System.
Data Knowl. Eng. 2: 303-321 (1987) |
1984 |
6 | | Malcolm P. Atkinson,
Jorge B. Bocca,
T. J. Elsey,
N. J. Fiddian,
M. Flower,
Peter M. D. Gray,
W. A. Gray,
P. Hepp,
R. G. Johnson,
W. Milne,
Moira C. Norrie,
A. O. Omololu,
Elizabeth A. Oxborrow,
Michael J. R. Shave,
A. M. Smith,
Peter M. Stocker,
J. Walker:
The Proteus Distributed Database System.
BNCOD 1984: 225-245 |
1981 |
5 | | Michael J. R. Shave:
Entities, Functions and Binary Relations: Steps to a Conceptual Schema.
Comput. J. 24(1): 42-47 (1981) |
1980 |
4 | | Michael J. R. Shave:
Problems of Integrity and Distributed Databases.
Softw., Pract. Exper. 10(2): 135-147 (1980) |
1978 |
3 | | Michael J. R. Shave:
The Programming of Structural Relationships in Dynamic Environments.
Softw., Pract. Exper. 8(2): 199-211 (1978) |
1977 |
2 | | Michael J. R. Shave:
The Simulation and Use of a TABLE Data Type.
Softw., Pract. Exper. 7(6): 733-745 (1977) |
1975 |
1 | | K. W. Smillie,
Michael J. R. Shave:
Converting Decision Tables to Computer Programs.
Comput. J. 18(2): 108-111 (1975) |