Skip navigation

Items where Greenwich Author is "Knight, Brian"

Items where Greenwich Author is "Knight, Brian"

Up a level
Export as [feed] RSS
Group by: Item Type | Date | Funders | Uncontrolled Keywords | No Grouping
Number of items: 66.

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)

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, Switzerland, pp. 199-210. ISBN 9783319026206 (doi:https://doi.org/10.1007/978-3-319-02621-3_14)

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. (Submitted)

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 9781615676576

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. (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

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)

Kao, D., Pericleous, Koulis A., 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. (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

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)

Janes, D., Ewer, J., 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

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

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.

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, J.A.C., 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, John, 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

Ewer, J.A.C., 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

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

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

Ewer, J., 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)

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

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

Ewer, J., 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

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)

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

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

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

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.

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.

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)

Preddy, Keith, Knight, Brian, Cowell, Donald and Mileman, Tony (1997) Cais-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)

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

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)

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)

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

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)

This list was generated on Sat Apr 20 08:30:26 2019 UTC.