Article

Ma, J. and Knight, B. (2001) Reified temporal logics: an overview. Artificial Intelligence Review, 15 (3). pp. 189-217. ISSN 0269-2821 (Print), 1573-7462 (Online) (doi:https://doi.org/10.1023/A:1011018426725)

Ewer, J. ORCID: 0000-0003-0609-272X , Galea, E.R. ORCID: 0000-0002-0001-6665 , Patel, M.K., Taylor, S., Knight, B. and Petridis, M. (1999) SMARTFIRE: an intelligent CFD based fire model. Journal of Fire Protection Engineering, 10 (1). pp. 13-27. ISSN 1042-3915 (Print), 1532-172X (Online) (doi:https://doi.org/10.1177/104239159901000102)

Tyler, M., Knight, B., Norman, P., Mejasson, P. and Petridis, M. (1999) An intelligent assistant for design and material engineers in the submarine cable industry. New Review of Applied Expert Systems, 5. pp. 203-212. ISSN 1361-0244

Zhao, J., Knight, B., Nissan, E., Petridis, M. and Soper, A.J. ORCID: 0000-0002-0901-9803 (1998) The FUELGEN alternative: an evolutionary approach. The architecture. New Review of Applied Expert Systems, 4. pp. 177-183. ISSN 1361-0244

Zhao, J., Knight, B., Nissan, E. and Soper, A. ORCID: 0000-0002-0901-9803 (1998) FUELGEN: effective evolutionary design of refuellings for pressurized water reactors. Computers and Artificial Intelligence, 17 (2-3). pp. 105-125. ISSN 0232-0274

Knight, B., Ma, J. and Nissan, E. (1998) Representing temporal knowledge in legal discourse. Information & Communications Technology Law, 7 (3). pp. 199-211. ISSN 1360-0834 (Print), 1469-8404 (Online) (doi:https://doi.org/10.1080/13600834.1998.9965791)

Petridis, M. and Knight, B. (1996) The integration of an intelligent knowledge-based system into engineering software using the blackboard structure. Advances in Engineering Software, 25 (2-3). pp. 141-147. ISSN 0965-9978 (doi:https://doi.org/10.1016/0965-9978(95)00101-8)

Ma, J., Knight, B. and Ibrahim, M. (1996) A qualitative temporal information system for process control. Advances in Engineering Software, 25 (2-3). pp. 235-241. ISSN 0965-9978 (doi:https://doi.org/10.1016/0965-9978(95)00090-9)

Book

Ewer, J. ORCID: 0000-0003-0609-272X , Galea, E.R. ORCID: 0000-0002-0001-6665 , Knight, B., Patel, M., Janes, D. and Petridis, M. (1998) Fire field modelling using the SMARTFIRE automated dynamic solution control environment. CMS Press, Greenwich, London, UK. ISBN 1899991387

Taylor, S., Galea, E.R. ORCID: 0000-0002-0001-6665 , Ewer, J. ORCID: 0000-0003-0609-272X , Patel, M.K., Petridis, M. and Knight, B. (1998) SMARTFIRE: an intelligent CFD-based fire model. CMS Press, Greenwich, London, UK. ISBN 1899991301

Conference Proceedings

Ma, J., Petridis, M. and Knight, B. (2013) Formulating the temporal causal relationships between events and their results. In: Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International Publishing, Cham, Switzerland, pp. 199-210. ISBN 978-3319026206 (doi:https://doi.org/10.1007/978-3-319-02621-3_14)

Knight, B., Woon, F.L., Patel, M.K. and Petridis, M. (2006) CBR-conveyor: Solving the inverse and constraint problems to assist the design of pneumatic conveyors. In: Proceedings of the 5th International Conference on Engineering Computational Technology. Civil-Comp Press, Stirlingshire, UK. ISSN 1759-3433 (doi:https://doi.org/10.4203/ccp.84.129)

Kao, D., Graham, D., Knight, B., Pericleous, K. ORCID: 0000-0002-7426-9999 and Patel, M.K. (2006) Identifying the damage mechanisms in paper using the acoustic emission monitoring technique. In: Proceedings of the 5th International Conference on Engineering Computational Technology. Civil-Comp Proceedings, 47 (84). Civil-Comp Press Ltd., Stirling, UK. ISBN 1905088116 ISSN 1759-3433 (doi:https://doi.org/10.4203/ccp.84.47)

Janes, D., Ewer, J. ORCID: 0000-0003-0609-272X , Galea, E. ORCID: 0000-0002-0001-6665 , Patel, M. and Knight, B. (2001) Automatic dynamic control of CFD base fire modelling simulations. In: Conference Proceedings: Interflam 2001: 9th International Fire Science and Engineering Conference. Interscience Communications Ltd., Greenwich, London, UK, pp. 811-822. ISBN 0953231283

Ewer, J.A.C. ORCID: 0000-0003-0609-272X , Galea, E.R. ORCID: 0000-0002-0001-6665 , Patel, M.K. and Knight, B. (2000) The development of group solvers in the SMARTFIRE fire field model. In: ACME '2000 The 8th Annual Conference of the Association for Computational Mechanics in Engineering. Extended Abstracts. University of Greenwich, Greenwich, London, UK, pp. 54-57. ISBN 1861661509

Ewer, J.A.C. ORCID: 0000-0003-0609-272X , Galea, E.R. ORCID: 0000-0002-0001-6665 , Patel, M.K. and Knight, B. (1999) The development and application of group solvers in the SMARTFIRE fire field model. In: Conference Proceedings: Interflam 1999: 8th International Fire Science and Engineering Conference. Interscience Communications Ltd., Greenwich, London, UK, pp. 939-950. ISBN 0953231232

Mileman, T.J., Knight, B., Cowell, D.F. and Preddy, K.L. (1998) Cast-aid: a decision support system for designing castings. In: 8th International conference on Modeling of Casting and Welding Processes. Minerals, Metals & Materials Society, Warrendale, PA, USA, pp. 1087-1094. ISBN 0873394070

Ma, J., Knight, B. and Peng, T. (1997) Representing temporal relationships between events and their effects. In: Proceedings: Fourth International Workshop on Temporal Representation and Reasoning. IEEE Computer Society Press, Los Alamitos, California, USA, pp. 148-152. ISBN 0818679379 (doi:https://doi.org/10.1109/TIME.1997.600796)

Taylor, S., Petridis, M., Knight, B., Ewer, J. ORCID: 0000-0003-0609-272X , Galea, E.R. ORCID: 0000-0002-0001-6665 and Patel, M. (1997) SMARTFIRE: an integrated computational fluid dynamics code and expert system for fire field modelling. In: Fire Safety Science: Proceedings of the Fifth International Symposium. International Association for Fire Safety Science, Greenwich, London, UK, pp. 1285-1296. ISBN 4990062555 (doi:https://doi.org/10.3801/IAFSS.FSS.5-1285)

Conference or Conference Paper

Knight, B., Peng, T. and Ma, J. (1998) Reasoning about change over time: Actions, events and their effects. In: Fourth Symposium on Logical Formalizations of Commonsense Reasoning (CS98), 7 - 9 January 1998, Queen Mary and Westfield College, London, UK.

Ma, J., Knight, B. and Peng, T. (1996) Temporal reasoning about action and change. In: International Conference on Knowledge-Based Computer Systems, 16 -18 December 1996, Mumbai, India. (Unpublished)

Monograph

Graham, D., Kao, D. and Knight, B. (2006) High frequency components of the AE signal as useful features for bond/fibre break discriminators. Technical Report. CMS Press, London, UK.

Knight, B., Mileman, T., Petridis, M., Cowell, D. and Preddy, K. (2000) Performance of case-based retrieval of 3-D shapes for the design of metal castings. Other. CMS Press, London, UK.

Chadwick, D., Rajalingham, K., Knight, B. and Edwards, D. (1999) A methodology for spreadsheet development based on data structure. Other. CMS Press, London, UK.