sKSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

(Journal Memo) M.A. Musen, L.M. Fagan, D.M. Combs and E.H.

Shortliffe,

Facilitating Knowledge Entry for an Oncology Therapy AdvisorUsing a Model of the Application Area, January 1986. Submitted forpublicationto: Proceedings, MEDINFO 86. 9 pages.

86-1

86-2 (Journal Memo) E. Horvitz, D. Heckerman, B. Nathwaniand L. Fagan, The Useof a Heuristic Problem-Solving Hierarchy to Facilitate the Explanationof Hypothesis-Directed Reasoning, January 1986. Submitted forpublicationto: Proceedings,MEDINFO 86. 5 pages.

86-3 (Journal Memo) C.P. Langlotz, L.M. Fagan, S.W. Tv, 8.1. Sikic and E.H.

Shortliffe,

Combining Artificial Intelligence and Decision Analysis forAutomated Therapy Planning Assistance, January 1986. Submitted forpublication to: Proceedings,MEDINFO 86. 5 pages.

86-4 (Journal Memo) M.G. Kahn, L.M. Fagan and E.H.

Shortliffe,

Context-Specific Interpretation of Patient Records for a Therapy AdviceSystem, January 1986. Submitted for publication to: Proceedings,MEDINFO86. 5 pages.

86-5 (Journal Memo) G.D. Rennels, E.H.

Shortliffe,

F.E. Stockdale and P.L. Miller,Reasoning from the Clinical Literature: The Roundsman System,January 1986. Submittedfor publication to: Proceedings,MEDINFO 86. 5 pages.

86-6 (Journal Memo) S.M. Downs, M.G. Walker and R.L. Blum, AutomatedSummarization of On-Line Medical Records, January 1986. Submitted forpublicationto: Proceedings,MEDINFO 86. 5 pages.

86-7 (Journal Memo) M.G. Walker and R.L. Blum, Towards AutomatedDiscovery from Clinical Databases: the RADIX Project, January1986. Submitted forpublication to: MEDINFO 86 5 pages.

86-8 (Journal Memo) D. Heckerman and R.A. Miller, Towards a BetterUnderstanding of the INTERNIST-1 Knowledge Base, January 1986. InProceedings,MEDINFO 86 . 5 pages.

86-9 (Journal Memo) Gregory F. Cooper, A Diagnostic Method That UsesCasual Knowledge and Linear Programming in the Application ofBayes' Formula, January 1986. Submitted for publication to: ComputerMethods andPrograms in Biomedicine.24 pages.

86-10 JamesRice, The Poligon User Manual, May 1989, 134 pages.

86-11 STAN-CS-87-1172. William J. Clancey, From Guidon to Neomycin andHeracles in Twenty Short Lessons, June 1986. To appear in: AI Magazine,August 1986. 48 pages.

86-13 Gio Wiederhold, Robert L.Blum, and Michael Walker, An Integration ofKnowledge and Data Representation, to appear in: On Knowledge BaseManagementSystems: IntegratingArtificial IntelligenceandDatabase Technologies:Springer Verlag 1986.

86-14 STAN-CS-86-1126. Byron Davies, CAREL: A Visible Distributed Lisp,March 1986. 15 pages.

52

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

86-15 STAN-CS-87-1171. William J. Clancey, Qualitative Student Models,February 1986. Submitted for publication to: First Annual Review of ComputerScience. 88 pages.

86-16 (Working Paper) David Heckerman, An Axiomatic Framework for BeliefUpdates,February 1986. 6 pages.

86-17 Robert S. Engelmore & Craig W.

Cornelius,

Heuristic ProgrammingProject, October 1982 - September 1985, Final Report, February1986. 16 pages.

86-18 STAN-CS-86-1123. H. Penny Nii, Blackboard Systems, June 1986. Toappearin: AIMagazine Vols. 7-2 and 7-3. 86pages.

86-19 J.P. Rice, Poligon, A System for Parallel Problem Solving, April 1986.To appearin: DARPAproceedings,Asilomar 1986. 16pages.

86-20 J.R. Delaney, Multi-System Report Integration Using Blackboards,March 1986. Submittedfor publicationto: Proceedingsof 1986 American ControlConference. 12pages.

86-22 STAN-CS-86-1125. Eric

Schoen,

The CAOS System, March 1986. 69pages.

86-24 (Journal Memo) M.A. Musen, L.M. Fagan, D.M.

Combs,

and E.H.

Shortliffe,

Using a Domain Model to Drive An Interactive Knowledge EditingTool, September 1986. To appear in: Proceedings of AAAI Workshop onKnowledgeAcquisition, 1986 12 pages.

86-25 (Journal Memo) E.J. Horvitz, D.E. Heckerman, and C.P. Langlotz, AFramework for Comparing Alternative Formalisms for PlausibleReasoning, May 1986. 5 pages.

86-26 (Working Paper) C.P. Langlotz, E.H. Shortliffe and L.M. Fagan, UsingDecision Theory to Justify Heuristics, March 1986. Submitted forpublicationto: AAAI-86 15pages.

86-27 STAN-CS-87-1170. William J. Clancey, The Science and Engineering ofQualitative Models, March 1986. Submitted for publication to: AAAI-86,Science Track: Applications,Philosophical andScientificFoundations.20 pages.

86-28 (Working Paper) James Brinkley, Craig

Cornelius,

Russ Altman, BarbaraHayes-Roth, Olivier Lichtarge, Bruce Duncan, Bruce Buchanan, OlegJardetzky, Application of Constraint Satisfaction Techniques to theDetermination of Protein Tertiary Structure, March 1986. 14 pages.

86-29 (Working Paper) Matthew L. Ginsberg, Multi-valued logics, April 1986. Toappearin: AAAI - 86 13pages.

86-30 STAN-CS-87-1181. David C. Wilkins & Bruce G. Buchanan, On DebuggingRule Sets When Reasoning Under Uncertainty, April 1986 .To appear inAAAI-86. 19 pages.

53

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

86-31 Nelleke Aiello, User-Directed Control of Parallelism, The CAGESystem, April 1986. To appear in: DARPA Proceedings ofApril 1986. 12 pages.

86-32 (Working Paper) Peter D. Karp & David C. Wilkins, An Analysis of theDeep/Shallow Distinction for Expert Systems, April 1986. Submittedfor publication to: AAAI-86. 18 pages.

86 33 David E. Heckerman and Eric J. Horvitz, The Myth of Modularity in Rule-Based Systems for Reasoning with Uncertainty, May 1986. Appears inUncertainty inArtificial Intelligence2 pp. 23-24, 1988. 12pages.

86 34 William J. Clancey, Mark Richer, David C. Wilkins, Steve Barnhouse, CurtKapsner, David Leserman, John Macias, Arif Merchant and Naomi Rodolitz,Guidon-Debug: The Student as Knowledge Engineer, April 1986. 17pages.

86 35 (Working Paper) Michael G. Walker, How Feasible isAutomatedDiscovery? April 1986. Submittedfor publicationto: lEEEExpert. 24 pages.

86 36 STAN-CS-87-1148. Bruce A. Delagi, Nakul Saraiya, Sayuri Nishimura, andGreg Byrd, An Instrumented Architectural Simulation System, January1987. 21 pages.

86 37 (Working Paper) Matthew L. Ginsberg, Possible Worlds Planning, April1986. Submittedforpublication to: 1986Planning Workshop . 13pages.

86 38 STAN-CS-87-1147. Barbara Hayes-Roth, M. Vaughan Johnson Jr., AlanGarvey, and Micheal Hewett, A Modular and Layered Environment forReasoning about Action, April 1987. To appearin: The Journal of ArtificialIntelligencein Engineering, SpecialIssue onBlackboardSystems, October 1986.63pages.

86 39 E.H. Shortliffe: Artificial Intelligence in Management Decisions:

ONCOCIN,

November 1988. To appear in: Proceedings of a Conference onMedical Information

Sciences,

University of Texas Health Sciences Center atSanAntonio, July 1985. Also to appearin Frontiers ofMedical Information

Sciences,

PraegerPublishings.1986. 14pages86 40 (Journal Memo) Christopher Lane, The Ozone Reference Manual, July 1986

34 pages.

86-41 H. Penny Nii, CAGE and POLIGON: Two Frameworks for Blackboard-based Concurrent Problem Solving, April 1986. To appear in: DARPAProceedings,Asilomar 1986 . 8 pages.[Superceded by KSL 87-71]

86-42 (Working Paper) Oleg Jardetzky, Andrew Lane, Jean-Francois

Lefevre,

OlivierLichtarge, Barbara Hayes-Roth, Russ Altman, Bruce Buchanan, A New Methodfor the Determination of Protein Structures in Solution from NMR,May 1986. Submitted for publication in: Proc. XXIII Congress Ampere, Rome,Italy, Sept. 1986. 6 pages.

54

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

(Journal Memo) Edward H.

Shortliffe,

Update on Oncocin: AChemotherapy Advisor for Clinical Oncology, August 1986. Submitted forpublication in: Medical Informatics . 4pages.

86-43

86-44 (Thesis) Stephen M. Downs, A Program for Automated Summarization ofOn-Line Medical Records, June 1986. 27 pages.

I. D. Tommelein, M. V. Johnson, Jr., B. Hayes-Roth,R. E. Levitt, SightPlan: AnExpert System for the Layout of Temporary Facilities on aConstruction

Site,

October 1987. To appear in Expert Systems in Computer-AidedDesign, .editedby J.S.

Gero,

pp. 153-167, North Holland, 1987. 22 pages.

86-45

86-46 STAN-CS-86-1111. Paul Rosenbloom and John Laird, MappingExplanation-Based Generalization onto Soar, June 1986. To appear in:AAAI-86 18 pages.

STAN-CS-86-1124. Daniel J.

Scales,

