Margaret Mary West

Knowl. Eng. Rev., 2013

2009

Action Knowledge Acquisition with Opmaker2.

[BibT_eX]

[DOI]

N. Elisabeth Richardson

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Automated Acquisition of Action Knowledge.

[BibT_eX]

N. Elisabeth Richardson

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Acquisition of Object-Centred Domain Models from Planning Examples.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2002

Issues in validation and executability of formal specifications in the Z notation.

[BibT_eX]

[DOI]

PhD thesis, 2002

2001

The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2001

The Automated Refinement of a Requirements Domain Theory.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2001

2000

The application of a machine learning tool to the validation of an air traffic control domain theory.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

1998

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

A Case Study in the Use of Theory Revision in Requirements Validation.

[BibT_eX]