J. M. Porteous

发表

Object-centred planning: lifting classical planning from the literal level to the object level

T. L. McCluskey, Diane E. Kitchin, J. M. Porteous, 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

Planning speed-up via domain model compilation

Thomas Leo McCluskey, J. M. Porteous, 1996 .

Intelligent buildings and their effect on the security industry

J. M. Porteous, 1995, Proceedings The Institute of Electrical and Electronics Engineers. 29th Annual 1995 International Carnahan Conference on Security Technology.

Two complementary techniques in knowledge compilation for planning

Thomas Leo McCluskey, J. M. Porteous, 1993 .

Formalisation and animation of rules for oceanic aircraft separation

Thomas Leo McCluskey, J. M. Porteous, T. Smith, 1994 .

Research into the possibility of automated planning for en route air traffic control

T. L. McCluskey, J. M. Porteous, 1992 .

The validation of formal specifications of requirements

Christopher H. Bryant, Thomas Leo McCluskey, J. M. Porteous, 1996, FME 1996.

A requirements capture method and its use in an air traffic control application

T. L. McCluskey, C. N. Taylor, S. Jones, 1995, Softw. Pract. Exp..

Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency

T. L. McCluskey, J. M. Porteous, J. Porteous, 1997, Artif. Intell..

Learning Heuristics for Ordering Plan Goals through Static Operator Analysis

T. L. McCluskey, J. M. Porteous, J. Porteous, 1994, ISMIS.

The use of sort abstraction in planning domain theories

Thomas Leo McCluskey, J. M. Porteous, 1995 .

bj ect-Centred Planning: Lifting Classical Planning fro vel e Object Level

Thomas Leo McCluskey, J. M. Porteous, 1996 .

Empirical results in planning speed-up using combinations of on-line learning techniques

Thomas Leo McCluskey, J. M. Porteous, 1992 .