Efficient Matching Algorithms forthe SOAR/OPSS Production System, June 1986. 50 pages.

86-47

86-48 STAN-CS-87-1173. William J. Clancey, Review of Winograd and Flores'"Understanding Computers and Cognition: A New Foundation forDesign", July 1986. To appear in: The Journal of Artificial Intelligence,February 1987. 13pages.

(Journal Memo) M.A. Musen, D.M.

Combs,

J.D. Walton, E.H.

Shortliffe,

L.M. Fagan, OPAL: Toward the Computer-Aided Design of OncologyAdvice Systems, July 1986. Submittedfor publication to: Proceedings of theTenthAnnual Symposium on ComputerApplicationsinMedical Care. 10pages.

86-49

86-50 Ross D. Shacter and David E. Heckerman, Thinking Backward forKnowledge Acquisition. July 1986. Appeared in AI Magazine, pp. 55-57, Fall1987. 6 pages.

Barbara Hayes-Roth, Bruce Buchanan, Olivier Lichtarge, Micheal Hewett,RussAltman, James Brinkley, Craig

Cornelius,

Bruce Duncan, and Oleg Jardetzky,PROTEAN: Deriving protein structure from constraints, March 1986.To appear in: Proceedingsof AAAI 1986. 21 pages.

86-51

86-52 (Working Paper) Edward H.

Shortliffe,

M.D., Ph.D, Medical Expert Systems:Knowledge Tools for Physicians, September 1986. 24 pages.

(Working Paper) Edward H.

Shortliffe,

M.D., Ph.D, Medical Expert SystemsResearch at Stanford University, September 1986. 13 pages.

86-53

86-54 (Journal Memo) Edward H.

Shortliffe,

Medical Informatics: TheEmergence of a Discipline, September 1986. 17 pages.

(Working Paper) Eric Horvitz, Reasoning About ComputationalTradeoffs In a World of Bounded Resources, November 1986. 14 pages.

86-55

(Working Paper) Nakul P. Saraiya, AIDE: A Distributed Environment forDesign and Simulation June 1986. 25 pages.

86-56

55

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

86-57 Curtis P. Langlotz, Edward H.

Shortliffe,

and Lawrence M. Fagan, AMethodology for Generating Computer-Based Explanations ofDecision-Theoretic Advice. November 1988. 15 pages

86-58 STAN-CS-87-1174. William J. Clancey, IntelligentTutoring Systems: ATutorial Survey, September 1986. Submittedforpublication in: Collectedpapersof the International Professorship in Computer Science (Expert Systems)Universite deL'Etat, Belgium 43 pages.

86-60 Alan Garvey, Micheal Hewett, M. Vaughan Johnson,Robert

Schulman,

BarbaraHayes-Roth, 881 User Manual - Interlisp Version, October 1986. 68pages.

86-61 Alan Garvey, Micheal Hewett, M. Vaughan Johnson, Robert

Schulman,

BarbaraHayes-Roth, 881 User Manual - Common Lisp Version, October 1986. 72pages.

86-62 STAN-CS-87-1175. David C. Wilkins, William J. Clancey, and Bruce G.Buchanan, Using and Evaluating Differential Modeling inIntelligent Tutoring and Apprentice Learning Systems, January 1987. Toappear in: Intelligent Tutoring Systems: Lessons Learned, LawrenceErlbaumPublishers, 1987. 37 pages.

86-63 David C. Wilkins, Knowledge Base Debugging Using ApprenticeshipLearning Techniques, October 1986. 15 pages.

86-64 (Working Paper) Donald E. Henager, Window-Driven Object-OrientedCalculator, March 1986. 56 pages.

86-65 Matthew L. Ginsberg, David E.

Smith,

Reasoning About Action I: APossible Worlds Approach, May 1987. 25 pages.

86-66 Matthew L. Ginsberg, David E.

Smith,

Reasoning About Action II: TheQualification Problem, May 1987. 28 pages.

86-67 Bruce A. Delagi, Nakul P. Saraiya, and Gregory T. Byrd, LAMINA: CAREAPPLICATIONS

INTERFACE,

November 1987. 30 pages.

86-68 David E.

Smith,

Controlling Backward

Inference,

March 1987. 67 pages.

86-69 STAN-CS-86-1136. Harold Brown, Eric

Schoen,

and Bruce Delagi, AnExperiment in Knowledge-Base Signal Understanding Using ParallelArchitectures, October 1986. To appear in: Parallel Computation andComputers for AI, J.S. Kowalik Editor,Kluwer Publishers. 39 pages.

86-70 STAN-CS-86-1140. John E. Laird, Allen Newell, and Paul S.Rosenbloom, Soar: An Architecture for General Intelligence, December1986. To appearin: Artificial Intelligence. 66pages.

86-71 David C. Wilkins, Formulation of Cognitive Diagnosis as HeuristicClassification, December 1986. To appear in: Proceedings of the ThirdInternational Conference on Artificial Intelligence and Education,Pittsburgh, May1987. 24 pages.

56

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

86-74 (Thesis) Glenn Douglas Rennels, A Computational Model of Reasoningfrom the Clinical Literature, June 1986. 244 pages.

86-75 (Journal Memo) Eric J. Horvitz, Toward a Science of Expert Systems, March1986. 8 pages.

86-76 M. Vaughan Johnson Jr. and Barbara Hayes-Roth, Integrating DiverseReasoning Methods in the 881 Blackboard Control Architecture,December 1986. 17pages.

STAN-CS-87-1182. David C. Wilkins, William J. Clancey, and Bruce G.Buchanan, Knowledge Base Refinement Using Abstract ControlKnowledge, January 1987. 9 pages.

87-01

87-02 STAN-CS-87-1146. Gregory T. Byrd, Russell Nakano, and Bruce A.Delagi, A Point-to-Point Multicast Communications Protocol, January1987. 30 pages.

Bruce G. Buchanan, Artificial Intelligence As An ExperimentalScience, January 1987. To appearin: Artificial Intelligence 41 pages.

87-03

87-05 STAN-CS-87-1142. James F. Brinkley, Bruce G. Buchanan, Russ B.Altman, Bruce S. Duncan, Craig W.

Cornelius,

A Heuristic RefinementMethod for Spatial Constraint Satisfaction Problems, January 1987. 15pages.

87-06 (Journal Memo) Glenn D. Rennels, Edward H.

Shortliffe,

Frank E.

Stockdale,

PerryL. Miller, A Computational Model of Reasoning from the ClinicalLiterature, reprinted in AI Magazine 10(l):49-56, Spring 1989. 10 pages.

87-07 STAN-CS-87-1144. Gregory T. Byrd and Bruce A. Delagi,Considerations for Multiprocessor Topologies, January 1987. 6 pages.

87-08 Robert Schulman and Barbara Hayes-Roth, ExAct: A Module forExplaining Actions, January 1987. 15 pages.

87-09 (Working Paper) Peter D. Karp and Peter Friedland, Coordinating the Use ofQualitative and Quantitative Knowledge in Declarative DeviceModeling, January 1988. To appearin: Artificial Intelligence, Simulation andModeling. 22 pages.

87-10 Micheal Hewett and Barbara Hayes-Roth, The 881 Architecture: ASoftware Engineering View,February 1987. 17 pages.

Alan Garvey, Craig

Cornelius,

and Barbara Hayes-Roth, Computational Costsversus Benefits of Control Reasoning, June 1987. 6 pages.

87-11

87-12 STAN-CS-87-1183. William J. Clancey, The Knowledge Engineer asStudent: Metacognitive bases for asking good questions, January1987. To appear in Learning Issues for IntelligentTutoring Systems, HeinzMandl and Alan Lesgold, editors. Springer-Verlag:New York.30 pages.

57

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

87-16 (Journal Memo) Eric J. Horvitz, Inference under Varying ResourceLimitations, February 1987. 16 pages.

87-17 Curtis P. Langlotz and Edward H.

Shortliffe,

Logical and Decision-TheoreticMethods for Planning Under Uncertainty, April 1989, published in AIMagazine 10(1):39-47, Spring 1989, 9 pages.

87-18 Isabelle de Zegher-Geets, Andy Freeman, Mike Walker, Bob Blum, GioWiederhold, Computer-Aided Summarization of a Time-Oriented MedicalDatabase, February 1987. 6 pages.

87-19 (Working Paper) Curt P. Langlotz and Edward H.

Shortliffe,

The Relationshipbetween Decision Theory and Default Reasoning, February 1987. 16pages.

87-20 (Working Paper) Michael G. Kahn, Model-Based Interpretation of Time-Ordered Data, March 1987. 18 pages.

87-21 (Working Paper) Gregory F. Cooper, An Algorithm for ComputingPropositions, June 1987. 7 pages.

87-22 HomerL. Chin and Gregory F. Cooper, Stochastic Simulation of CasualBayesian Models, November 1988. To appearas a chapter: Bayesian BeliefNetwork Inference Using Simulation , in the forthcoming book: Uncertainty inArtificial Intelligence 3 , L. N. Kanal, T.S. Levitt, and J.F. Lemmer, eds., North-Holland. 20 pages.

87-23 Thierry Barsalou and Gio Wiederhold, Applying a Semantic Model to anImmunology Database, February 1988. To appearin: ProceedingsofSCAMC -- Symposium On Computer Applications In Medical

Care,

Washington,

D.C.,

November 1-4, 1987, pp. 871-877. 7 pages.

87-24 Homer L. Chin and Gregory F. Cooper, Knowledge-Based PatientSimulation, June 1987. Published as: The Role of Causal Knowledge inKnowledge-Based Patient Simulation in Proceedings of the Symposium onComputerApplications in Medical Care, pp. 460-466, lEEE 1987. 6 pages.

87-25 (Journal Memo) Edward H.

Shortliffe,

Computers in Support of ClinicalDecision Making, March 1987. 12 pages.87-26 Robert A. Greenes and Edward H.

