A repository of online PDF copies of
many of the AIAI publications is available.
You might also like to try our
Projects Page (or
Pre-1999 Projects Page) for
pointers to more publicatons and information on our work.
-
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, Amsterdam; 31/7/95.
-
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.
-
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.
-
AIAI-TR-170
"Domain Specific Criteria 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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-162
"Knowledge Based Systems in the UK Financial Sector";
John Kingston;
February 1991 issue of The Accountant's Magazine; 30/11/95.
-
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.
-
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
-
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
-
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.
-
AIAI-TR-152
"A Daily Operation Planning Method for a Large Scale Water Distribution System";
Miyajima, Y;
; 30/9/94.
-
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.
-
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.
-
AIAI-TR-149
"A Review of Commercially Available Constraint Programming Tools";
Duncan T;
Airing No,.17, November 1993, (ed. G Anderson); 30/3/94.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-134
"Modelling Expertise Using a Belief Network";
Fraser, J, Harrison, I;
Expert Systems '93; 31/10/93.
-
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.
-
AIAI-TR-132
"Spirit: A Knowledge-Based Well Test Interpretation Tool";
Ian Harrison, John Fraser;
EuroCAIPEP'93; 1/7/93.
-
AIAI-TR-131
"Using Influence Diagrams in Petroleum Applications";
John Fraser, Ian Harrison, Mike Uschold;
Proceedings of EuroCAIPEP'93; 1/7/93.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-126
"Knowledge Engineering Without Knowledge Elicitation";
Robert Inder, Eileen Goodfellow, NCR, Mike Uschold;
Proceedings of the 6th International CIEAAIES; 1/6/93.
-
AIAI-TR-125
"The Use of Charme to Represent Protein Structure Constraints";
T Duncan, A El-Said; 30/1/92.
-
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 conference; 31/3/93.
-
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.
-
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.
-
AIAI-TR-120
"Scheduling Problems and Constraint Logic Programming: A Simple Example and its Solution";
T Duncan; 30/10/90.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-115
"Synthetic Intelligence - KBS for Design and Planning";
Tate A;
Fisrt Singapore International Conference on Intelligent Systems; 30/9/92.
-
AIAI-TR-114
"Knowledge-based Planning Systems: a tour";
Currie K, Drabble B;
International Journal of Project Management; 31/8/92.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-106
"O-Plan2: Modularity and Interfaces";
Tate A;
Proceedings of the Round Table on Planning and Scheduling; 1/5/92.
-
AIAI-TR-105
"Preselecting Well Test Interpretation Models Using External Data";
Harrison I, Fraser J; 1/5/92.
-
AIAI-TR-104
"Handling Uncertainty in Accessing Petroleum Exploration Data -
Extended Version"; Inder R, Chung P;
EuroCAIPEP ; 1/5/92.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-98
"X-Mate: Creating an interpretation model for credit assessment";
Kingston J; 15/11/91.
-
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.
-
AIAI-TR-96
"An evaluation of ProKappa";
Johnson K.; 30/9/91.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-89
"Product Evaluation MUSE Version 2.5";
Bental D.; 28/2/91.
-
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.
-
AIAI-TR-87
"Knowledge Based Systems in the UK Financial Sector";
Kingston J.;
Presented at Conference, Universita Cattolica, Milan, March 1991; 31/1/91.
-
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.
-
AIAI-TR-85
"Product Evaluation KAPPA PC Version 1.0";
Lydiard T.; 30/11/90.
-
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.
-
AIAI-TR-83
"Spacecraft Command & Control using AI Techniques";
Drabble B.;
Proceedings of British Interplanetary Society: Space90 Conference, Hastings, Sept 1990; 30/11/90.
-
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.
-
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.
-
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.
-
AIAI-TR-79
"Product Evaluation ART-IM Version 1.5";
Lydiard T.;
Submitted to PC TECH JOURNAL, June 1990; 30/11/90.
-
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.
-
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.
-
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.
-
AIAI-TR-75
"Dimension Selection by Learning for Class Discrimination and Information Representation";
Maeda K.; ; 1/1/90.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-67
"O-Plan:the Open Planning Architecture";
Currie K., Tate A.;
Submitted to the Artificial Intelligence Journal; 1/5/89.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-52
"Exploiting Expert Systems Technology";
Fraser J.;
Conference on the Use of Expert Systems in Oil and Gas, IBC; 1/4/88.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-41
"The State of the Art";
Inder R.;
Sections reproduced in Airing issues 1-5; 1/1/87.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-33
"Research to Product - the Community Club Experience";
Tate A.;
First Australian Joint Artificial Intelligence Conference, Sydney; 1/2/86.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
AIAI-TR-25
"Rule-Based Expert Systems and Beyond: An Overview";
Kingston J.;
British Association of Accountants Conference, Glasgow; 13/4/87.
-
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.
-
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.
-
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.
-
AIAI-TR-21
"You Can't Get There From Here";
Johnson K.;
APL 86 Tutorials, edited by Anthony Camacho, London; 1/7/86.
-
AIAI-TR-20
"Nimbus Logo - An Innovative British Logo";
Johnson K.;
Sigsmall PC Notes 12; 1/8/86.
-
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.
-
AIAI-TR-18
"Computers Which Plan";
Tate A.;
Meeting of British Association for the Advancement of Science at Bristol, UK; 4/9/86.
-
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.
-
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.
-
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.
-
AIAI-TR-14
"Prolog Benchmarking";
Wilk P. F.;
Extended Version of TR-13; 1/1/86.
-
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.
-
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.
-
AIAI-TR-11
"Choice Making in Planning Systems";
Croft D.;
Expert Systems 85 Conference organised by the British Computer Society; 17/12/85.
-
AIAI-TR-10
"A Static Analysis of Prolog Programmes";
Matsumoto H.;
ACM Sigplan Notices; 1/10/85.
-
AIAI-TR-9
"A Review of Knowledge-Based Planning Techniques";
Tate A.;
Knowledge Engineers' Review, vol1, no.2; 1/6/85.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.