( en | de | ru )

 

Disambiguation of "West, Margaret Mary"

Author of the publication

copydeleteadd this publication to your clipboard
The Automated Refinement of a Requirements Domain Theory.

, and . Autom. Softw. Eng., 8 (2): 195-218 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Margaret Mary Bussigel

Margaret Mary Mitchell

Georg Mary

Thomas Marycz

Melanie Marysko

 

Other publications of authors with the same name

Automated Acquisition of Action Knowledge., , , and . ICAART, page 93-100. INSTICC Press, (2009)The Automated Refinement of a Requirements Domain Theory., and . Autom. Softw. Eng., 8 (2): 195-218 (2001)The Application of Machine Learning Tools to the Validation of an Air Traffic Control Domain Theory., and . Int. J. Artif. Intell. Tools, 10 (4): 613-637 (2001)Acquiring planning domain models using LOCM., , and . Knowledge Eng. Review, 28 (2): 195-213 (2013)Issues in validation and executability of formal specifications in the Z notation.. University of Leeds, UK, (2002)British Library, EThOS.The application of a machine learning tool to the validation of an air traffic control domain theory., and . ICTAI, page 414-421. IEEE Computer Society, (2000)Action Knowledge Acquisition with Opmaker2., , , and . ICAART (Revised Selected Papers), volume 67 of Communications in Computer and Information Science, page 137-150. Springer, (2009)Acquisition of Object-Centred Domain Models from Planning Examples., , and . ICAPS, AAAI, (2009)Towards the Automated Debugging and Maintenance of Logic-based Requirements Models., and . ASE, page 105-114. IEEE Computer Society, (1998)A Case Study in the Use of Theory Revision in Requirements Validation., and . ICML, page 368-376. Morgan Kaufmann, (1998)