Shortliffe,

Medical Informatics: AnEmerging Discipline with Academic and Institutional PerspectivesFebruary 1989. 24 pages.

87-27 (Journal Memo) Gregory F. Cooper, Probabilistic Inference Using BeliefNetworks Is NP-Hard, August 1987. 23 pages.

87-28 (Journal Memo) Eric J. Horvitz, A Multiattribute Utility Approach toInference Understandability and Explanation,September 1987. 34 pages.

87-29 Eric J. Horvitz, Reasoning About Beliefs and Actions UnderComputational Resource Constraints, March 1987. To appearin: Proceedings ofthe Third Workshop on Uncertainty in Artificial Intelligence, AAAI,

Seattle,

Washington,March 1989. 26pages.

58

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

87-30 (Journal Memo) Edward H.

Shortliffe,

Computer Programs To SupportClinical Decision Making, May 1987. 23 pages.

87-31 Barbara Hayes-Roth, A Multi-Processor Interrupt-Driven Architecture forAdaptive Intelligent Systems, June 1987. 19 pages.

87-32 (Working Paper) William J. Clancey, Diagnosis, Teaching, andLearning: An Overview of GUIDON2Research, April 1987. 12 Pages.

87-33 (Journal Memo) Glenn D. Rennels and Edward H.

Shortliffe,

AdvancedComputing for Medicine, October 1987. To appear in Scientific American,October 1987. 8 pages.

87-34 (Working Paper) Russell T. Nakano, Experiments with a Knowledge-Based System on a Multiprocessor: Preliminary Airtrac-LaminaQualitative Results, June 1987. 72 Pages.

87-35 (Working Paper) Masafumi Minami, Experiments with the Knowledge-Based System on a Multiprocessor: Preliminary Airtrac-LaminaQuantitative Results, June 1987. 62 pages.

Lawrence J. Selig, An Expert System Using Numerical Simulation andOptimization To Find Particle Beam Line Errors, May 1987. 39 pages.

87-36

87-37 Alfred D. Round, QSOPS: A Workbench Environment For TheQualitative Simulation of Physical Processes, May 1987. To appear in:Proceedings of the European Simulation Multiconference. 5 pages.

Naomi S. Rodolitz, Guidon Manage - Tutoring for StrategicKnowledge, June 1987. 43 pages.

87-38

87-39 (Journal Memo) Glenn D. Rennels, Edward H.

Shortliffe,

Frank E.

Stockdale,

Perry L. Miller, Updating an expert knowledge base as medicalknowledge evolves: Examples from oncology management, June 1987.To appear in Proceedingsof theAAMSI Congress 87. 6pages.

Alan Garvey and Barbara Hayes-Roth, Implementing Diverse Forms ofControl Knowledge in Multiple

Controls,

June 1987. 32 pages.87-40

87-41 Thierry Barsalou, An Object-Based Interface to a RelationalDatabase System, June 1987. 10 pages.

87-43 STAN-CS-87-1166. Hiroshi G. Okuno and Anoop Gupta, ParallelExecution of OPSS in QLISP, June 1987. Shorter version to appear in:Proceedings of the Fourth Conference on Artificial IntelligenceApplications(CAIA-88),IEEE, March 1988. 18pages.

87-44 STAN-CS-87-1178. Gregory T. Byrd, Russell Nakano, and Bruce A.Delagi, A Dynamic, Cut-Through Communications Protocol withMulticast, August 1987. 23 pages.

59

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

87-45 (Journal Memo) David Heckerman and Holly Jimison, A Perspective onConfidence and Its Use in Focusing Attention during KnowledgeAcquisition, July 1987. To appearin: Proceedings ofAAAI 87. 10 pages.

87-46 (Journal Memo) Michael P. Wellman and David E. Heckerman, The Role ofCalculi in Uncertain Reasoning, July 1987. To appearin: Proceedings ofAAAI 87. 12 pages.

87-47 Iris D. Tommelein,Raymond E. Levitt, Barbara Hayes-Roth, Using ExpertSystems for the Layout of Temporary Facilities on Construction

Sites,

October 1987. To appear in Managing Construction Worldwide, Vol.1, Systemsfor Managing

Construction,

Lansley,P.R., Harlow, P.A. (Eds), pp.566-577, E.&F.N. Spon,London, 1987. 19 pages.

87-48 (Journal Memo) Gregory F. Cooper, Computer-Based Medical DiagnosisUsing Belief Networks and Bounded Probabilities, February 1988. Toappearin Topics in MedicalArtificial Intelligenceeditedby PerryMiller. 17pages.

87-49 (Journal Memo) Mark E. Frisse and Gio Wiederhold, RetrievingInformation from Hypertext Systems, August 1987. 14 pages.

87-50 (Journal Memo) Mark E. Frisse, Searching for Information in aHypertext Medical Handbook: The Washington UniversityDynamic Medical Handbook Project, August 1987. 7 pages.Has appeared in:Communicationsof the

ACM,

July 1988,Volume 31, Number 7, pp. 880-886.

87-51 (Journal Memo) Gregory F. Cooper, Expert Systems Based on BeliefNetworks - Current Research Directions, February 1988. 21 pages.

87-52 Curtis P. Langlotz, Advice Generation in an Axiomatically-BasedExpert System, August 1987. To appear in: Proceedings of the EleventhAnnual Symposiumon ComputerApplications in Medical

Care,

Washington,

DC,

1987. 8 pages.

87-53 (Journal Memo) David Heckerman and Eric J. Horvitz, On theExpressiveness of Rule-Based Systems for Reasoning withUncertainty, August 1987. To appear in: Proceedings of AAAI, Vol. 1, July,1987.7 pages.

87-54 Joshua Lederberg, How DENDRAL Was Conceived and Born, August1987. To appear in: Proceedings of ACM Symposiumon the History ofMedical

Informatics,

NationalLibrary ofMedicine, November 1987. 19pages.

87-57 STAN-CS-87-1184. Hiroshi

Okuno,

Nobuyasu Osato and Ikuo Takeuchi,Firmware Approach to Fast Lisp Interpreter, September 1987. To appearin: Proceedings of Twentieth Annual Workshop on Microprogramming(MICRO-20),

ACM,

December 1987. 25 pages.

87-58 William J. Clancey, Knowledge Engineering Methodology: An AnnotatedBibliography of NEOMYCIN Research, September 1987. To appear in: R.Nossum (cd.), Lecture notes in Computer Science -

ACAI'B7,

Springer-Verlag,1988. 10 pages.

60

KSL 87-59 Janet McLaughlin, Utility-Directed Presentation of SimulationResults, December 1987. 57 pages.

KSL 87-60 Richard M. Keller, Defining Operationality for Explanation-BasedLearning, October 1987. To appear in: Artificial IntelligenceJournal. 19pages.

KSL 87-61 STAN-CS-11-88 Russell Nakano and Masafumi Minami, Experiments witha Knowledge-Based System on a Multiprocessor, October 1987. 47 pages.

KSL 87-62 John A. Brugge and Bruce G. Buchanan, Evolution of a Knowledge-Based System for Determining Structural Components of Proteins,October 1987. 26 pages.

(Journal Memo) Leslie Elaine Perreault, Automatic Test Case Generationby Modeling Patient States and Physician Actions, October 1987. 30pages.

KSL 87-63

KSL 87-64 (Journal Memo) Eric J. Horvitz, Problem-SolvingDesign: Reasoning aboutComputational Value, Tradeoffs, and Resources, November 1987. Toappear in: Proceedingsof the NationalAeronauticsAnd Space AdministrationArtificial IntelligenceForum, Mountain View, CA. 19pages.

STAN-CS-87-1189. Bruce A. Delagi, Nakul Saraiya, Sayuri Nishimura, andGreg Byrd, Instrumented Architectural

Simulation,

November 1987. 7pages.

KSL 87-65

KSL 87-66 Edward H.

Shortliffe,

Susan M. Hubbard, Information in Oncology. June1989. 11 pages.

KSL 87-67 Barbara Hayes-Roth, Dynamic Control Planning in AdaptiveIntelligent Systems, November 1987. 7 pages.

KSL 87-70 Tv,

S.W.,

Kahn, M.

G.,

Musen, M.A., Ferguson,

J.C., Shortliffe,

E.H., andFagan,, L.M, "Episodic Skeletal-Plan Refinement Based on TemporalData." Appearedin Communicationsof the ACM. 32(12) 1438-1455. December1989

KSL 87-73 Stephen Barnhouse, Knowledge Base Tours: Introducing a KnowledgeBased System to a Novice User, December 1987. 15 pages.

KSL 88-01 M. Vaughan Johnson and Barbara Hayes-Roth, Learning to SolveProblems by Analogy, March 1988. 15 pages.

KSL 88-02 H. Penny Nii, Nelleke Aiello, and James Rice, Frameworks for ConcurrentProblem Solving: A Report on Cage and Poligon, March 1988. 28pages.

J. P. Rice, Problems with Problem-Solving in Parallel: The PoligonSystem, January 1988. 21 pages.

KSL 88-04

KSL 88-06 (Thesis) Mark Alan Musen, Generation of Model-Based Knowledge-Acquisition Tools for Clinical-Trial Advice Systems, January 1988. 293pages.[ONLY ABSTRACT AVAILABLE].

61

KSL 88-09 (Working Paper) Bruce G. Buchanan and Reid G.

Smith,

Fundamentals ofExpert Systems, March 1988. 33 pages.

KSL 88-10 Gregory T. Byrd and Bruce A. Delagi, A Performance Comparison ofShared Variables vs. Message Passing, February 1.

Richard M. Keller, Operationality and Generality in Explanation-BasedLearning: Separate dimensions or opposite endpoints?, February1988. To appearin: Proceedings of the AAAI Symposium on Explanation-Based

Learning, March 1988,

