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
Jump to: Business Process Modeling techniques, Ontology, Ontology mapping, Temporal Logic, Semantics | CBR, case based-reasoning | CBR, case-based reasoning | Cais-Aid, Numerical Modelling, Casting Simulation, Foundry, | Case Based Reasoning, CBR, similarity measure, relational structures, design and manufacture | Computational Fluid Dynamics, (CFD), fire modelling, fire simulation, SMARTFIRE, open architecture | Computational Fluid Dynamics, (CFD, fire simulation, SMARTFIRE, fire modelling | Dividing Instant (DI), temporal model | acoustic emission testing | acoustic emission, lumped systems, acoustic wave equation | artificial intelligence (incl. Robotics), mathematical logic and formal languages, computer applications in administrative data processing, computer applications in social and behavioral sciences, operations research/decision theory | artificial intelligence (incl. robotics), industry sectors, electronics, telecommunications, IT & software | artificial intelligence (incl. robotics), mathematical logic and formal languages, business information systems, case based engineering | artificial intelligence, robotics, data mining, knowledge discovery | artificial intelligence, robotics, nominal values | blackboard, Intelligent Knowledge-Based Systems, (IKBS), artificial intelligence, engineering software | business process, action, event, model, temporal representation | case based reasoning, business workflows, temporal reasoning, graph similarity | case based reasoning, fire modelling expertise | case-base reasoning | case-base reasoning, business workflows, temporal reasoning, graph similarity, explanation | case-base reasoning, intelligent information retrieval, knowledge management, material selection, tutoring, qualitative attributes, | case-based reasoning, CBR, Smartfire, fire field modelling | case-based reasoning, CBR, interpolation, numerical models, constraints | case-based reasoning, casting design, CBR competence, CBR performance, casting, foundry, knowledge management, knowledge-based systems, spatial reasoning, 3-dimensional shapes | case-based reasoning, numerical models, pneumatic conveyor, interpolation | casting processes, welding processes, advanced solidification processes, solidification processes | computer architecture, genetic algorithms, trees (mathematics), FUELGEN expert system, expert systems | computer modelling, computational fluid dynamics, CFD, fire simulation software | coupled mechanical-acoustic system, paper, fibre failure, fibre bond failure | derivation, explanation, temporal reasoning | fire modelling, field modelling, Computational Fluid Dynamics, (CFD), expert system, artificial intelligence | fire modelling, field modelling, Computational Fluid Dynamics, CFD, expert system, artificial intelligence, SMARTFIRE | fire simulation software, fire modelling, SMARTFIRE | fuzzy logic, nuclear science, | fuzzy systems, nuclear engineering, soft computing, | general temporal constraint (GTC), general time theory, causal relationship | knowledge bases, process control | knowledge representation, computational intelligence | logical formalism, reification, temporal logic | logical formalism, reification, temporal logic, reified temporal logic (RTL) | mass-spring system, paper, damage mechanism, acoustic emission, neural network, self-organising map | neural networks, | nuclear engineering | nuclear engineering, | nuclear fuel, | points, intervals, relative temporal knowledge, transaction time, valid time | process algebra, temporal logic, temporal reasoning, calculus, delay effects, ontologies, pressing | processes/events, knowledge-based systems, relative time, temporal databases | reasoning, uncertain knowledge, incomplete temporal knowledge | spatial reasoning, metric diagrams, case-based reasoning, fire modelling | temporal knowledge, legal discourse, absolute temporal knowledge, relative temporal knowledge, legal text | temporal knowledge, uncertainty, incompleteness, cognition, computers, finite element methods, knowledge based systems, sufficient conditions | temporal representation, state transitions, industrial real-time systems | time modelling, temporal modelling, temporal relationships, time model | time, common universal reference, knowledge-based systems, temporal information
Number of items: 58.

Business Process Modeling techniques, Ontology, Ontology mapping, Temporal Logic, 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:https://doi.org/10.14569/IJACSA.2014.050715)

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

CBR, case-based reasoning

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

Cais-Aid, Numerical Modelling, Casting Simulation, Foundry,

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.

Case Based Reasoning, CBR, similarity measure, relational structures, 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

Computational Fluid Dynamics, (CFD), fire modelling, fire simulation, SMARTFIRE, open architecture

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

Computational Fluid Dynamics, (CFD, fire simulation, SMARTFIRE, fire modelling

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)

Dividing Instant (DI), 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:https://doi.org/10.1093/comjnl/46.2.213)

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 emission, lumped systems, acoustic wave equation

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)

