Items where Author is West, Margaret

Cresswell, S.N., McCluskey, T.L. and West, Margaret M. (2013) Acquiring planning domain models using LOCM. Knowledge Engineering Review, 28 (2). pp. 195-213. ISSN 0269-8889

McCluskey, T.L., Cresswell, S.N., Richardson, N.E. and West, Margaret M. (2010) Action Knowledge Acquisition with Opmaker2. In: Agents and Artificial Intelligence. Communications in Computer and Information Science, 67 . Springer, pp. 137-150. ISBN 978-3-642-11818-0

Shah, Mohammad Munshi Shahin, McCluskey, T.L. and West, Margaret M. (2009) A study of synthesizing artificial intelligence (AI) planning domain models by using object constraints. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2009: CEARC’09. University of Huddersfield, Huddersfield, pp. 64-69. ISBN 9781862180857

Shah, Mohammad Munshi Shahin, McCluskey, T.L. and West, Margaret M. (2009) An Investigation into Using Object Constraints to Synthesize Planning Domain. In: ICAPS 2009 Doctoral Consortium, September 19th 2009, Thessaloniki, Greece.

Cresswell, S.N., McCluskey, T.L. and West, Margaret M. (2009) Acquisition of Object-Centred Domain Models from Planning Examples. In: Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling. AAAI Press, Menlo Park, California, USA, pp. 338-341. ISBN 9781577354079

McCluskey, T.L., Cresswell, S.N., Richardson, N.E. and West, Margaret M. (2009) Automated acquisition of action knowledge. In: International Conference on Agents and Artificial Intelligence (ICAART), 19-21st January 2009, Porto, Portugal.

McCluskey, T.L. and West, Margaret M. (2009) Ontological Engineering and ATC. Air Traffic Technology International 2009. pp. 63-65. ISSN 1366-7041

McCluskey, T.L., Cresswell, S.N., Richardson, N.E., Simpson, R.M. and West, Margaret M. (2008) An evaluation of Opmaker2. In: The 27th Workshop of the UK Planning and Scheduling Special Interest Group, December 11-12th, 2008, Edinburgh.

McCluskey, T.L., Cresswell, S.N., Richardson, Nona Elizabeth and West, Margaret M. (2007) Opmaker2: efficient action schema acquisition. In: The 26th Workshop of the UK PLANNING AND SCHEDULING Special Interest Group - PlanSIG 2007, 17th-18th December 2007, Charles University, Prague, Czech Republic. (Unpublished)

Richardson, N.E., McCluskey, T.L. and West, Margaret M. (2006) Towards inducing HTN domain models from examples. In: 25th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), 14th-15th December, 2006, Nottingham.

Kitchin, Diane E., McCluskey, T.L. and West, Margaret M. (2005) B vs OCL: comparing specification languages for Planning Domains. In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005). AAAI Press. ISBN 978-1-57735-220-4

West, Margaret M. and Kitchin, Diane E. (2003) Testing domain model validation tools. In: PlanSIG 22, 9th/10th Dec 2003, University of Strathclyde, Glasgow. (Unpublished)

Ingleby, Michael and West, Margaret M. (2003) Casual influence coefficients: a localised maximum entropy approach to Bayesian inference. In: Mathematical And Statistical Methods In Reliability. World Scientific, pp. 45-56. ISBN 9789812383211

Ingleby, Michael and West, Margaret M. (2003) Causal influence coefficients: a localised maximum entropy to Bayesian inference. In: Mathematical and Statistical Methods in Reliability. Series on quality, reliability and engineering statistics, 7 . World Scientific, pp. 45-57. ISBN 9789812383211

West, Margaret M., Kitchin, Diane E. and McCluskey, T.L. (2002) Validating planning domain models using B-AMN. In: PlanSIG 2002, 21st/22nd Nov 2002, Delft University of Technology, Holland. (Unpublished)

West, Margaret M. and McCluskey, T.L. (2001) The application of machine learning tools to the validation of an air traffic control domain theory. International Journal on Artificial Intelligence Tools, 10 (4). pp. 613-637. ISSN 0218-2130

McCluskey, T.L. and West, Margaret M. (2001) The automated refinement of a requirements domain theory. Journal of Automated Software Engineering, 8 (2). pp. 195-218. ISSN 1573-7535

West, Margaret M. and McCluskey, T.L. (2000) The application of a machine learning tool to the validation of an air traffic control domain theory. In: Tools With Artificial Intelligence (ICTAI 2000) conference proceedings. IEEE, pp. 414-421. ISBN 0769509096

McCluskey, T.L. and West, Margaret M. (1998) A case study in the use of theory revision in requirements validation. In: Machine learning: proceedings of the fifteenth international conference (ICML '98). Morgan Kaufmann, pp. 368-376. ISBN 9781558605565

McCluskey, T.L. and West, Margaret M. (1998) Towards the Automated Debugging and Maintenance of Logic-based Requirements Models. In: Proceedings, 13th IEEE International Conference on Automated Software Engineering. IEEE Computer Society. ISBN 9780818687501

McCluskey, T.L., Porteous, J.M., West, Margaret M. and Bryant, C.H. (1997) The validation of formal specifications of requirements. In: BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996. Springer, pp. 8-9. ISBN 9783540761174