Stanford,

CA. 5 pages.

KSL 88-11

KSL 88-12 Clifford E.

Wulfman,

Ellen A. Isaacs, Bonnie Lynn Webber, and Lawrence M.Fagan, Integration Discontinuity: Interfacing Users and Systems,February 1988. 12pages.

KSL 88-13 Eric J. Horvitz, John S. Breese, and Max Henrion, Decision Theory in ExpertSystems and Artificial Intelligence,February 1988. To appear in: Journalof ApproximateReasoning, Special Issue on Uncertainty in Artificial Intelligence,July 1988. 62 pages.

KSL 88-15 Tony Confrey and Fancois Daube, GS2D: A2D Geometry Systems, March1988. 15 pages.

KSL 88-16 Mark A. Musen, Conceptual Models of Interactive KnowledgeAcquisition Tools, March 1988. 16pages.

KSL 88-17 Joan Walton, Edward H.

Shortliffe,

Automated Design of a User

Interface,

November 1989. 42 pages.

KSL 88-18 Peter D. Karp, A Process-Oriented Model of Bacterial GeneRegulation, June 1988. 14pages.

KSL 88-19 Barbara Hayes-Roth, Micheal Hewett, M. Vaughan Johnson, and Alan Garvey,ACCORD: A Framework for a Class of Design Tasks, March 1988. 12pages.

KSL 88-20 Barbara Hayes-Roth, Rattikorn Hewett, and Adam

Seiver,

DiagnosticExplanationusing Models, March 1988. 10pages.

KSL 88-21 Alan Garvey and Barbara Hayes-Roth, An Empirical Analysis of Explicitvs. Implicit Control Architectures, March 1988. 20 pages.

KSL 88-22 Micheal Hewett and Barbara Hayes-Roth, Real-Time I/O inKnowledge-Based Systems, November 1988. 13 pages.

KSL 88-23 Robert Schulman and Barbara Hayes-Roth, Plan-Based Construction ofStrategic Explanations,March 1988. 13pages.

KSL 88-24 James F. Brinkley, The Potential for Intelligent Three-DimensionalUltrasound, March 1988. To appear in:

Chervenak,

F.A., Isaacson,

G.,

Campbell, S. (eds.), Textbook of Ultrasoundin Obstetrics and Gynecology, 1988.28 pages.

62

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

(Working Paper) Greg Byrd, Modeling a Bus-Based MultiprocessorUsing the CARE Simultation System, March 1988, 11 pages.

88-25

88-26 Mark A. Musen, Generation of Knowledge-Acquisition Tools fromClinical-Trial Models, March 1988. To appear in: Proceedings of Medical

Informatics,

Europe 1988.

Oslo,

Norway, August 1988. 6pages.

(Working Paper) H.J.Suermondt and Gregory F. Cooper, UpdatingProbabilities in Multiply Connected Belief Networks, March 1988. 9pages.

88-27

88-29 (Working Paper) Andrew

Gelman,

Susan Airman, Matt

Pallakoff,

Ketan Doshi,Catherine Manago, Thomas C.

Rindfleisch,

and Bruce G. Buchanan, FRM:An Intelligent Assistant for Financial Resource Management, April1988. 25 pages.

88-30 Gregory Cooper, Eric Horvitz, David Heckerman, A Method for TemporalProbabilisticReasoning. October 1990. 23 pages.

88-33 Bruce A. Delagi and Nakul P. Saraiya, Elint in Lamina, Application of aObject Language, presented to: Workshop on Object-Based ConcurrentProgramming- OOPSLA 88., July 1988, 13pages.

88-34 (Thesis) Isabelle de Zegher-Geets, IDEFIX: IntelligentSummarization of a Time-Oriented Medical Database, June 1987. 99pages.

88-35 Eric J. Horvitz, Reasoning Under Varying and Uncertain Resource

Constraints,

April 1988. To appearin: Proceedings of the Seventh NationalConference on Artificial Intelligence,pp. 111-116, AAAI '88, Minneapolis,Minnesota inAugust 1986.,April 1988. 6 pages.

Eric J. Horvitz, Jacques

Suermondt,

Bounded Conditions: A FlexibleProbabilistic Inference Algorithm. October 1990. 20 pages.

88-36

88-37 (Working Paper) Liam Peyton, PhD, A Transformational Approach toSoftware Redesign, May 1988. 23 pages.

88-38 David E. Heckerman, An Empirical Comparison of Three InferenceMethods, June 1990. To appearin Uncertainty in Artificial Intelligence 4. 20pages.

Anthony Zygmont, SOLACE: Systems Optimization Laboratory'sAutomated ComputationalExpertise, May 1988. 55 pages.

88-39

88-40 Harold P. Lehmann, Knowledge Acquisition for Probabilistic ExpertSystems.Published in SCAMC Proceedings,November 1988. 6 pages.

(Working Paper) Alan C. Noble and Everett C. Rogers, AIRTRAC PathAssociation: Development of a Knowledge-Based System for aMultiprocessor, June 1988. 101 pages.

88-41

63

KSL 88-42 (Working Paper) Alan C. Noble, ELMA Programmers Guide, August 1988.36 pages.

KSL 88-45 Susan M. Altman, Representing and Editing Constraints: A Case Studyin Financial Resource Management, June 1988. 42 pages.

KSL 88-47 R. Martin Chavez and Gregory F. Cooper, KNET: Integrating Hypertext andNormative Bayesian Modeling, June 1988. 8 pages.

KSL 88-50 BarbaraHayes-Roth, Micheal Hewett,Richard Washington,Rattikorn Hewett,Adam

Seiver,

Distributing Intelligence Within an Individual, October 1988. Toappear in : DistributedArtificial Intelligence,Vol 2, L. Gasser and M.N. Huhns,(eds.), Morgan

Kaufmann,

1988. 23 pages.

KSL 88-52 (Working Paper) John

Sullivan,

RL3: An Approach to Incremental RuleLearning, June 1988. 24 pages.

KSL 88-53 Delagi, Bruce, Saraiya, Nakul, Byrd, Greg., Care User Manual Version 0 (forRelease 0). September 1990. 153pages.

KSL 88-57 Richard M. Keller, Learning Approximate Concept Descriptions, July1988. 15 pages.

KSL 88-58 David M.

Combs,

Samson W. Tv, Mark A. Musen, Lawrence M. Fagan, FromExpert Models to Expert Systems: Translation of an IntermediateKnowledge Representation, August 1988. 13 pages.

KSL 88-59 Mark A. Musen and Johan Van der Lei, Of Brittleness and BottlenecksChallenges in the Creation of Pattern-Recognition and Expert-SystemModels,August 1988. 18 pages.

KSL 88-60 Thierry Barsalou, M.D., An Object-Based Architecture for BiomedicalExpert Database Systems, August 1988. Published in SCAMC Proceedings,November 1988. 8 pages.

KSL 88-61 Edward H.

Shortliffe,

M.D., Ph.D., Medical Knowledge and DecisionMaking, September 1988. 14 pages.

KSL 88-62 Max Hailperin, Load Balancing for Massively-Parallel Soft Real-TimeSystems, August 1988. 19 pages

KSL 88-63 Curtis P. Langlotz and Edward H.

Shortliffe,

An Analysis of Categorical andQuantitative Methods for Planning under Uncertainty, September 1988.Published in SCAMC Proceedings, November 1988. 6 pages.

KSL 88-64 Barbara Hayes-Roth, Making IntelligentSystems Adaptive, September 1988.24 pages.

KSL 88-66 Penny Nii, Nelleke Aiello, James Rice, Experiments on Cage and Poligon:Measuring the Performance of Parallel Blackboard Systems, to appear inDistributed Artificial Intelligence 11. Pitman Publishing Ltd. & Morgan

Kaufmann,

1989. February 1989, 69 pages.

64

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

88-67 Donald W. Rucker, David J. Maron, Edward H.

Shortliffe,

TemporalRepresentations of Clinical Algorithms Using Expert-System andDatabase Tools, to appearin Computer and BiomedicalResearch, February 1990.32 pages.

88-69 James Rice, The Elint Application on Poligon: The Architecture andPerformance of a Concurrent Blackboard System, December 1988. 11pages.

88-70 Michael a.

Shwe,

Samson W. Tv, Lawrence M. Fagan, Validating theKnowledge Base of a Therapy-Planning System, published in: Methods ofInformation inMedicine 28(1): 36-50, 1989.,April 1989. 16pages.

88-71 James Rice, The Advanced ArchitecturesProject. March 1989. 27 pages.

(Working Paper) R. Martin

Chavez,

Gregory F. Cooper, A RandomizedApproximation Algorithm for Probabilistic Inference on BayesianBelief Networks. October 1989. 24 pages.

88-72

88-73 Mark A. Musen, Generation of Visual Languages for Development ofKnowledge-Based Systems. Chapter in Visual Languages, Volume II (R. R.Korfhage, E. Jungert, and T. Ichikawa, eds.) , New York: Plenum, 1989. 26pages.

88-74 Beverly Kane andDonald W. Rucker, AI in Medicine. To appearin: AIExpert.pp. 48-55, November 1988. 9 pages.

88-75 Holly B. Jimison, A Representation for Gaining Insight into ClinicalDecision Models, November 1988. 5 pages.

88-76 Leslie Lenert, Lewis

Sheiner,

Terrence Blaschke, ImprovingDrug Dosing inHospitalized Patients: Automated Modeling of Pharmacokinetcs forIndividualization of Drug Dosing Regimens. Published in SCAMCProceedings,November 1988. 6 pages.

88-77 Homer L.

Chin,

Case-Based Tutoring from a Medical Knowledge Base.Published in SCAMC Proceedings,November 1988. 8 pages.

88-80 Nelleke Aiello, Cage: The Performance of a Concurrent BlackboardEnvironment. December 1988. 1 1 pages.

