Search:
Computing and Library Services - delivering an inspiring information environment

Items where Author is West, Margaret

Up a level
Export as [feed] RSS
[tool] Download Statistics
Jump to: 2013 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2003 | 2002 | 2001 | 2000 | 1998 | 1997
Number of items: 20.

2013

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

2010

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

2009

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

2008

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.

2007

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)

2006

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.

2005

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

2003

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) 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

2002

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)

2001

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

2000

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

1998

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

1997

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

This list was generated on Thu Aug 21 13:06:47 2014 IST.

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©