artificial intelligence (incl. Robotics), mathematical logic and formal languages, computer applications in administrative data processing, computer applications in social and behavioral sciences, 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:https://doi.org/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:https://doi.org/10.1007/3-540-45006-8_21)

artificial intelligence (incl. robotics), industry sectors, electronics, telecommunications, 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:https://doi.org/10.1007/3-540-44527-7_36)

artificial intelligence (incl. robotics), mathematical logic and formal languages, business information systems, 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:https://doi.org/10.1007/11536406_48)

artificial intelligence, robotics, data mining, knowledge discovery

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)

artificial intelligence, robotics, 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:https://doi.org/10.1007/1-84628-102-4_6)

blackboard, Intelligent Knowledge-Based Systems, (IKBS), artificial intelligence, engineering software

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)

business process, action, event, model, 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:https://doi.org/10.3233/IDT-2011-0115)

case based reasoning, business workflows, temporal reasoning, graph similarity

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)

case based reasoning, fire modelling expertise

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

case-base reasoning

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

case-base reasoning, business workflows, temporal reasoning, graph similarity, 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. (Submitted)

case-base reasoning, intelligent information retrieval, knowledge management, material selection, tutoring, qualitative attributes,

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)

case-based reasoning, CBR, Smartfire, 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.

case-based reasoning, CBR, interpolation, numerical models, 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

case-based reasoning, casting design, CBR competence, CBR performance, casting, foundry, knowledge management, knowledge-based systems, spatial reasoning, 3-dimensional shapes

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)

case-based reasoning, numerical models, pneumatic conveyor, interpolation

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)

casting processes, welding processes, advanced solidification processes, solidification processes

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

computer architecture, genetic algorithms, trees (mathematics), FUELGEN expert system, expert systems

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

computer modelling, computational fluid dynamics, CFD, fire simulation software

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

coupled mechanical-acoustic system, paper, fibre failure, fibre bond failure

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.

derivation, explanation, temporal reasoning

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

fire modelling, field modelling, Computational Fluid Dynamics, (CFD), expert system, artificial intelligence

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)

fire modelling, field modelling, Computational Fluid Dynamics, CFD, expert system, artificial intelligence, SMARTFIRE

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

fire simulation software, fire modelling, SMARTFIRE

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

fuzzy logic, nuclear science,

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.

fuzzy systems, nuclear engineering, soft computing,

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

general temporal constraint (GTC), general time theory, 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)

knowledge bases, 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:https://doi.org/10.1016/0952-1976(95)00065-8)

knowledge representation, 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:https://doi.org/10.1109/COGINF.2006.365530)

logical formalism, reification, temporal logic

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)

logical formalism, reification, temporal logic, 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:https://doi.org/10.1093/comjnl/39.9.800)

mass-spring system, paper, damage mechanism, acoustic emission, neural network, self-organising map

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)

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)

nuclear engineering

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

nuclear engineering,

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)

nuclear fuel,

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

points, intervals, relative temporal knowledge, transaction time, valid time

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)

process algebra, temporal logic, temporal reasoning, calculus, delay effects, ontologies, pressing

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)

processes/events, knowledge-based systems, relative time, 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:https://doi.org/10.1016/S0952-1976(97)00003-1)

reasoning, uncertain knowledge, 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 9781615676576

spatial reasoning, metric diagrams, case-based reasoning, fire modelling

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)

temporal knowledge, legal discourse, absolute temporal knowledge, relative temporal knowledge, legal text

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)

temporal knowledge, uncertainty, incompleteness, cognition, computers, finite element methods, knowledge based systems, 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:https://doi.org/10.1109/GCIS.2010.219)

temporal representation, state transitions, 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:https://doi.org/10.1017/S0890060499132025)

time modelling, temporal modelling, temporal relationships, 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, common universal reference, knowledge-based systems, 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:https://doi.org/10.1109/IV.2005.151)

This list was generated on Tue Apr 23 22:42:02 2019 UTC.