 | 2009 |
|---|
| 7 |       | Thomas Leo McCluskey,
Stephen Cresswell,
N. Elisabeth Richardson,
Margaret Mary West:
Automated Acquisition of Action Knowledge.
ICAART 2009: 93-100 |
| 6 | | Stephen Cresswell,
Thomas Leo McCluskey,
Margaret Mary West:
Acquisition of Object-Centred Domain Models from Planning Examples.
ICAPS 2009 |
| 2001 |
|---|
| 5 | | T. L. McCluskey,
Margaret Mary West:
The Automated Refinement of a Requirements Domain Theory.
Autom. Softw. Eng. 8(2): 195-218 (2001) |
| 4 | | Margaret Mary West,
T. L. McCluskey:
The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory.
International Journal on Artificial Intelligence Tools 10(4): 613-637 (2001) |
| 2000 |
|---|
| 3 |  | Margaret Mary West,
T. L. McCluskey:
The application of a machine learning tool to the validation of an air traffic control domain theory.
ICTAI 2000: 414-421 |
| 1998 |
|---|
| 2 | | T. L. McCluskey,
Margaret Mary West:
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.
ASE 1998: 105-114 |
| 1 | | T. L. McCluskey,
Margaret Mary West:
A Case Study in the Use of Theory Revision in Requirements Validation.
ICML 1998: 368-376 |
