Roy Leitch

发表

Julie-Ann Sime, Roy Leitch, 1992 .

Qualitativereasoningaboutphysicalsystemshasbecome one ofthemost excitingand productiveareasinArtificial Intelligence . Researchinthisareaisacompactmicrocosmrangingovermany ofthefundamentalissues andcontroversies inAI: from experimentalimplementationsof smart programs,to theoretical analysisofknowled

Benjamin Kuipers, Boi Faltings, Kenneth D. Forbus, 1991 .

A qualitative approach to model reference adaptive control (QMRAC)

Donald Reay, Roy Leitch, Uwe Keller, 1998 .

A Learning Environment Based on Multiple Qualitative Models

Roy Leitch, Julie-Ann Sime, 1992, Intelligent Tutoring Systems.

A Strategy for Qualitative Model Based Diagnosis

Roy Leitch, Andrew D. Steele, R. Leitch, 1996 .

Artificial intelligence in control: some myths, some fears but plenty prospects

Roy Leitch, R. Leitch, 1992 .

Diagnosing continuous systems with qualitative dynamic models

Qiang Shen, Roy Leitch, 1995, Artif. Intell. Eng..

Qualitative simulation and constraint logic programming

Enrico Martinelli, Roy Leitch, 1995 .

A generic harness for the systematic generation of multiple models

Roy Leitch, Q. Shen, Andrew D. Steele, 1994 .

Using causal ordering for explanation in model-based diagnosis of continuous dynamic systems

Roy Leitch, Q. Shen, B. Mulvihill, 1994 .

The representation of domain knowledge in intelligent training systems

Roy Leitch, P.V.S. Ponnapalli, A. F. Slater, 1992 .

Selecting tools and techniques for model-based diagnosis

Qiang Shen, Mike J. Chantler, Roy Leitch, 1998, Artif. Intell. Eng..

Choices for the construction of appropriate models

Mike J. Chantler, Qiang Shen, Roy Leitch, 1996 .

Prioritising Behaviours in Qualitative Simulation

Qiang Shen, Roy Leitch, R. Leitch, 1993, IJCAI.

Generic Approaches in Developing Practical Intelligent Industrial Training Systems

Keith E. Brown, Roy Leitch, John Liddle, 1996, Intelligent Tutoring Systems.

Towards Model Switching for Diagnosis of Dynamic Systems

Mike J. Chantler, Qiang Shen, Roy Leitch, 1997 .

Model switching in intelligent control systems

Roy Leitch, Mohan Ravindranathan, 1999, Artif. Intell. Eng..

Task dependent tools for intelligent automation

Roy Leitch, Alberto Stefanini, R. Leitch, 1989, Artif. Intell. Eng..

Knowledge Based Control: Selecting the Right Tool for the Job

Roy Leitch, 1992 .

A strategy for time-constrained qualitative model-based diagnosis

Roy Leitch, Andrew D. Steele, 1995 .

Qualitative and quantitative simulation of interacting markets

Roy Leitch, G. J. Wyatt, A. D. Steele, 1995, Decis. Support Syst..

Choosing the right model

Mike J. Chantler, Qiang Shen, Roy Leitch, 1999 .

Coping with Complexity in Physical System Modelling

Roy Leitch, Mark Eric Wiegand, H. C. Quek, 1990, AI Commun..

On extending the quantity space in qualitative reasoning

Qiang Shen, Roy Leitch, R. Leitch, 1992, Artif. Intell. Eng..

Teaching knowledge and intelligent tutoring

Roy Leitch, 1993 .

A feedback control scheme based on causal modelling

Roy Leitch, J. C. Francis, R. Leitch, 1989 .

Model-Based Explanations in Simulation-Based Training

Tariq M. Khan, Keith E. Brown, Roy Leitch, 1998, Intelligent Tutoring Systems.

Fuzzy qualitative simulation

Qiang Shen, Roy Leitch, R. Leitch, 1993, IEEE Trans. Syst. Man Cybern..

WHOSE EXPERTISE IS IT ANYWAY?

Roy Leitch, 1992, Comput. Intell..

Combining qualitative simulation and fuzzy sets

Qiang Shen, Roy Leitch, R. Leitch, 1993 .

Artificial intelligence in engineering

Roy Leitch, 1992 .

A specification methodology for intelligent training systems

Roy Leitch, Julie-Ann Sime, 1993 .

Fuzzy Differential Equation Simulation of a Liquid Level Control System

Donald Reay, Roy Leitch, Uwe Keller, 1998 .

Time-constrained qualitative model-based diagnosis

Roy Leitch, Andrew D. Steele, R. Leitch, 1997 .

Task classification for knowledge-based systems in industrial automation

Roy Leitch, Massimo Gallanti, R. Leitch, 1992, IEEE Trans. Syst. Man Cybern..

INTEGRATING COMMON-SENSE AND QUALITATIVE SIMULATION BY THE USE OF FUZZY SETS

Qiang Shen, Roy Leitch, 2003 .

MuRaLi: An Architecture for Multiple Reasoning

Roy Leitch, Mohan Ravindranathan, 1996, ISMIS.

Causal reasoning in systems modelling

Roy Leitch, Y. K. Wong, H. Wong, 1998, Int. J. Syst. Sci..

A preliminary specification methodology for model-based diagnosis

Qiang Shen, Mike J. Chantler, Roy Leitch, 1994, Annals of Mathematics and Artificial Intelligence.

Explanations in simulation based learning

Tariq M. Khan, Roy Leitch, Keith Brown, 1997 .

KNOWLEDGE BASED CONTROL: SELECTING THE RIGHT TOOL FOR THE JOB

Roy Leitch, 1993 .

Temporal Issues in Qualitative Reasoning

Roy Leitch, Mark Eric Wiegand, R. Leitch, 1989, ÖGAI.

Intelligent training systems: a status report on Esprit Project p2615

Roy Leitch, Julie-Ann Sime, P.V.S. Ponnapalli, 1990 .

A methodology for the development of model-based diagnostic systems

Mike J. Chantler, Qiang Shen, Roy Leitch, 1995 .

Multiple Models Based on Fuzzy Qualitative Modelling

Qiang Shen, Roy Leitch, R. Leitch, 1992 .