88-81 Gregory T. Byrd, Nakul P. Saraiya, and Bruce Delagi, MulticastCommunication in Multiprocessor Systems. To appear in: Proceedings ofthe 1989International Conference onParallelProcessing, August 1989. June 1989.9 pages.

Edward H.

Shortliffe,

Testing Reality: The Introduction of Decision-Support Technologiesfor Physicians, published as an editorial in Methods ofInformation In Medicine, 28: 1-5,1989. 6 pages.

88-82

65

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

88-83 Edward H.

Shortliffe,

Lawrence M. Fagan, "Research Training in MedicalInformatics: The Stanford Experience." Appeared in: Proceedings of theInternational Symposium on Medical Informatics and Education, pp 490-494,Victoria,

8.C.,

May 1989. June 1989. 9 pages.

88-84 I. A. Beinlich, H.J.

Suermondt,

R.M. Chavez and G.F. Cooper. The ALARMMonitoring System: A Case Study with Two Probablistic InferenceTechniques for Belief Networks. Submitted to AI in Medicine, London1989.

88-85 Nakul P. Saraiya, A Shared Memory Lisp Package for CARE. January1989. 7 pages.

88-86 Perry L. Miller and Glenn D. Rennels, Prose Generation from ExpertSystems. An Applied Computational Approach, November 1988. Toappearin: AIMagazine, pp. 37-44, Fall 1988. 9 pages.

89-01 Eric J. Horvitz, David E. Heckerman and Gregory Cooper, Reflection andAction Under Scarce Resources: Theoretical Principles and EmpiricalStudy. To appearin:

IJCAI-89,

May 1989. 17pages.

89-02 Rich A.

Acuff,

Performance of Two Common Lisp Programs on SeveralSystems. January 1989. 30 pages.

89-03 Thierry Barsalou, R. Martin

Chavez,

Gio Wiederhold. Hypertext Interfacesfor Decision-Support Systems: A Case Study. Submitted to: Medinfo 89.6 pages.

Geoffrey Rutledge, George Thomson, Ingo Beinlich, Brad Fair, Michael Kahn,Lewis

Sheiner,

and Lawrence Fagan, VentPlan: An Architecture forCombining Qualitative and Quantitative Computation, to appearin IJCAI--89, January 1989. 9 pages.

89-04

89-05 Barbara Hayes-Roth, Rich Washington, Rattikorn Hewett, Micheal Hewett, andAdam

Seiver,

Intelligent Real-Time Monitoring and

Control,

January1989. 15pages.

Richard Washington, Barbara Hayes-Roth, Input Data Management in Real-Time AI Systems. May 1989. 13 pages.

89-06

89-07 Mark A. Musen, Languages for Knowledge Acquisition: Building andExtending Models, January 1989.. To appearin: Proceedings ofAAAI SpringSymposium onKnowledge System Development Tools andLanguages,

Stanford,

CA March 1989. 7 pages.

James Rice and Nelleke Aiello, See How They Rum.The Architecture andPerformance of Two Concurrent Blackboard Systems. To appear in:Blackboard Architectures and Applications: Current Trends. March 198922 pages.

89-08

Mark A. Musen, Widening the Knowledge-Acquisition Bottleneck:Automated Tools for Building and Extending Clinical Methods. Toappearin: AAMSI Proceedings. February 1989. 7 pages.

89-09

66

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

89 10 Peter D. Karp, David C. Wilkins, An Analysis of the Distinction BetweenDeep and Shallow Expert Systems. To appear in: International Journal ofExpert Systems, 1989. February 1989. 36 pages.

Peter D. Karp, Hypothesis Formation As Design. To appear in:Computational Models ofDiscovery andTheory Formation, 1989. September 1989.46 pages.

89 11

89 13 Harold P. Lehmann, M.D, Book Review: Uncertainty in ArtificialIntelligence: A Review in the Context of Recent Workshops. April1989. October 1990. 24 pages.

R. Martin

Chavez,

Hypermedia and Randomized Algorithms for MedicalExpert Systems. Submittedto SCAMC 89. March 1989. 19 pages.

89 14

89 15 Gregory T. Byrd and Bruce A. Delagi, Support for Fine-Grained MessagePassing in Shared Memory Multiprocessors. To appear in: Proceedings ofthe sth Annual Computer Science Symposium, University ofSouth

Carolina,

April7-8, 1989. 21 pages.

89 16 Nakul P. Saraiya, Bruce A. Delagi and Sayuri Nishimura, Design andPerformance Evaluation of a Parallel Report Integration SystemSubmittedfor publication. April 1989. 23 pages.

89 17 H.J. Suermondt and G.F. Cooper, Probablistic Inference in MultiplyConnected Belief Networks Using Loop Cutsets. Submitted to:InternationalJournalofApproximateReasoning. March 1989. 33 pages.

89 18 Thierry Barsalou and Gio Wiederhold, A CooperativeHypertext Interface toRelational Databases. To appearin: SCAMC Proceedings, November 1989.September 1989. 6 pages.

89 19 D.W. Rucker and E.H.

Shortliffe,

A Methodology for ImplementingClinical Algorithms Using Expert System and Database Tools.Submitted to SCAMC '89. March 1989.

89 20 Brad R. Fair, Decision-Theoretic Evaluation of Therapy Plans.Submitted to SCAMC '89. March 1989. 10 pages.

89 21 John Reed, Building Decision Models that Modify Decision Systems.Submitted to SCAMC '89. March 1989. 18pages.

H.L. Suermondt and M.D. Amylon, M.D., Probabilistic Prediction of theOutcome of Bone-Marrow Transplantation. Submitted to SCAMC '89.March 1989. 9 pages.

89 23

89 24 E.J. Horvitz, D.E. Heckerman, K.C. Ng, B.N. Nathwani, HeuristicAbstraction in the Decision-Theoretic Pathfinder System. Published intheProceedingsofthe 1989Symposiumon ComputerApplications inMedicalCare.September 1989. 6pages.

67

KSL 89-25 D.E. Heckerman, E.J. Horvitz, B.N. Nathwani, Update on the PathfinderProject. To appearin: Proceedingsof the Symposiumon ComputerApplications inMedical

Care,

November 1989. August 1989 14 pages.

KSL 89-26 Mark A. Musen, Automated Support for Building and Extending ExpertModels. To appear in: a special issueof MachineLearning. May 1989. 29 pages.

KSL

KSL

89-27 Pandurang Nayak, An Overview of Causal Reasoning. June 1989. 16 pages.

89-28 Mark A. Musen and Johan van der Lei, Knowledge Engineering for ClinicalConsultation Programs: Modeling the Application Area. Published inMethods of Information in Medicine,28-28-35, 1989. March 19899 pages.

(Working Paper) Eric J. Horvitz, Some Fundamental Problems andOpportunities From the Standpoint of Rational Agency. October 1990.34 pages.

KSL 89-30

KSL 89-31 R. Martin Chavez and Gregory F. Cooper, An Empirical Evaluation of aRandomized Algorithm for Probabilistic Inference. Published in: FifthWorkshop on Uncertainty inArtificial Intelligence, April 1989, 13pages.

KSL 89-33 (Working Paper)Bruce G. Buchanan and Edward H.

Shortliffe,

Advances inExpert Systems (A White Paper and Commentary). Presented to DARPA,February, 1989. April 1989. 21 pages.

KSL 89-34 Michael G. Kahn, Lawrence M. Fagan, and Lewis B.

Sheiner,

Model-BasedInterpretation of Time-Varying Medical Data. April 1989. 25 pages

KSL 89-35 Edward Herskovits, M.D. and Gregory F. Cooper, M.D., Ph.D., Algorithms forBayesian Belief-Network Precomputation. July 1991. 9 pages.

KSL 89-36 David Heckerman, A Tractable Inference Algorithm for DiagnosingMultiple Diseases. To appear in Uncertainty in Artificial Intelligence5. June1990. 11 pages

KSL 89-37 (STAN-CS-1294) James Rice, The Design and Implementation ofPoligon, a High-Performance, Concurrent Blackboard System

Shell,

November 1989. 88 pages.

KSL 89-41 Harold P. Lehmann, A Decision-Theoretic Model for Using ScientificData, submittedto AAAI Workshop in Uncertainty in AI, May 1989. 19 pages.

KSL 89-42 E.J. Horvitz, H.J.

Suermondt,

G.F. Cooper, Bounded Conditioning:Flexible Inference for Decisions Under Scarce Resources. September1990. 12pages.

KSL 89-44 Andrew

Gans,

Barbara Hayes-Roth, NEWWATCH: Learning InterruptedStrategies by Observing Actions. March 1990. 61 pages.

KSL 89-45 Tony Confrey, Barbara Hayes-Roth, Knowledge Based StrategyGeneralization. March 1990. 47 pages.

68

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

C.P. Langlotz and E.H.

Shortliffe,

The Critiquing Approach to AutomatedAdvice and Explanation: Rationale and Examples, published in: ExpertKnowledge and Explanation: TheKnowledge Language

Interface,

(C. Ellis, cd.),pp. 179-200,London: Ellis Horwood, August 1989. 23 pages.

89-46

89-47 (Working Paper) EdwardHerskovits and Michael Walker, Computer-AidedClassification of Magnetic-Resonance Images. May 1989. 20 pages.

89-49 Richard M. Keller, Catherine Baudin, Yumi Iwasaki, Pandurang Nayak, KazuoTanaka, Compiling Special-Purpose Rules from General-PurposeDevice Models. June 1989. 15 pages.

89-50 Richard M. Keller, Catherine Baudin, Yumi Iwasaki, Pandurang Nayak, KazuoTanaka, Compiling Diagnosis Rules and Redesign Plans from aStructure/Behavior Device Model: The details. June 1989. 31 pages.

