Chishti, Irfan, Ma, Jixin and Knight, Brian (2014) Ontology mapping of business process modeling based on formal temporal logic. International Journal of Advanced Computer Science and Applications, 5 (7):15. pp. 95-104. ISSN 2158-107X (Print), 2156-5570 (Online) (doi:https://doi.org/10.14569/IJACSA.2014.050715)

Kapetanakis, Stelios, Petridis, Miltos, Ma, Jixin, Knight, Brian and Bacon, Liz (2011) Enhancing similarity measures and context provision for the intelligent monitoring of business processes in CBR-WIMS. In: 19th International Conference on Case Based Reasoning: Workshop 1 - Process-oriented Case-Based Reasoning (PO-CBR), 12-15 September 2011, Greenwich, London. (Unpublished)

Petridis, Miltos, Ma, Jixin and Knight, Brian (2011) Temporal model for business process. Intelligent Decision Technologies, 5 (4). pp. 321-331. ISSN 1872-4981 (Print), 1875-8843 (Online) (doi:https://doi.org/10.3233/IDT-2011-0115)

Kapetanakis, Stelios, Petridis, Miltos, Knight, Brian, Ma, Jixin and Bacon, Liz (2010) A case based reasoning approach for the monitoring of business workflows. In: Case-Based Reasoning. Research and Development: 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings. Lecture Notes in Computer Science, 6176 . Springer, Berlin, Germany, pp. 390-405. ISBN 9783642142734 (doi:https://doi.org/10.1007/978-3-642-14274-1_29)

Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:https://doi.org/10.1109/GCIS.2010.219)

Ma, Jixin, Zheng, Aihua, Knight, Brian, Petridis, Miltos and Luo, Bin (2009) Reasoning about uncertain and incomplete temporal knowledge. In: International Conference on Artificial Intelligence and Pattern Recognition 2009 (AIPR- 2009). Curran Associates, Inc., Red Hook, NY, USA, pp. 49-55. ISBN 978-1615676576

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Characterizing the most general temporal constraint. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece. (Unpublished)

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. ORCID: 0000-0002-7426-9999 (2007) A mathematical description of the acoustic coupling of the mass/spring model. Applied Mathematical Modelling, 31 (12). pp. 2684-2695. ISSN 0307-904X (doi:https://doi.org/10.1016/j.apm.2006.10.016)

Knight, Brian, Graham, Deryn and Kao, David (2006) Algorithms for the location of acoustic emission damage events in stressed paper (Paper No. 06/IM/123). CMS Press Report, Greenwich, London, UK. ISBN 9781904521310

Kao, D., Pericleous, Koulis A. ORCID: 0000-0002-7426-9999 , Graham, Deryn and Knight, Brian (2006) Use of a coupled mechanical-acoustic computational model to identify failure mechanisms in paper production. In: Proceedings of the Thirteenth International Congress on Sound and Vibration, ICSV13, 2-6 Jul 2006, Vienna, Austria.

Ma, Jixin and Knight, Brian (2006) Using set operations to deal with the frame problem. In: Yao, Yiyu, (ed.) Proceedings of the Fifth IEEE International Conference on Cognitive Informatics. IEEE Computer Society, Los Alamitos, CA, USA, pp. 447-452. ISBN 1424404754 (doi:https://doi.org/10.1109/COGINF.2006.365530)

Ma, Jixin, Knight, Brian and Petridis, Miltos (2006) A versatile characterization of causal relationships. Research In Computing Science, 26. pp. 15-24. ISSN 1870-4069

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Patel, Mayur (2005) CBE-conveyor: a case-based reasoning system to assist engineers in designing conveyor systems. In: Case-Based Reasoning Research and Development: 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings. Lecture Notes in Computer Science (3620). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 640-651. ISBN 9783540281740 (doi:https://doi.org/10.1007/11536406_48)

Knight, Brian, Woon, Fei Ling, Coenen, Frans and Allen, Tony (2005) Case based adaptation using interpolation over nominal values. In: Research and Development in Intelligent Systems XXI: Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer, London, UK, pp. 73-86. ISBN 9781852339074 (doi:https://doi.org/10.1007/1-84628-102-4_6)

Ma, Jixin, Knight, Brian, Petridis, Miltiadis and Mineh, Amin (2005) Visualizing a temporal consistency checker. In: Proceedings. Ninth International Conference on Information Visualisation. IEEE Computer Society, Los Alamitos, CA, USA, pp. 686-691. ISBN 0769523978 ISSN 1550-6037 (doi:https://doi.org/10.1109/IV.2005.151)

Woon, Fei Ling, Knight, Brian, Petridis, Miltos, Chapelle, Pierre and Patel, Mayur (2004) Enhancing the usability of numerical models with case-based reasoning. Journal of Expert Update, 7 (2). pp. 17-20. ISSN 1465-4091

Knight, Brian and Woon, Fei Ling (2003) Case base adaptation using solution-space metrics. In: Proceedings of the 18th International Joint Conference on Artificial intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 1347-1348. ISBN 0127056610

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case base reduction using solution-space metrics. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 652-664. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_49)

Woon, Fei Ling, Knight, Brian and Petridis, Miltos (2003) Case-based reasoning as a tool to improve the usability of numerical models. In: 5th International Conference on Case-Based Reasoning, ICCBR-03, 23-26 June 2003, Trondheim, Norway.

Woon, Fei Ling, Knight, Brian, Petridis, Miltiadis, Chapelle, Pierre and Patel, Mayur (2003) Enhancing the usability of numerical models with case-based reasoning. In: 8th UK Workshop on Case-Based Reasoning, 15 December, 2003, Peterhouse, Cambridge, UK.

Ma, Jixin and Knight, Brian (2003) Representing the dividing instant. The Computer Journal, 46 (2). pp. 213-222. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:https://doi.org/10.1093/comjnl/46.2.213)

Ma, Jixin and Knight, Brian (2003) A framework for historical case-based reasoning. In: Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings. Lecture Notes in Computer Science (2689). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 246-260. ISBN 9783540404330 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-45006-8_21)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID: 0000-0003-0609-272X (2002) Case-based retrieval of 3-dimensional shapes for the design of metal castings. Journal of Intelligent Manufacturing, 13 (1). pp. 39-45. ISSN 0956-5515 (Print), 1572-8145 (Online) (doi:https://doi.org/10.1023/A:1013676928961)

Woon, Fei Ling, Knight, Brian, Petridis, Miltos and Ward, Graham (2002) A case based model to assist in the design process in the manufacture of furniture products. Expert Update - The Specialist Group on Artificial intelligence, 5 (2). pp. 37-43. ISSN 1465-4091

Nissan, Ephraim, Galperin, Alex, Soper, Alan ORCID: 0000-0002-0901-9803 , Knight, Brian and Zhao, Jun (2001) Future states for a present-state estimate, in the contextual perspective of in-core nuclear fuel management. CASYS: International Journal of Computing Anticipatory Systems, 9. pp. 256-271. ISSN 1373-5411

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID: 0000-0002-0901-9803 and Norman, Phil (2001) Intelligent design assistant (IDA): a case base reasoning system for material and design. Materials and Design, 22 (3). pp. 163-170. ISSN 0261-3069 (doi:https://doi.org/10.1016/S0261-3069(00)00066-2)

Petridis, Miltos and Knight, Brian (2001) A blackboard architecture for a hybrid CBR system for scientific software. In: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August. Navy Centre for Applied Research in Artificial Intelligence, Naval Research Laboratory, Washington DC, USA, pp. 189-195.

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John ORCID: 0000-0003-0609-272X and Galea, Edwin ORCID: 0000-0002-0001-6665 (2001) A case based reasoning system capturing fire modelling expertise. Computing and Informatics, 20 (3). pp. 269-288. ISSN 1335-9150

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan ORCID: 0000-0002-0901-9803 (2000) From FUELCON to FUELGEN: tools for fuel reload pattern design. In: Ruan, Da, (ed.) Fuzzy Systems and Soft Computing in Nuclear Engineering, ed. Da Ruan, Publ. Springer Verlag,. Physica Verlag Heidelberg, pp. 432-448. ISBN 978-3790812510

Mileman, Tony, Knight, Brian, Petridis, Miltos, Preddy, Keith and Mejasson, Patrick (2000) Maintenance of a case-base for the retrieval of rotationally symmetric shapes for the design of metal castings. In: Blanzieri, Enrico and Portinale, Luigi, (eds.) Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6–9, 2000 Proceedings. Lecture Notes in Computer Science: Lecture Notes in Artificial Intelligence (1898). Springer Berlin Heidelberg, Berlin, Heidelberg, Germany, pp. 418-430. ISBN 9783540679332 ISSN 0302-9743 (doi:https://doi.org/10.1007/3-540-44527-7_36)

Ewer, John ORCID: 0000-0003-0609-272X , Galea, Edwin ORCID: 0000-0002-0001-6665 , Patel, Mayur and Knight, Brian (1999) Enhancing the numerical performance of fire field models (CMS Paper). CMS Press. ISBN 978-1899991532

Ma, Jixin, Knight, Brian and Nissan, Ephraim (1999) Temporal representation of state transitions. AI EDAM, 13 (2). pp. 67-78. ISSN 0890-0604 (Print), 1469-1760 (Online) (doi:https://doi.org/10.1017/S0890060499132025)

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John ORCID: 0000-0003-0609-272X and Galea, Edwin ORCID: 0000-0002-0001-6665 (1999) A knowledge-based system to represent spatial reasoning for fire modelling. Engineering Applications of Artificial Intelligence, 12 (2). pp. 213-219. ISSN 0952-1976 (doi:https://doi.org/10.1016/S0952-1976(98)00057-8)

Knight, Brian and Nissan, Ephraim (1999) A forum on case-based reasoning. Guest editorial. New Review of Applied Expert Systems, 5. pp. 141-142. ISSN 1361-0244

Zhao, Jun, Knight, Brian, Nissan, Ephraim and Soper, Alan ORCID: 0000-0002-0901-9803 (1998) FuelGen: a genetic algorithm-based system for fuel loading pattern design in nuclear power reactors. Expert Systems with Applications, 14 (4). pp. 461-470. ISSN 0957-4174 (doi:https://doi.org/10.1016/S0957-4174(98)00005-0)

Nissan, Ephraim, Soper, Alan ORCID: 0000-0002-0901-9803 , Zhao, Jun, Knight, Brian and Petridis, Miltos (1998) Fuel reload pattern design within a family of hybrid architectures. In: 3rd International FLINS Workshop on Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry, 14-16 September, 1998, Antwerp, Belgium.

Preddy, Keith, Knight, Brian, Cowell, Donald and Mileman, Tony (1997) Cast-Aid: A complementary Partner to Numerical Modelling of Casting Simulation. In: The Institute of British Foundrymen 94th Annual Conference [Castcon'97], 26-27th June 1997, Stratford-upon-Avon, UK.

Knight, Brian and Ma, Jixin (1997) Temporal management using relative time in knowledge-based process control. Engineering Applications of Artificial Intelligence, 10 (3). pp. 269-280. ISSN 0952-1976 (doi:https://doi.org/10.1016/S0952-1976(97)00003-1)

Knight, Brian, Ma, Jixin and Peng, Taoxin (1997) A discrete formalism for reasoning about action and change. In: WIT Transactions on Information and Communication Technologies. Applications of Artificial Intelligence in Engineering XII, 19 . WIT Press, pp. 31-34. ISBN 978-1-85312-471-6 ISSN 1743-3517

Zhao, Jun, Patel, Mayur and Knight, Brian (1996) A self-organising neural network for optimal grid distribution. CMS Paper S, 9 (6). CMS Press, London. ISBN 1899991115 (doi:978-1899991112)

Ma, Jixin and Knight, Brian (1996) Building temporal constraints into knowledge bases for process control: an examination [Reply to author's reply]. Engineering Applications of Artificial Intelligence, 9 (1). pp. 95-96. ISSN 0952-1976 (doi:https://doi.org/10.1016/0952-1976(95)00065-8)

Ma, Jixin and Knight, Brian (1996) A reified temporal logic. The Computer Journal, 39 (9). pp. 800-807. ISSN 0010-4620 (doi:https://doi.org/10.1093/comjnl/39.9.800)