Skip navigation

Items where Author is "Knight, Brian"

Items where Author is "Knight, Brian"

[up] Up a level
Group by: Item Type | Uncontrolled Keywords | No Grouping
3-dimensional shapes acoustic emission acoustic emission testing acoustic wave equation action artificial intelligence artificial intelligence (incl. robotics) business information systems business process Business Process Modeling techniques business workflows Cais-Aid case based engineering case based reasoning case based-reasoning case-base reasoning case-based reasoning casting casting design Casting Simulation causal relationship CBR CBR competence CBR performance cognition common universal reference computational intelligence computer applications in administrative data processing computer applications in social and behavioral sciences computers constraints coupled mechanical-acoustic system derivation design and manufacture Dividing Instant (DI) electronics event explanation fibre bond failure fibre failure finite element methods fire field modelling fire modelling fire modelling expertise foundry fuzzy logic fuzzy systems general temporal constraint (GTC) general time theory graph similarity incomplete temporal knowledge incompleteness industrial real-time systems industry sectors intelligent information retrieval interpolation IT & software knowledge based systems knowledge bases knowledge management knowledge representation knowledge-based systems logical formalism lumped systems material selection mathematical logic and formal languages metric diagrams model neural networks nominal values nuclear engineering nuclear fuel nuclear science Numerical Modelling numerical models Ontology Ontology mapping operations research/decision theory paper process control processes/events qualitative attributes reasoning reification reified temporal logic (RTL) relational structures relative time robotics Semantics similarity measure Smartfire soft computing spatial reasoning state transitions sufficient conditions telecommunications temporal databases temporal information temporal knowledge Temporal Logic temporal model temporal modelling temporal reasoning temporal relationships temporal representation time time model time modelling tutoring uncertain knowledge uncertainty
Number of items: 142.

3-dimensional shapes

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

acoustic emission

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. ORCID logoORCID: 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)

acoustic emission testing

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

acoustic wave equation

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. ORCID logoORCID: 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)

action

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)

artificial intelligence

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)

artificial intelligence (incl. robotics)

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)

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)

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)

business information systems

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)

business process

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)

Business Process Modeling techniques

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)

business workflows

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)

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)

Cais-Aid

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.

case based engineering

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)

case based reasoning

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)

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

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

case based-reasoning

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

case-base reasoning

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)

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

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

case-based reasoning

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

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

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

casting

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

casting design

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

Casting Simulation

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.

causal relationship

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)

CBR

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

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

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

CBR competence

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

CBR performance

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

cognition

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)

common universal reference

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)

computational intelligence

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)

computer applications in administrative data processing

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)

computer applications in social and behavioral sciences

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)

computers

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)

constraints

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

coupled mechanical-acoustic system

Kao, D., Pericleous, Koulis A. ORCID logoORCID: 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.

derivation

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

design and manufacture

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

Dividing Instant (DI)

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)

electronics

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)

event

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)

explanation

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

fibre bond failure

Kao, D., Pericleous, Koulis A. ORCID logoORCID: 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.

fibre failure

Kao, D., Pericleous, Koulis A. ORCID logoORCID: 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.

finite element methods

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)

fire field modelling

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.

fire modelling

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

fire modelling expertise

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

foundry

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

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.

fuzzy logic

Nissan, Ephraim, Soper, Alan ORCID logoORCID: 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.

fuzzy systems

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan ORCID logoORCID: 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

general temporal constraint (GTC)

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)

general time theory

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)

graph similarity

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)

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)

incomplete temporal knowledge

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

incompleteness

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)

industrial real-time systems

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)

industry sectors

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)

intelligent information retrieval

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

interpolation

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

IT & software

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)

knowledge based systems

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)

knowledge bases

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)

knowledge management

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

knowledge representation

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)

knowledge-based systems

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)

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

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)

logical formalism

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)

lumped systems

Kao, David, Graham, Deryn, Knight, Brian and Pericleous, Koulis A. ORCID logoORCID: 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)

material selection

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

mathematical logic and formal languages

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)

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)

metric diagrams

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

model

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)

neural networks

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)

nominal values

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)

nuclear engineering

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan ORCID logoORCID: 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

Zhao, Jun, Knight, Brian, Nissan, Ephraim and Soper, Alan ORCID logoORCID: 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)

nuclear fuel

Nissan, Ephraim, Galperin, Alex, Soper, Alan ORCID logoORCID: 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

nuclear science

Nissan, Ephraim, Soper, Alan ORCID logoORCID: 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.

Numerical Modelling

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.

numerical models

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

Ontology

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)

Ontology mapping

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)

operations research/decision theory

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)

paper

Kao, D., Pericleous, Koulis A. ORCID logoORCID: 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.

process control

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)

processes/events

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)

qualitative attributes

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

reasoning

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

reification

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)

reified temporal logic (RTL)

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)

relational structures

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

relative time

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)

robotics

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)

Semantics

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)

similarity measure

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

Smartfire

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.

soft computing

Nissan, Ephraim, Galperin, Alex, Zhao, Jun, Knight, Brian and Soper, Alan ORCID logoORCID: 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

spatial reasoning

Mileman, Tony, Knight, Brian, Petridis, Miltos, Cowell, Don and Ewer, J. ORCID logoORCID: 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)

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

state transitions

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)

sufficient conditions

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)

telecommunications

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)

temporal databases

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)

temporal information

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)

temporal knowledge

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)

Temporal Logic

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)

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)

temporal model

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)

temporal modelling

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

temporal reasoning

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)

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

temporal relationships

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

temporal representation

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)

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)

time

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)

time model

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

time modelling

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

tutoring

Mejasson, Patrick, Petridis, Miltos, Knight, Brian, Soper, Alan ORCID logoORCID: 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)

uncertain knowledge

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

uncertainty

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)

This list was generated on Sun Dec 22 11:45:49 2024 UTC.