Article

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:10.14569/IJACSA.2014.050715)

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:10.3233/IDT-2011-0115)

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. ORCID: https://orcid.org/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:10.1016/j.apm.2006.10.016)

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

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:10.1093/comjnl/46.2.213)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID: https://orcid.org/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: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: https://orcid.org/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: https://orcid.org/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:10.1016/S0261-3069(00)00066-2)

Taylor, Stephen, Knight, Brian, Petridis, Miltos, Ewer, John ORCID: https://orcid.org/0000-0003-0609-272X and Galea, Edwin ORCID: https://orcid.org/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

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:10.1017/S0890060499132025)

Knight, Brian, Taylor, Steve, Petridis, Miltos, Ewer, John ORCID: https://orcid.org/0000-0003-0609-272X and Galea, Edwin ORCID: https://orcid.org/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: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: https://orcid.org/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:10.1016/S0957-4174(98)00005-0)

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:10.1016/S0952-1976(97)00003-1)

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: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:10.1093/comjnl/39.9.800)

Book Section

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:10.1109/COGINF.2006.365530)

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan ORCID: https://orcid.org/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:10.1007/3-540-44527-7_36)

Book

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

Ewer, John ORCID: https://orcid.org/0000-0003-0609-272X, Galea, Edwin ORCID: https://orcid.org/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

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)

Conference Proceedings

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

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: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: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:10.1109/IV.2005.151)

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:10.1007/3-540-45006-8_49)

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:10.1007/3-540-45006-8_21)

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.

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

Conference or Conference Paper

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)

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, D., Pericleous, Koulis A. ORCID: https://orcid.org/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.

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.

Nissan, Ephraim, Soper, Alan ORCID: https://orcid.org/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.