89-51 (Working Paper) Djuki Muliawan, Performance Evaluation of a ParallelKnowledge-Based System. June 1989. 100 pages.

89-52 (Thesis) Peter D. Karp, Hypothesis Formation and QualitativeReasoning in Molecular Biology. June 1989. 337 pages.

89-53 (Working Paper) Tze-Pin Cheng, Towards a Formalization of PartialDomain Theories, Landmark Value Selection and Incremental Learningfor Inductive Learning Systems. June 1989. 51 pages.

89-54 LawrenceFagan, Clifford

Wulfman,

Monica Rua, Ellen Isaacs, ChristopherLane,Janice Rohn, Bonnie Webber, and Edward

Shortliffe,

The PracticalApplication of Continuous-Speech Recognition to the Task of MedicalRecordkeeping. Appeared in Proceedings of the AAAI Workshop on SpokenLanguage Systems. June 1989. 9pages.

89-55 Guido Haymann-Haber, PI in a Box: The Design of an "Expert" ProtocolManager. July 1989. 262 pages.

89-56 (Working Paper) Pandurang Nayak, Reasoning with Multiple Models.June 1989. 16pages.

89-57 (Working Paper) Ketan Doshi, Equation Generation from Device Models.June 1989. 44 pages.

89-60 Thierry Barsalou, Gio Wiederhold, Knowledge-Directed Mediation BetweenApplication Objects and Base Data. To appear in the Proceedings of theWorking Conference onData andKnowledgeBaseIntegration,UniversityofKeele,England, October 1989. August 1989.17pages.

89-61 H. Jacques Suermondt and Gregory F. Cooper, Initialization for the Methodof Conditioning in Bayesian Belief Networks. Submitted to ArtificialIntelligence,August 1989. August 1989. 10pages.

89-62 Holly B. Jimison, A Representation of Uncertainty to Aid Insight intoDecision Models. Published in the Proceedings of the Fourth Workshop onUncertainty in Artificial Intelligence,pp. 189-196, 1988, Universityof Minnesota,August 1988. August 1989. 9pages.

69

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

89-63 Barbara Hayes-Roth, Architectural Foundations for Real-TimePerformance in Intelligent Agents. August 1989. 40 pages.

89-67 David Heckerman and Eric Horvitz, Problem Formulation as the Reductionof a Decision Model. To appear in: Proceedings of the Sixth Conference onUncertainty inAI, 1990. June 1990. 7 pages.

89-68 Hirotoshi Maegawa, The Parallel Solution of Classification Problems.January 1990. 42 pages.

89-70 George Thomsen, Lewis

Sheiner,

SIMV: An Application of MathematicalModeling in Ventilator Management. Published in Proceedings of theThirteenth Annual Symposium on ComputerApplicationsin Medical

Care,

pp. 320--324. December 1989 5 pages.

89-71 B.G. Buchanan, D. Bobrow, R. Davis, J. McDermott, E.H.

Shortliffe,

ResearchDirections in Knowledge-Based Systems. To appearin Annual Review ofComputer Science. October 1989. 15pages.

89-72 Manu Thapar and Bruce Delagi, Design and Implementation of a DistributedCache Coherence Protocol. April 1990. 24 pages.

89-73 H. Penny Nii, James Rice, Signal Understanding and Problem Solving: AConcurrent Approach to Soft Real-Time Systems. Published inProceedings of the 23rd Conference on Signals, Systems and Computers, October1989. October 1989. 6 pages.

89-74 Joan D. Walton, E.H.

Shortliffe,

A Future View of the Physician'sWorkstation. Published in California Physician, November, 1989, pp. 38-44.October 1989. 7 pages.

89-75 H. Penny Nii, A Proposed Research Initiative in Knowledge-BasedCASE Tools: Biting the Silver Bullet. October 1989. 18 pages.

89-76 John L. Mohammed, Combining Experiential and Theoretical Knowledgeat Multiple Levels of Granularity in the Domain of SemiconductorFabrication Processes. November 1989. 23 pages.

89-77 Curtis P. Langlotz, The Feasibility of Axiomatically-Based ExpertSystems. Published in Computer Methods and Programs in Biomedicine, 30:85--95, November 1989. 11 pages.

89-78 Geoffrey Rutledge, George Thomsen, Ingo Beinlich, Brad Farr, Lewis

Sheiner,

Lawrence Fagan, Combining Qualitative and Quantitative Computation ina VentilatorTherapy Planner. Published in Proceedings of the the ThirteenthAnnual Symposiumon ComputerApplicationsin Medical

Care,

Washington,

D.C.,

pp. 315-319. November 1989.

89-79 (Working Paper) Yumi Iwasaki, Model Abstraction in QualitativeReasoning. November 1989. 20 pages.

89-80 Yumi Iwasaki, Herbert A.

Simon,

Causality and Model Abstraction.November 1989. 37 pages.

70

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

89 81 Eric J. Horvitz, Rational Metareasoning and Compilation for OptimizingDecisions under bounded Resources. Published in Proceedings ofComputational Intelligence,

Assoc,

for Computing Machinery, Milan, Italy.September 1989. 32 pages.

89 82 E.H

Shortliffe,

