AIAI-TR-182
"The Use of the Typed Lambda Calculus for Guiding Naive Users in the Representation and Acquisition of Part-Whole Knowledge";
Mike Uschold;
Proceedings of a Workshop on Part and Wholes: Conceptual Part-Whole Relations and Formal Meteology at ECAI-94, Amsterda; 31/7/95.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-181
"Plan Ontology";
Austin Tate;
Proceedings of the Workshop on Ontology Development and Use, San Diego, California, USA, November 1994; 30/6/95.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-171
"Mixed Initiative Planning O-Plan2";
Austin Tate;
Proceedings of the ARPI Workshop (eds. Mark Hoffman), Tucson, Arizona, USA, February 1994, Morgan Kaufmann; 31/5/95.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-170
"Domain Specific Criterua to Direct and Evaluate Planning Systems";
Yolanda Gil, Mark Hoffman, Austin Tate;
Proceedings of the ARPI Workshop (eds. Mark Hoffman), Tucson, Arizona, USA, February 1994, Morgan Kaufmann; 31/5/95.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-168
"Integrating Knowledge-Based Techniques into Well-Test Interpretation";
I W Harrison, J L Fraser;
SPE Paper 27575, SPE European Petroleum Computer Conference, Aberdeen, Scotland, March 1994; 1/5/95.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-167
"The O-Plan Constraint Associator";
Jeff Dalton, Brian Drabble, Austin Tate;
The Proceedings of the Thirteenth Workshop of the UK Planning Special Interest Group, P.Prosser (ed.) University of Str; 30/9/94.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-164
"MOBEDIC - A Decision Modelling Tool for Emergency Situations"; Jim Doheny and John Fraser; Expert Systems With Applications, Vol 10, 1996. Also published as AIAI-TR-164, AIAI, University of Edinburgh, April, 1995.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-163
"Modelling Decisions in Emergency Situations";
Jim Doheny, John Fraser;
SPE Paper 27586, SPE European Petroleum Computer Conference, Aberdeen, Scotland, March, 1994; 1/4/95.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-162
"Knowledge Based Systems in the UK Financial Sector";
John Kingston;
February 1991 issue of The Accountant's Magazine; 30/11/95.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-161
"Managing Change through Enterprise Models";
John Fraser;
Applications and Innovations in Expert Systems, Proceedings of Expert Systems 94, the Fourteenth Annual Technical Confe; 31/12/94.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-157 Kingston, J. K. C.;
"Modelling Business Processes using the Soft Systems Approach"
Proceedings of ISMICK'94 Management of Industrial and Corporate
Knowledge, Compiegne, France, 1994. ; 30/1/95
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-156 Kingston, J;
"Linking Knowledge Acquisition to CommonKADS Knowledge Representation"
Research and Development in Expert Systems XI, Proceedings of Expert
Systems 94, the Fourteenth Annual Technical Conference of the BCS
Specialist Group on Expert Systems, Cambridge, 12-14 December 1994. ; 30/7/94
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-153
"The Use of Optimistic and Pessimistic Resource Profiles to Inform Search in an Activity Based Planner";
Drabble B, Tate A;
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS'94), Chicago, USA,; 30/6/94.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-152
"A Daily Operation Planning Method for a Large Scale Water Distribution System";
Miyajima, Y;
; 30/9/94.
4.50 UK/surface mail; 5.50 airmail
AIAI-TR-151
"Corporate Knowledge Management State-of-the-Art Survey";
Macintosh, A;
Prooceedings of ISMICK'94 Management of Industrial and Corporate Knowledge, Compiegne, France, October 1994; 30/9/94.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-150
"Intelligent Vehicle Scheduling: Experiences with a Constraint-based Approach";
Duncan T;
Applications and Innovations in Expert Systems, Proceedings of Expert Systems 94, the Fourteenth Annual Technical Confe; 30/6/94.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-149
"A Review of Commercially Available Constraint Programming Tools";
Duncan T;
Airing No,.17, November 1993, (ed. G Anderson); 30/3/94.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-148
"Synthesizing Protection Monitors from Causal Structure";
Reece G A, Tate A;
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS; 30/6/94.
1.50 UK/Surface mail; 2.50 airmail
AIAI-TR-147
"Putting Knowledge Rich Process Representations to Use";
Tate A;
IOPENER - The Journal of the OPT Club for the Introduction of Process Technology, Volume 2, Number 3, March 1994; 30/3/94.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-146
"The Use of Condition Types to Restrict Search in an AI Planner";
Tate A, Drabble B, Dalton J;
Proceedings of the Twelth National Conference on Artificial Intelligence (AAAI-94), Seattle, USA, July 1994; 31/7/94.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-144
"Re-engineering IMPRESS and X-MATE using CommonKADS";
Kingston J;
BCS SGES Expert Systems'93 conference, Cambridge, December 1993; 7/4/94.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-143
"EXCALIBUR: A Program for Planning and Reasoning with Processes";
Drabble B;
Appeared in the AI Journal Volume 62 No.1 Page 1-40 July 1993; 30/4/94.
4.00 UK/surface mail; 5.00 airmail
AIAI-TR-142
"PLINTH: Integrating Hypertext, Semantic Nets and Rule-Based Systems in an Expertext Shell for Authors and Readers of Regulatory ";
Casson A;
CIKM'93 Workshop on Intelligent Hypertext, Arlington, Virginia, 5/11/93; 30/9/93.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-141
"Modelling interaction between a KBS and its users";
Kingston, J;
Printed in the first edition of the newsletter of the BCS SGES Methodologies Interest Group in the sping of 1992; 10/1/94.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-140
"The PRECiS Environment";
Reece, Glen A., Tate, Austin, Brown, David I., Hoffman, Mark;
Presented at the Advanced Research Project Agency and Rome Laboratory Planning Initiative (ARPI) Workshop, on July 12, ; 30/8/93.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-139
"The Emergence of "Standard" Planning and Scheduling System Components - Open Planning and Scheduling Architecture";
Tate, A.;
Proceedings of the Second European Workshop on Planning Systems (EWSP-93), Linkoping, Sweden, 9-11 December, 1993; 1/12/93.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-138
"Putting knowledge rich plan representations to use";
Tate, A.;
Proceedings of the International Workshop on Machine Intelligence in Hatoyama, Japan, 11-13 November 1993; 30/11/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-137
"A Domain Description Language for Job-Shop Scheduling";
Beck, H, Currie, K, Tate, A;
Work undertaken as part of the TOSCA project with the support of Hitachi Limited; 31/10/93.
4.50 UK/surface mail; 5.50 airmail
AIAI-TR-136
"O-Plan2: an Open Architecture for Command, Planning and Control";
Tate, A, Drabble, B, Kirby, R;
To appear in Knowledge Based Scheduling (eds. M Fox & M Zweben), Morgan Kaufmann, 1994; 30/11/92.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-135
"Helping Companies to Achieve a Competitive Edge: Enabling the Transfer of KBS Technology to Business and Industry";
Howe, J;
Keynote address at the 6th International Symposium on Artificial Intelligence, Monterrey, Mexico, 20-24 September 1993; 30/9/93.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-134
"Modelling Expertise Using a Belief Network";
Fraser, J, Harrison, I;
Expert Systems '93; 31/10/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-133
"Authority Management Coordination between Task Assignment, Planning and Execution";
Tate A;
Paper presented to the IJCAI-93 Workshop on Knowledge-Based Production Planning, Scheduling and Control, 29th August 19; 30/8/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-132
"Spirit: A Knowledge-Based Well Test Interpretation Tool";
Ian Harrison, John Fraser;
EuroCAIPEP'93; 1/7/93.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-131
"Using Influence Diagrams in Petroleum Applications";
John Fraser, Ian Harrison, Mike Uschold;
Proceedings of EuroCAIPEP'93; 1/7/93.
1.50 UK/surface mail; 2.50 airmail
.FN NORMAL
AIAI-TR-130
"KBS Methodology as a framework for Co-operative Working";
Kingston, J;
Published in the proceedings of the ES'92 Conference "Research and Development in Expert Systems IX" Cambridge Universi; 31/8/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-129
"An Intelligent Data Retreival Assistant";
Stader, J., Inder, R.;
Published in Application and Innovation in Expert Systems, proceedings of ES93, Cambridge, UK, Dec 93; 30/7/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-128
"Transforming Databases for Experts";
Stader, J., Inder, R., Chung, P.W.H.;
Proceedings of the Seventh International Conference on the Industrial and Engineering Applications of AI, Gordon & Brea; 30/8/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-127
"Bags and Viewers: A Metaphor for Intelligent Database Access";
Inder, R., Stader, J.;
Interfaces to Database Systems 1994, Peter Sawyer, Springer Verlag, Ambleside, England, July 1994; 31/1/94.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-126
"Knowledge Engineering Without Knowledge Elicitation";
Robert Inder, Eileen Goodfellow, NCR, Mike Uschold;
Proceedings of the 6th International CIEAAIES; 1/6/93.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-125
"The Use of Charme to Represent Protein Structure Constraints";
T Duncan, A El-Said;
; 30/1/92.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-124
"Optimum-AIV: A Knowledge-based Planning and Scheduling System for Spacecraft AIV";
Aarup M, CRI, Arentoft M, CRI, Parrod Y, MATRA Espace, Stokes I, Progrespace, Vadon H, ESA/ESTEC, Stader J, AIAI;
To appear in Intelligent Scheduling (eds M.Fox and M.Zweben) to be published in 1993; 30/10/92.
2.50 UK/suface mail; 3.50 airmail
AIAI-TR-123
"The Egress Code for Human Movement and Behaviour in Emergency Evacuations";
Ketchell N, SRD, Cole S, SRD, Webber D M, SRD, Marriott C A, SRD, Stephens P J, SRD, Brearley I R, SRD, Fraser J, AIAI, Doheny Smar
Presented at the International Conference on Engineering for Crowd Safety, London 17-18 March 1993 included in conferen; 31/3/93.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-122
"The Use of Ontology Naive Users in Representing Substructure"; Uschold, M;
Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padov; 1/3/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-121
"The Management of Job-Shop Scheduling Constraints in TOSCA";
H Beck;
Presented at NSF Dynamic Scheduling Workshop, Florida, Jan 1993; 30/1/93.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-120
"Scheduling Problems and Constraint Logic Programming: A Simple Example and its Solution";
T Duncan;
; 30/10/90.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-119
"Synchronous and Asynchronous Factory Scheduling";
C Pedro Gomes, Dept of AI, H Beck;
Information Technology, Journal of the Singapore Computer Society; 20/12/92.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-118
"Constraint Monitoring in TOSCA";
H Beck;
Working papers of AAAI Spring Symposium: Practical Approached to Planning and Scheduling, Standford, March 1992; 20/12/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-117
"An Overview of AI Scheduling in the UK";
Beck, H;
I M Graham & R W Milne (eds). Research and Development in Expert Systems VIII.; Proceedings of ES'91, the 11th Annual Technical Co.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-116
"The Application of Expert Systems and Fuzzy Logic to Electric Power Systems in Japan - Experience, problems and solutions";
Kato M;
; 30/9/92.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-115
"Synthetic Intelligence - KBS for Design and Planning";
Tate A;
Fisrt Singapore International Conference on Intelligent Systems; 30/9/92.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-114
"Knowledge-based Planning Systems: a tour";
Currie K, Drabble B;
International Journal of Project Management; 31/8/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-113
"The Part-Whole Relationship - Discussion Group Report from Terminological Logic Users Workshop";
Uschold M;
Terminological Logic Users Workshop - Proceedings - Berlin 1991; 1/12/91.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-112
"The Use of the Typed Lambda Calculus in a Software Construction Assistant - Position Statement for Terminological Logic Users Wo";
Uschold M;
appeard in Terminological Logic Users Workshop - Proceedings held in Berlin in December 1991; 1/12/91.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-111
"The Use of Domain Information and Higher Order Logic for Model Management";
Uschold M;
appeared in Recent Developments in Decision Support Systems, Ed. Holsapple and Whinston 1992 (forthcoming); 1/6/92.
4.50 UK/surface mail; 5.50 airmail
AIAI-TR-110
"Pragmatic KADS: A methodological approach to a small knowledge based systems project";
J Kingston;
Appears in Expert Systems: The International Journal of Knowledge Engineering; 30/11/92.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-109
"Spacecraft Command and Control Using AI Planning Techniques - Final Report of the O-Plan2 Project";
Tate A, Drabble B, Kirby R;
; 30/6/92.
9.50 UK/surface mail; 10.50 airmail
AIAI-TR-108
"PLANIT Interactive Planners' Assistant Rationale and Future Directions";
Drummond M, Tate A;
UK Alvey Programme's PLANIT Community Club; 1/6/92.
5.50 UK/surface mail; 6.50 airmail
AIAI-TR-107
"An Overview of Current Practice and Research Initiatives for the Verification and Validation of KBS";
Lydiard T J;
Submitted to the Knowledge Engineering Review; 31/5/92.
3.00 UK/surface mail 4.00 airmail
AIAI-TR-106
"O-Plan2: Modularity and Interfaces";
Tate A;
Proceedings of the Round Table on Planning and Scheduling; 1/5/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-105
"Preselecting Well Test Interpretation Models Using External Data";
Harrison I, Fraser J;
; 1/5/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-103
"The VSLI Floorplanning Assistant";
Kingston J, Inder R;
The First International Conference on the Practical Applications of Prolog, which was held in London in March 1992; 1/5/92.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-102
"Building Knowledge Systems: Toolkits and Case Studies";
Kingston J;
Presented at workshop "Quantitative Methods, Supercomputers and AI in Finance", organised by Unicom Seminars Ltd - held; 6/2/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-101
"User Interfaces for Knowledge Based System Tools";
Kingston J;
Proceedings of the British Computer Society workshop on "User Interfaces for Expert Systems", March 1992 at RHS Confere; 12/3/92.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-100
"Product Evaluation: ADS";
Kingston, John;
AI Support for Engineers Project, funded by Computing Facilities Committee of the Science and Engineering Research Coun; 9/1/92.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-99
"Survey of Knowledge Engineering Methods and Supporting Tools";
Inder, R, Filby, I;
BCS SGES workshop on Knowledge Based Systems Methodologies, held in London in December 1991; 11/12/91.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-98
"X-Mate: Creating an interpretation model for credit assessment";
Kingston J;
; 15/11/91.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-97
"Study on the Evaluation of Expert System Tools for Ground Segment Infrastructure - Phase 2: ProKappa Evaluation - Final Report";
Rae R, Tobin R, Inder R;
On behalf of the European Space Agency, European Space Operations Centre, ESA Contract Number: 8636/90/D/IM(SC); 30/10/91.
7.50 UK/surface mail; 8.50 airmail
AIAI-TR-96
"An evaluation of ProKappa";
Johnson K.;
; 30/9/91.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-95
"Handling Uncertainty in Accessing Petroleum Exploration Data";
Chung P., Inder R.;
Proceedings of the 1991 European Conference on AI in Petroleum Exploration and Production (EuroCAIPEP'91); 30/8/91.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-94
"Associating AI Planner Entities with an underlying Time Point Network";
Drabble B., Kirby R.;
Presented at the First European Workshop on Planning, St.Augustin, Germany, March 1991; 28/6/91.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-93
"PEXES : Combining Knowledge and Data in a Tool for the Explorationist";
Inder R., Wells B. (Robertson Group);
Paper was presented at Conference on AI in Petroleum Exploration & Production (CAIPEP) on 15th to 17th May, 1991; 30/4/91.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-92
"Functional Programming Languages for AI Problem Solving";
Bradley E.;
Published in The Knowledge Engineering Review, Vol 6, No 3, 1991; 31/3/91.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-91
"AI Tools Selection for Applications in the Academic Engineering Community";
Aylett R., Bradley E., Chung P.;
Sections published in KBS for Industrial Control; IEE Control Engineering Series 44; 31/3/91.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-90
"Medical AI Systems as appropriate technology for developing countries";
King K., Beck H.;
Published in The Knowledge Engineering Review, Vol5, No4, 1990; 31/3/91.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-88
"Extending the DAPES Fault Localisation System";
Inder R.;
Presented at The European ART User's Group, Rome, September 1990; 27/2/91.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-87
"Knowledge Based Systems in the UK Financial Sector";
Kingston J.;
Presented at Conference, Universita Cattolica, Milan, March 1991; 31/1/91.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-86
"O-Plan 2 : Choice Ordering Mechanisms in an AI Planning Architecture";
Tate A., Drabble B.;
Modified paper presented at DARPA Workshop, San Diego; 30/11/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-85
"Product Evaluation KAPPA PC Version 1.0";
Lydiard T.;
; 30/11/90.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-84
"Study on the Evaluation of Expert Systems Tools for Ground Segment Infrastructure:";
Inder R., Aylett R., Bental D., Lydiard T., Rae R.;
; 31/7/91.
9.00 UK/surface mail; 10.00 airmail
AIAI-TR-83
"Spacecraft Command & Control using AI Techniques";
Drabble B.;
Proceedings of British Interplanetary Society: Space90 Conference, Hastings, Sept 1990; 30/11/90.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-82
"An Expert System using ART's Viewpoint Mechanism to Localise Faults in a Wide-Area Data Communications Network.";
Omar R., Inder R., Ross P.;
Presented at "Tencon, 89", IEEE Region 10 Conference in Bombay, India, from 22-24 November, 1989.; 1/5/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-81
"Product Evaluation Crystal Version 3.20";
Lydiard T.;
Published in PC TECH JOURNAL, October 1989. Submitted to "Expert Systems in the IBM Environment", Xephon Publications, ; 1/5/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-80
"PC-Based Expert Systems Shells: A Survey of Their External Interfaces";
Lydiard T.;
Published in BUG The Technical Report for Software Developers, Vol.1, No.1.; 1/5/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-79
"Product Evaluation ART-IM Version 1.5";
Lydiard T.;
Submitted to PC TECH JOURNAL, June 1990; 30/11/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-78
"Case Studies in Fleet Operation Modelling: An application of AI scheduling techniques";
Desimone R., Hollidge T.;
Proceedings of Third Int. Conf. on Industrial and Engineering Applications of AI and Expert Systems, Charleston, USA, J; 1/3/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-77
"The application of Parallelism in commercial Dynamic Information Systems: The Forth-Clyde Project";
Fowler A., Franks D., Currie K.;
Int. Working Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, Holland, 9-10 April, 1990; 1/4/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-76
"Interfacing a CAD System to an AI Planner";
Tate A.;
Presented to SERC, EASE Seminar on "Integrating Knowledge Based and Conventional Systems" at AIAI, May 1990; 1/1/90.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-75
"Dimension Selection by Learning for Class Discrimination and Information Representation";
Maeda K.; ; 1/1/90.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-74
"planERS-1: An Expert Planning System for Generating Spacecraft Mission Plans";
Fuchs J., Gasquet A., Olalainty B., Currie K.;
Proceedings of the First International Expert Planning Systems Conference, Brighton, June 1990, IEE, Savoy Place, Londo; 1/11/89.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-73
"Qualitative Reasoning for Plan Generation and Execution";
Drabble B.;
Proceedings of First International Expert Planning Systems Conference, Brighton, June 1990, IEE, Savoy Place, London; 1/11/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-72
"Mission Scheduling for Spacecraft: The Diaries of T-SCHED";
Drabble B.;
Proceedings of First International Expert Planning Systems Conference, Brighton, June 1990, IEE, Savoy Place, London; 1/11/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-71
"Complete, Consistent Goal Sets: Controlling the search for non-linear plan generation";
Desimone R., Mallen C.;
Proceedings of the First International Conference on Expert Planning Systems, Brighton, 27-29th June 1989; 1/11/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-70
"Using Domain Knowledge to Restrict Search in an AI Planner";
Currie. K, Tate. A;
First International Expert Planning Systems Conference, Brighton, June 1990, IEE, Savoy Place, London; 1/11/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-68
"Execution Plan Monitoring and Associated Structures - A Major Topic Group Report from the 8th Alvey Planning SIG";
Drabble B.;
8th Alvey Planning SIG; 1/11/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-67
"O-Plan:the Open Planning Architecture";
Currie K., Tate A.;
Submitted to the Artificial Intelligence Journal; 1/5/89.
3.00 UK/surface mail; 4.00 airmail
AIAI-TR-66
"Using an Object-Oriented model of UNIX for Fault Diagnosis";
Lundeberg A., Anderson G., Chung P., Zbyslaw A.;
Published in the Proceedings of the European UNIX Users Group Conference, Vienna; 18/9/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-65
"Survey of Space Related AI Projects";
Macintosh A. L., Fraser J., Currie K. W., Drummond M. E., Tate A.;
Submitted to AI Magazine; 1/3/89.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-64
"A Solution to the Disjunctive Planning Problem";
Secker J. A.;
An extended version of a paper which was presented at the Eighth Alvey Planning SIG Workshop held in Nottingham; 1/11/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-63
"A model-Based Diagnostic System for the UNIX Operating System";
Anderson G., Chung P., Inder R.;
European UNIX Users Group Spring '89 Conference Proceedings; UNIX-European Challenges.
UK/surface mail; airmail
AIAI-TR-62
"Concurrent Logic Languages for the Design and Implementation of Parallel AI Systems";
Trehan R.;
Invited Paper at The Int. Conf. on Communicating Processor Architectures and AI, Imperial College, London.; 1/3/89.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-61
"Translating from Parlog to OCCAM2: A Methodology";
Scott R. B., Trehan R.;
Published in the journal of "Concurrency - Practice and Experience", vol1, issue 1; 1/3/89.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-60
"A Language and Semantics for Expressing Frames in Logic";
Moriyasu T.;
Submitted to the Journal of Object Oriented Programming; 1/3/89.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-59
"Using On-board AI to Increase Spacecraft Autonomy";
Fraser J., Conway S. M., Currie K. W., Drummond M. E., Lockwood R. M., Macintosh A. L., Tate A.;
Conference on Human-Machine Interaction and AI in Aeronautics and Space, Cert, Toulouse; 1/9/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-58
"Experience in Constructing Expert Systems for Engineering Applications";
Inder R., Chung P. W. H., Fraser J.;
Presented at the SERC Workshop on Knowledge Acqusition for Engineering Applications; 1/6/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-57
"Co-ordinating the Activities of a Planner and an Execution Agent";
Tate A.;
Proceedings of NASA Conf. on Space Telerobotics, JPL Publication (ed) G Rodriguez, JPL, California, USA; 1/2/89.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-56
"Planning and Reasoning with Processes";
Drabble B.;
The 8th Alvey Sigplan, published by the Institute of Electrical Engineers, Savoy Place, London; 1/11/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-55
"Expert Planning System for Space Applications";
Fuchs J., Guldberg J., Olalainty B., Currie K. W.;
Presented at the Human-Machine Interaction Artificial Intelligence Aeronotics and Space Conference at Toulouse-Blagnac,; 1/9/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-54
"State of the ART - Knowledge-Based system Toolkits";
Chung P. W. H., Kingston J.;
Fifth Annual Expert Systems in Medicine Conference, British Medical Informatics Society, London; 1/3/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-53
"Representing Safety Constraints upon Chemical Plant Designs";
Waters A., Ponton J.(Dept.Chemical Eng.), Chung P. W. H.;
Applied Expert Systems, Ed. Sunil Vadera. Sigma Press; 1/1/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-52
"Exploiting Expert Systems Technology";
Fraser J.;
Conference on the Use of Expert Systems in Oil and Gas, IBC; 1/4/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-51
"A Framework for Technology Transfer within the Artificial Intelligence Applications Institute";
Drummond M. E., Macintosh A. L., Tate A., Barlow D., Greenwood M. (ICL);
Knowledge engineering Review, Vol 2, Issue 3; 1/1/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-50
"On Linearity";
Drummond M. E.;
To be replaced by "Goal Ordering in Partially Ordered Plans", by M. Drummond and K. W. Currie; 1/2/88.
0.00 UK/surface mail; 0.00 airmail
AIAI-TR-49
"An Evaluation of a Parallel Chart Parsing Framework for the Committed Choice NON-Deterministic Logic Languages";
Trehan R., Wilk P. F.;
Submitted to the International Conference on Fifth Generation Computer Systems, Tokyo, Japan; 1/1/88.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-48
"Knowledge Acquisition and Representation for Product Configuration: Charting a Way Through a Company's Information Jungle";
Smith C., Inder R., Chung P. W. H.;
The 1st Int. Conf. on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE-88, Tennessee; 1/6/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-47
"Experience of Constructing a Fault Localisation Expert System Using an AI Toolkit";
Inder R.;
The 1st Int. Conf. on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE-88, Tennessee; 1/6/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-46
"Tracing Requirements for Multi-Layered Meta-Programming";
Bowles A. W., Wilk P. F.;
Submitted to Meta88 Workshop on Meta-Programming in Logic Programming, Bristol; 1/6/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-45
"Describing DAI Models: A Framework and Examples";
Castillo-Hern L. E., Wilk P. F.;
Alvey workshop on Multiple Agent Systems; 1/4/88.
2.50 UK/surface mail; 3.50 airmail
AIAI-TR-44
"The Dynamic Analysis of CCND Execution";
Trehan R., Wilk P. F.;
Submitted to the International Conference on Fifth Generation Computer Systems, Tokyo, Japan; 1/1/88.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-43
"Issues of Non-Determinism in Prolog and the Committed Choice Non-Deterministic Logic Languages";
Trehan R., Wilk P. F.;
Logic Programming and Reduction Workshop, York; 1/12/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-42
"On Linearity - An Essay on the Misuse of the word 'Linear' in AI Planning";
Drummond M. E.;
This is replaced by TR-50; 1/2/88.
0.00 UK/surface mail; 0.00 airmail
AIAI-TR-41
"The State of the Art";
Inder R.;
Sections reproduced in Airing issues 1-5; 1/1/87.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-40
"Knowledge Elicitation Methods: A Case-Study in Structural Design";
Chung P. W. H., Kumar B.;
The Application of AI Techniques to Civil and Structural Engineering, Ed B.H.V.Topping, Civil-Comp Press; 1/1/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-39
"A Knowledge-Based Approach to Structural Design";
Kumar B., Chung P. W. H., Topping B.;
The Application of AI Techniques to Civil and Structural Engineering, Ed B.H.V.Topping, Civil-Comp Press; 1/1/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-38
"Approaches to Fortran-Prolog Interfacing for an Expert System Environment";
Kumar B., Chung P. W. H., Topping B.;
The Application of AI Techniques to Civil and Structural Engineering, Ed B.H.V.Topping, Civil-Comp Press; 1/1/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-37
"Object Models in the Committed Choice Non-Deterministic Logic Languages";
Trehan R., Wilk P. F., Buckley M.;
British Computer Society Parallel Processing Specialist Group; 2/1/88.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-36
"A Parallel Chart Parser for the Committed Choice Non-Deterministic (CCND) Logic Languages";
Trehan R., Wilk P. F.;
submitted to the Fifth International Logic Programming Conference, Fifth Symposium on Logic Programming, Seattle, Washi; 1/1/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-35
"Some Design Principles for Prolog Support Environments";
Bowles A. W., Wilk P. F.;
submitted to 5th Int. Logic Programming Conf., 5th Symposium on Logic Programming, Seattle, Washington; 8/1/88.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-34
"Parallel Processing for AI Problem Solving";
Buckingham J., Rae R. H., Wilk P. F.;
British Computer Society Parallel Processing Specialist Group; 6/1/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-33
"Research to Product - the Community Club Experience";
Tate A.;
First Australian Joint Artificial Intelligence Conference, Sydney; 1/2/86.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-32
"Time Window and Resource Usage in O-Plan";
Bell C. E., Currie K. W., Tate A.;
Engineering Track of the International Joint Conference on Artificial Intelligence in Milan; 1/8/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-31
"Initial Study of AI Command Generation and Scheduling for T-Sat";
Radbone J., Drummond M. E.;
T-Sat, Tech. Note TN 002EDN, report on SERC grant GR/E/05421; 1/7/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-30
"AI Planning: A Review and Tutorial";
Drummond M. E., Tate A.;
Part of an UNESCO-funded Workshop in Undine, Italy; 1/9/86.
3.50 UK/surface mail; 4.50 airmail
AIAI-TR-29
"Plan Repair - A Major-Topic Group-Report from the 6th Alvey Planning SIG";
Currie K. W.;
Alvey Planning Sig at British Telecom, Martlesham Heath, Ipswich, published by the Institute of Electrical Engineers, S; 1/6/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-28
"Interval-Based Reasoning - A Minor-Topic Group-Report from the 6th Alvey Planning SIG";
Currie K. W.;
Alvey Planning SIG at British Telecom, Martlesham Heath, Ipswich, published by the Institute of Electrical Engineers, S; 1/6/87.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-27
"Truth Maintenance Systems: A Major-Topic Group-Report from the 6th Alvey Planning SIG";
Drummond M. E., Steel S., Kelleher G.;
6th UK Alvey Planning SIG, published by the Institute of Electrical Engineers, Savoy Place, London; 1/6/87.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-26
"A Parallel Shift-Reduce Parser for Committed Choice Non-Deterministic Logic Languages";
Trehan R., Wilk P. F.;
Second Workshop in Natural Language Understanding and Logic Programming; 1/3/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-25
"Rule-Based Expert Systems and Beyond: An Overview";
Kingston J.;
British Association of Accountants Conference, Glasgow; 13/4/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-24
"A Preliminary Formalisation of Nonlinear Planners";
Moffat D., Ritchie G.;
Report on SERC funded Alvey Project IKBS/151 "An Architecture for Knowledge Based Planning and Control"; 1/1/87.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-23
"Temporal Coherence in Non-Linear Plan Construction";
Drummond M. E., Currie K. W.;
SERC grant GR/E/O5421 and SERC grant IKBS 151, published by the Inst of Electrical Engineers; 1/1/87.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-22
"Contingent Plan Structures for Spacecraft";
Drummond M. E., Currie K. W., Tate A.;
NASA Workshop for Space Station Telerobotics, JPL, California Institute of Technology, Pasadena, USA; 20/1/87.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-21
"You Can't Get There From Here";
Johnson K.;
APL 86 Tutorials, edited by Anthony Camacho, London; 1/7/86.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-20
"Nimbus Logo - An Innovative British Logo";
Johnson K.;
Sigsmall PC Notes 12; 1/8/86.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-19
"AI: Coming out of its "Shell"";
Tate A.;
Sperry Press Seminar held at Sperry International Management Centre, Saint-Paul-De-Vence, France; 15/7/86.
1.50 UK/Surface mail 2.50 airmail
AIAI-TR-18
"Computers Which Plan";
Tate A.;
Meeting of British Association for the Advancement of Science at Bristol, UK; 4/9/86.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-17
"Goal Structure, Holding Periods and "Clouds"";
Tate A.;
Workshop on Planning and Reasoning about Action, sponsored by the CSLI at Stanford Univ and AAAI.; 30/6/86.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-16
"A Representation of Action and Belief for Automatic Planning Systems";
Drummond M. E.;
Workshop on Planning and Reasoning about Action held at Timberline Lodge, Portland, Oregon, USA.; 30/6/86.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-15
"PEST - Prolog Environmental Support and Tools";
Wilk P. F.;
Submitted to Alvey Intelligent Knowledge Based Systems (IKBS) Project Committee; 1/1/86.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-14
"Prolog Benchmarking";
Wilk P. F.;
Extended Version of TR-13; 1/1/86.
4.00 UK/surface mail; 5.00 airmail
AIAI-TR-13
"The Production and Evaluation of a Set of Prolog Benchmarks";
Wilk P. F.;
Logic Programming Workshop '83, Praia Da Falesia, Algarve, Portugal; 1/1/83.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-12
"O-Plan - Control in the Open Planning Architecture";
Currie K. W., Tate A.;
Expert Systems 85 Conference organised by the British Computer Society; 17/12/85.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-11
"Choice Making in Planning Systems";
Croft D.;
Expert Systems 85 Conference organised by the British Computer Society; 17/12/85.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-10
"A Static Analysis of Prolog Programmes";
Matsumoto H.;
ACM Sigplan Notices; 1/10/85.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-9
"A Review of Knowledge-Based Planning Techniques";
Tate A.;
Knowledge Engineers' Review, vol1, no.2; 1/6/85.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-8
"Resource Management in Automated Planning";
Bell C. E.;
UK Alvey Planning SIGS, published by the Institute of Electrical Engineers, Savoy Place, London; 1/1/85.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-7
"The O-Plan Task Formalism Workstation";
Tate A., Currie K. W.;
3rd Workshop of UK Alvey Programme's Planning Special Interest Group, the Inst. of Electrical Engineers; 24/1/85.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-6
"Use and Justification of Algorithms for Managing Temporal Knowledge in O-Plan";
Bell C. E.;
Shortened version for the 3rd Workshop of the UK Alvey IKBS Programme's Planning Special Interest Group; 24/1/85.
2.00 UK/surface mail; 3.00 airmail
AIAI-TR-5
"Using Temporal Constraints to Restrict Search in a Planner";
Bell C. E.;
Third Workshop of the UK Alvey IKBS Programmes Special Interest Group published by Inst of Electrical Engineers; 24/1/85.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-4
"Planning with Multiple Resource Constraints and an Application to a Naval Planning problem";
Tate A., Whiter A. M.;
First Conference on the Application of Artificial Intelligence, Denver, Colorado, USA; 1/2/84.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-3
"Goal Structure - Capturing the Intent of Plans";
Tate A.;
Sixth European Conference on Artificial Intelligence (ECAI-84), Pisa, Italy; 5/9/84.
1.50 UK/surface mail; 2.50 airmail
AIAI-TR-2
"Planning and Condition Monitoring in an FMS";
Tate A.;
International Conf on the Development of Flexible Automation Systems, Inst.of Electrical Engineers, London; 10/7/84.
1.00 UK/surface mail; 2.00 airmail
AIAI-TR-1
"Functions in Context Data Base";
Tate A.;
Second Workshop on Architectures for Large Knowledge Bases, sponsored by the UK Alvey Directorate; 9/7/84.
2.00 UK/surface mail; 3.00 airmail