The Networked Physician: Practitioner of the Future.Appears in HealthcareInformation Management: A PracticalGuidefor HealthcareExecutives (M.J. Ball, R. O'Desky, J. V. Douglas, and J. Albright, eds.) pp. 3-18,New YorkSpringer-Verlag, 1991. June 1991. 15pages.

89 83 Manu Thapar, Bruce Delagi, Distributed Cache Coherence for Large ScaleShared Memory Multiprocessors. To appear in: Proceedings of the 1989InternationalConference onIntelligentDistributed Systems. December 1989. 14pages.

89 85 Michael G. Kahn, Lawrence M. Fagan, Samson Tv, Extensions to the Time-Oriented Database Model to Support Temporal Reasoning in MedicalExpert Systems. Appears in Methods of Information in Medicine, 30:4-14, 1991.February 1991.

89 86 Nelleke Aiello, The CAGE System User Manual. December 1989. 32 pages.

89 87 (Working Paper) Thomas

Gruber,

The Use of Formally-RepresentedEngineering Knowledge to Support Human Communication andMemory. Presented at the AAAI Spring Symposium,Stanford University, March27-29, 1990. 3 pages.

89 88 (Thesis) Russ Altman, Exclusion Methods for the Determination ofProtein Structure from Experimental Data, Doctoral dissertation,June 1989.

89 89 (Thesis) Curtis Langlotz, A Decision-Theoretic Approach to HeuristicPlanning, Doctoral dissertation, June 1989.

90 01 David A. Klein, Edward H.

Shortliffe,

Integrating Artificial Intelligence andDecision Theory in Heuristic Process Control Systems. January 1990.13pages

90 02 Michael G. Walker, Gio Wiederhold, Acquisition and Validation ofKnowledge from Data. To appearin: IntelligentSystems: State of the Art andFuture Directions, W.R. Zbigniew and M. Zemankova,eds., June 1990. January1990. 15pages.

90 03 Andrew

Gans,

Tony Confrey, Jeffrey Harvey, Barbara Hayes-Roth, HowWATCH Works: Documentation for the

WATCH, NEWWATCH,

andMETAWATCH Programs. March 1990. 28 pages.

90-04 David A. Klein, Edward H.

Shortliffe,

Explaining Decision-TheoreticChoices. January 1990. 18 pages.

90-06 Homer L.

Chin,

AutomatedDiagnosis in Medicine. Published in NorthernCalifornia Medicine 1(1):14-15, January 1990. 3 pages.

71

KSL 90-08 David Heckerman, Eric J. Horvitz, Bharat N. Nathwani, Toward NormativeExpert Systems: The Pathfinder Project. June 1990. 63 pages.

KSL 90-09 Michael

Shwe,

Blackford Middleton,DavidHeckerman,MaxHenrion,Eric Horvitz,Harold Lehmann, Gregory Cooper, Probabilistic Diagnosis Using aReformulation of the INTERNIST- 1/QMR Knowledge Base. I. Theprobabilistic model and inference algorithms. May 1990. 62 pages.

KSL 90-10 Harold Lehmann, Edward

Shortliffe,

THOMAS: Building BayesianStatistical Expert Systems to Aid in Clinical Decision Making. March1990. 9 pages.

KSL 90-11 M.

Shwe,

B. Middleton, D. Heckerman,M. Henrion, E. Horvitz, H. Lehmann, G.Cooper, A Probabilistic Reformulation of the Quick Medical ReferenceSystem. Submittedto: SCAMC Proceedings. March 1990. 12 pages.

KSL 90-12 Thierry Barsalou, Walter Sujansky, Gio Wiederhold, Expert Data Systems inBiomedicine: The PENGUIN Project. To appear in: Proceedings of theAAAISpring Symposium on AI in Medicine,

Stanford,

March 1990. 5 pages.

KSL 90-13 Thierry Barsalou, R. Martin

Chavez,

Gio Wiederhold, RepresentingProbablistic Knowledge in Relational Databases. Submitted to: SCAMCProceedings. March 1990. 12 pages.

KSL 90-14 Richard Washington, Luc Boureau, Barbara Hayes-Roth, Using Knowledge forReal-Time Input Data Management. March 1990. 12 pages.

KSL 90-15 Richard Washington, Barbara Hayes-Roth, Abstraction Planning in Real-Time. March 1990. 12 pages.

KSL 90-16 David Ash, Barbara Hayes-Roth, Temporal Representations in BlackboardArchitectures. March 1990. 14 pages.

KSL 90-17 Anne

Collinot,

Barbara Hayes-Roth, Real-Time Control of Reasoning:Experiments with Two Control Models. March 1990. 15 pages.

KSL 90-18 Iris Tommelein,Barbara Hayes-Roth, Ray Levitt, Tony Confrey, Comparing andContrasting an Expert System and an AI System for Space Planning.March 1990. 15 pages.

KSL 90-19 David A. Klein, Edward H.

Shortliffe,

Interactive Diagnosis and Repair ofDecision-Theoretic Models. March 1990. 12 pages.

KSL 90-20 David A. Klein, HaroldP. Lehmann, Edward H.

Shortliffe,

A Value-TheoreticExpert System for Evaluating Clinical Trials. September 1990. 5 pages.

KSL 90-21 Gregory Cooper, Edward Herskovits, Determination of the Entropy of aBelief Network is NP-Hard. June 1991. 5 pages.

Edward Herskovits, Gregory Cooper, Kutato: An Entropy-Driven Systemfor Construction of Probabilistic Expert Systems from Databases.March 1990. 15pages.

KSL 90-22

72

KSL 90-23 Gregory Cooper, Michael

Shwe,

An Empirical Analysis of Likelihood-Weighting Simulation on a Large, Multiply Connected Belief Network,March 1990. 1 1 pages.

KSL 90-25 David A. Klein, Edward H.

Shortliffe,

Integrating Artificial Intelligence andDecision Theory to Forecast New Products. March 1990. 12 pages.

KSL 90-26 Eric J. Horvitz, John S. Breese, Ideal Partition of Resources forMetareasoning. March 1990. 13pages.

KSL 90-27 Breese, John

S.,

Horvitz, Eric J., Principles of Problem ReformulationUnder Uncertainty. September 1990. 13pages.

KSL 90-28 John S. Breese, Eric J. Horvitz, Reformulating and Solving BeliefNetworks Under Bounded Resources. March 1990. 19 pages.

KSL 90-29 Thierry Barsalou, Arthur M. Keller, Gio Wiederhold, Relational UpdatesThrough View Objects. March 1990. 15 pages.

KSL

KSL

90-30 David Heckerman, Probabilistic Similarity Networks. June 1990. 36 pages.

90-31 David Heckerman, Similarity Networks for the Construction of Multiple-Fault Belief Networks. June 1990. To appear in the Proceedings of the SixConference on Uncertainty in AI 1990. 8 pages.

KSL 90-32 Dan Geiger, David Heckerman, Separable and Transitive Graphoids. Toappearin Proceedings of the Sixth Conference on Uncertainty in AI, 1990. June1990. 8 pages.

KSL 90-33 Thomas R.

Gruber,

Model-based Explanation of Design Rationale. March1990. 6 pages.

KSL 90-34 Gregory F. Cooper, The Computational Complexity of ProbabilisticInference Using Bayesian Belief Networks. Published in ArtificialIntelligence42(2-3):393-405, March 1990. 13 pages.

KSL 90-35 J.L. Murdock and B. Hayes-Roth, Intelligent Monitoring and Control ofSemiconductor Manufacturing. April 1990. 18 pages.

KSL 90-36 R. Martin

Chavez,

Gregory F. Cooper, A Randomized ApproximationAlgorithm for Logic Sampling. May 1990. 5 pages.

KSL 90-38 Michael G. Walker, Automated Recognition of Brain Anatomy andPathology in MRI and CT Images. May 1990. 30 pages.

KSL 90-39 David Ash, Angel Vina, Adam

Seiver,

Barbara Hayes-Roth, Action-OrientedDiagnosis under Real-Time. June 1990. 8 pages.

Rattikorn Hewett and Barbara Hayes-Roth, Representing and ReasoningAbout Physical Systems Using Prime Models. May 1990. 19 pages.

KSL 90-40

KSL 90-41 Manu Thapar and Bruce Delagi, Cache Coherence for Large Scale SharedMemory Multiprocessors. To appear in Proceedings of the 1990 ACMSymposiumonParallelAlgorithmsandArchitectures. June 1990. 6 pages.

73

T. Barsalou, W. Sujansky, L. Herezenberg, G. Wiederhold, Management ofComplex Immunogenetics Information Using an Enhanced RelationalModel. June 1990. 36 pages.

KSL 90-42

KSL 90-43 Andy Bennett, FormlKA: A Form-Based User Interface ManagementSystem for Knowledge Acquisition. June 1990. 40 pages.

Walter Sujansky, Thierry Barsalou, Gio Wiederhold, Structural Semantics andComplex Objects for the Coupling of Relational Databases andKnowledge-Based Systems. July 1990. 9 pages.

KSL 90-44

KSL 90-45 (Working Paper) Thomas

Gruber,

Daniel Russel, Design Knowledge andDesign Rationale: A Framework for Representation, Capture, andUse. August 1990. 46 pages.

Edward Herskovits, A Hybrid Classifier for Automated RadiologicDiagnosis: Preliminary Results and Clinical Applications. Published inComputerMethods andPrograms inBiomedicine 32:45-52, 1990.

KSL 90-46

KSL 90-49 Rutledge,

G.W.,

Andersen,

S.K.,

Polaschek, J.X. Fagan, L.M., A BeliefNetwork Model for Interpretation of ICU Data. In Proceedings of theFourteenth AnnualSymposium ofComputer Applicationsin Medical

Care,

1990.

Gruber,

Thomas, Iwasaki, Yumi, How Things Work: Knowledge-basedModeling of Physical Devices. August 1990. 12 pages.

KSL 90-51

KSL 90-52 Iwasaki, Yumi, Reasoning with Multiple Abstraction Models. August1990. 14 pages.

KSL 90-53

Gruber,

Thomas, The Role of Standard Knowledge Representation forSharing Knowledge-Based Technology. August 1990. 13 pages.

Millis, David H., PSY/JD: An Advisory System for Legal Aspects ofDecision Making in the Psychiatric Emergency Room. To appear inSCAMC Proceedings, November 1990. August 1990. 8 pages.

KSL 90-54

KSL

KSL

90-55

Sherman,

Eric H., Evaluation of User Interfaces. December 1990. 17 pages.

90-56

Sherman,

Eric H., A User-Adaptable Interface to Predict Users' Needs.December 1990. 32pages

Iwasaki, Yumi, Doshi, Ketan, Equation Model Generation: Where doEquations Come From? August 1990. 6 pages.

KSL 90-57

KSL 90-58 Iwasaki, Yumi, An Integrated Scheme for Using First-Principle PhysicalKnowledge-Based Simulation. August 1990. 2 pages.

Iwasaki, Yumi, On the Relationship Between Model Abstraction andCausality. August 1990. 15 pages.

KSL 90-59

KSL 90-60

Simon,

Herbert A., Kalagnanam, Jayant, Iwasaki, Yumi, The MathematicalBases for Qualitative Reasoning. August 1990. 24 pages.

74

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

KSL

90-61 Boy, Guy,

Gruber,

Thomas, Intelligent Assistant Systems: Support forIntegrated Human-Machine Systems. Appears in AAAI-90 SpringSymposium on Knowledge-Based Human-Computer Communications. March1990. August 1990.

90-62

Gruber,

Thomas, The Development of Large, Shared Knowledge-Bases:Collaborative Activities at Stanford. August 1990. 49 pages.

90-63 Iwasaki, Yumi, Two Model Abstraction Techniques Based on TemporalGrain Size: Aggregationand Mixed Models. August 1990. 13 pages.

90-64 (Working Paper) Engelmore,

R.S.,

Tenenbaum, J.M., Toward theEngineer's Associate: A National Computational Infrastructure forEngineering. August 1990. 35 pages.

Nayak, P. Pandurang, Addanki, Sanjaya, Joskowicz, Leo, Modeling withContext Dependent Behaviors. September 1990. 14 pages.

90-65

90-66 Saraiya, Nakul P., Delagi, Bruce A., Nishimura, Sayuri, Simple/Care: AnInstrumented Simulator for Multiprocessor Architectures. September1990. 33 pages.

Wulfman, Clifford,

Rua, Monica, Lane, Christopher D.,

Shortliffe,

Edward H.,Fagan, Lawrence M., Graphical Access to Medical Expert Systems: V.Integration with Continuous-Speech Recognition. July 1991. 33 pages.

90-67

90-68 Blackford Middleton,Michael

Shwe,

David Heckerman,Max Henrion,Eric Horvitz,Harold Lehman, Gregory Cooper, Probabilistic diagnosis using aReformulation of the INTERNIST-1/QMR Knowledge Base. 11.Evaluation of diagnostic performance.

90-69 Isaacs, Ellen,

Wulfman,

Clifford E., Rohn, Janice A., Lane, Christopher D., Fagan,Lawrence M., Designing a Spoken Interface for Medical Expert Systems.November 1990. 32 pages.

90-70

Shiffman, S.,

Wu, A., Poon, A.,Lane,

C,

Middleton, 8., Miller, R., Masarie, F.,Cooper,

G., Shortliffe,

E., Fagan, L., Building a Speech Interface to aMedical Diagnostic System. Appears in lEEE Expert, pp. 41-50. February1991. 9 pages.

Brutlag, Douglas L., Galper, Adam R., Millis, David H., Knowledge-basedSimulation of DNA Metabolism: Prediction of Enzyme Action. October1990. 10pages.

90-71

90-72 Galper, Adam R., Millis, David H., Brutlag, Douglas L., Knowledge-basedSimulation of DNA Metabolism: Prediction of Action andEnvisionment of Pathways. October 1990. 38 pages.

Lin, Richard, Galper, Adam,

Schachter,

Ross, Abductive Inference UsingProbabilistic Networks: Randomized Search Techniques. November1990. 26 pages.

90-73

75

KSL 90-74 Galper, Adam R., Brutlag, Douglas L., Parallel Similarity Search andAlignment with the Dynamic Programming Method. October 1990. 20pages.

(Working Paper) Low, Chee Meng, Iwasaki, Yumi, Device ModelingEnvironment: An Interactive Environment for Modeling DeviceBehavior. December 1990. 85 pages.

KSL 90-77

KSL 90-78 (Thesis) Thierry Barsalou, View Objects for Relational Databases, Doctoraldissertation, June 1990.

KSL 90-79 (Thesis) David Heckerman, Probabilistic Similarity Networks, Doctoraldissertation, June 1990

(Thesis) Holly Jimison, A Representation for Gaining Insight intoClinical Decision Models,Doctoral dissertation, June 1990.

KSL 90-80

KSL 90-81 (Thesis) Eric Horvitz, Computation and Action Under BoundedResource,Doctoral dissertation,December 1990.

Nakul P. Saraiya and JamesP. Rice, The LAMINA Programming Model: AWorkedExample. January 1991. 38 pages.

KSL 90-82

Edward Feigenbaum, Robert Engelmore, Thomas

Gruber,

Yumi Iwasaki, LargeKnowledge Bases for Engineering: The How Things Work Project ofthe Stanford Knowledge Systems Laboratory. November 1990. 12 pages.

KSL 90-83

KSL 90-84 (Working Paper) Thomas

Gruber,

Daneel Pang, James Rice, Ontolingua: ALanguage to Support Shared Ontologies. November 1990. 15 pages.

Manu Thapar and Bruce Delagi, Simulation of Cache Coherence Protocolson an Instrumented Simulator. July 1991. 18 pages.

KSL 91-01

Gregory F. Cooper and Edward Herskovits, A Bayesian Method for theInduction of Probabilistic Networks from Data. January 1991. 41 pages.

KSL 91-02

KSL 91-04 David A. Klein, Martin Weber, Edward H.

Shortliffe,

A Framework forRefining Multiattribute Value Functions in Computer-Based DecisionAids. January 1991. 28 pages.

Mark A. Musen, Samson W. Tv, A Model of Skeletal-Plan Refinement toGenerate Task-Specific Knowledge-Acquisition Tools. August 1991. 38pages.

KSL 91-05

91-06 Chih-Chao Lam, Principal-Investigator-in-a-Box: The Executive. January1991. 58 pages.

KSL

James P. Rice, H. Penny Nii, and Edward A. Feigenbaum, Expert Systems onMultiprocessor Architectures: A Summary of Results, Observationsand Lessons Learned. January 1991. 34 pages.

KSL 91-07

KSL 91-08 Barbara Hayes-Roth, Anne

Collinot,

Scalability of Real-Time Reasoning inIntelligent Agents. January 1991. 14pages.

76

KSL 91-09 Geoffrey W. Rutledge, M.D., Dynamic Selection of Models Under TimeConstraints. February 1991. 8 pages.

KSL 91-10 Thomas R.

Gruber,

The Role of Common Ontology in Achieving

Sharable,

Reusable Knowledge Bases. Appears in Allen, J.A., Fikes, R.,and

Sandewall,

E. (Eds.), Principles ofKnowledgeRepresentationand Reasoning:Proceedings of the Second InternationalConference. San Mateo, CA: Morgan

Kaufmann,

1991. February 1991. 5 pages.

KSL 91-11 Rattikorn Hewett, Ice User Manual. February 1991. 32 pages.

KSL 91-12 Rattikorn Hewett, Model Aggregation on Model-Based Approach usingPrime Models - A Preliminary Report. February 1991. 10pages.

KSL 91-13 Rattikorn Hewett, Transferability of Model-Based Reasoning Using PrimeModels in a Reactor Core Cooling Diagnostic System. February 1991.19 pages.

KSL 91-14 Marc Linster and Mark A. Musen, Use of the KADS Knowledge-AcquisitionMethod to Model the ONCOCIN task of Cancer-ChemotherapyAdministration. February 1991. 22 pages.

KSL 91-15 David Heckerman, Eric Horvitz, Blackford Middleton, An ApproximateNonmyopic Computationfor Value of Information. May 1991. 9 pages.

KSL 91-16 P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki, Automated ModelSelection using Context-Dependent Behaviors. May 1991. 14pages.

KSL 91-17 Thomas R.

Gruber,

Interactive Acquisition of Justifications: Learning"Why" by Being Told "What." February 1991. 24 pages.

KSL 91-18 Johan van der Lei and Mark A. Musen, A Model for Critiquing Based onAutomated Medical Records. April 1991. 47 pages.

KSL 91-19 Yuval

Shahar,

Samson Tv, Mark Musen, Temporal-Abstraction Mechanismsin Management of Clinical Protocols. April 1991. 12 pages.

KSL 91-20 Brad Fair and Ross

Shachter,

Representation of Preferences in Decisionsupport Systems. April 1991. 18 pages.

KSL 91-21 R. Fruchter, Y. Iwasaki, and K. H. Law, Generating Qualitative Models forStructural Engineering Analysis and Design. April 1991. 10 pages.

KSL 91-22 Samson Tv, Yuval

Shahar,

John Dawes, James Winkles, Angel Puerta, MarkMusen, A Problem-Solving Model for Episodic Skeletal-PlanRefinement. April 1991. 20 pages.

KSL 91-23 Yuval

Shahar,

Samson Tv, Mark Musen, Knowledge Acquisition forTemporal-Abstraction Mechanisms. April 1991. 17 pages.

KSL 91-24 Angel Puerta, John Egar, Samson Tv, Mark Musen, A Multiple-MethodKnowledge-Acquisition Shell for the Automatic Generation ofKnowledge-Acquisition Tools. May 1991. 26 pages.

77

V

KSL 91-25 Maria A. Tovar, Geoffrey W. Rutledge, Leslie A. Lenert, The Design of a UserInterface for a Ventilator-ManagementAdvisor. August 1991.

KSL 91-26 Andrew R. Golding, Paul S. Rosenbloom, A Comparison of Anapron withSeven Other Name-Pronunciation Systems. April 1991.

H. Penny Nii, Knowledge Assisted Software Engineering (KASE): AnIntroduction and Status-June 1991. July 1991. 36 pages.

KSL 91-28

KSL 91-29 David A. Klein, Edward H.

Shortliffe,

A Framework for ExplainingDecision-Theoretic Advice. May 1991. 44 pages.

KSL 91-31 Michael Wolverton, Barbara Hayes-Roth, Proposal: Performing Inventionwith Analogies to "Far-Flung" Concepts. May 1991. 23 pages.

KSL 91-32 P. Pandurang Nayak, Validating Approximate Equilibrium Models. May1991. 12 pages.

KSL 91-33 Eric Horvitz and Geoffrey Rutledge, Time-Dependant Utility and ActionUnder Uncertainty. June 1990. 8 pages

KSL 91-34 Alon Levy, Exploiting (Ir)relevance to Guide Problem-solving. May1991. 20 pages.

KSL 91-35 Janet Murdock, Intelligent Control of Semiconductor Manufacture. May1991. 29 pages.

KSL 91-36 David A. Klein, Martin Weber, Edward H.

Shortliffe,

Computer-BasedExplanation of MultiattributeDecisions. June 1991. 13 pages.

KSL 91-37 Geoffrey Rutledge, George Thomsen, Brad Farr, Maria Tovar, Lewis

Sheiner,

Lawrence Fagan, VentPlan: A Ventilator-ManagementAdvisor. August1991.

KSL 91-39 H. Jacques

Suermondt,

Explanation of Probabilistic Inference in BayesianBelief Networks. June 1991. 27 pages

KSL 91-41 Edward H.

Shortliffe,

AI Meets Decision Science: Emerging Synergiesfor Decision Support. June 1991. 19 pages.

KSL 91-42 Barbara Hayes-Roth, Richard Washington, David Ash, Rattikorn Hewett, Anne

Collinot,

AngelVina, Adam

Seiver,

Guardian: A Prototype IntelligentAgentfor Intensive-Care Monitoring. June 1991. 23 pages.

KSL 91-43 AngelVina, David Ash, Barbara Hayes-Roth, Engineering Reactive Agents forReal-Time Control. June 1991. 28 pages.

KSL 91-44 David E. Heckerman, Eric J. Horvitz, Bharat N. Nathwani, Toward NormativeExpert Systems: The Pathfinder Project. July 1991. 53 pages.

KSL 91-45 B. Middleton, J. Kovack, M. Tovar, Cost-Effectiveness of a MedicalDecision-Support System: A Pilot Study. July 1991. 19 pages.

78

KSL 91-46 Paul Dagum, R. Martin

Chavez,

Approximating Probabilistic Inference inBayesian Belief Networks. July 1991. 29 pages.

KSL 91-47 Thomas

Gruber,

Catherine Baudin, John Boose, Jay Weber, Design RationaleCapture as Knowledge Acquisition: Tradeoffs in the Design onInteractive Tools. July 1991. 10 pages.

KSL 91-50 Edward H.

Shortliffe,

Medical Informatics and Clinical Decision Making:The Science and the Pragmatics. July 1991. 31 pages.

KSL 91-52 Tracy

Schwartz,

An Approach to Generating Explanations in a DeviceModelingSystem. August 1991. 31 pages.

KSL 91-53 Paul Dagum, Michael Luby, Approximation Probabilistic Inference inBayesian Networks is NP-Hard. August 1991. 8 pages.

KSL 91-54 Paul Dagum and Eric Horvitz, A Bayesian Analysis of RandomizedApproximationProcedures. September 1991. 10 pages.

KSL 91-55 Edward H.

Shortliffe,

Paul C. Tang, Don E. Detmer, Patient Records andComputers. September 1991. 8 pages.

KSL 91-56 David E. Heckerman, Edward H.

Shortliffe,

From Certainty Factors to BeliefNetworks. September 1991. 24 pages.

Angel Vina, Barbara Hayes-Roth, Knowledge-Based Real Time Control:The Use of Abstraction to Satisfy Deadlines. September 1991. 20 pages.

KSL 91-57

KSL 91-58 Jean-Charles Bonnet, Functional Representations: a Support for EnrichedReasoning Capabilities. October 1991. 13 pages.