Browse

ftp://ksl.stanford.edu (279)

	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/kr92-status-report.ps, 19920825 The DARPA Knowledge Sharing Effort: Progress Report Ramesh S. Patil USC Info. Sci. Inst. Marina del Rey, California Richard E. Fikes Stanford University Palo Alto, California Peter F. Patel-Schneider AT&T Bell Labs Murray Hill, New Jersey Don Mckay Paramax Systems Corp. Paoli, Pennsylvania Tim Finin
	ftp://ksl.stanford.edu/pub/knowledge-sharing/generic-kb/generic-kb.ps, 19930504 A Generic Knowledge-Base Access Protocol Peter D. Karp Artificial Intelligence Center SRI International 333 Ravenswood Ave. Menlo Park, CA 94025 pkarp@ai.sri.com Thomas Gruber, Fritz Mueller Knowledge Systems Laboratory Stanford University 701 Welch Rd, Bldg C Palo Alto, CA 94304 gruber@hpp.stanford.edu
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/dl-spec.ps, 19930709 Working Version (Draft): Description Logic Specification from the KRSS Effort Peter F. Patel-Schneider, co-chair Bill Swartout, co-chair 30 June 1993 1 Overview This is the KRSS group specification for description-logic-based KR systems. It describes the required behavior for compliant KR systems. This
	ftp://ksl.stanford.edu/pub/AIM-94/ICU-Data/ICU-plots.ps, 19931008 0.85 0.9 0.95 1 1.05 1.1 1.15 1.2 1.25 x 105 100 150 200 250 arterial heartrate (bpm) 0.85 0.9 0.95 1 1.05 1.1 1.15 1.2 1.25 x 105 100 150 200 250 ecg heartrate (bpm) 0.85 0.9 0.95 1 1.05 1.1 1.15 1.2 1.25 x 105 20 40 60 80 100 120 arterial pressure (mean) (mm Hg) 0.85 0.9 0.95 1 1.05 1.1 1.15 1.2 1.25
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/dr-paper-92-59.ps, 19931104 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory December 1991 Technical Report KSL 92-59 Updated February 1993 Generative Design Rationale: Beyond the Record and Replay Paradigm by Thomas R. Gruber Daniel M. Russell To
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-85.ps, 19931130 Machine-generated Explanations of Engineering Models: A Compositional Modeling Approach Thomas R. Gruber and Patrice O. Gautier Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 gruber@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/AIM-94/perm-to-distribute.ps, 19931208 AAAI PRESS Technical Reports Series American Association for Artificial Intelligence 445 Burgess Drive Menlo Park, California 94025-3496 Nonexclusive Permission to Distribute Title of Paper: Author Name(s): Technical Report Title: Symposium Organizer(s): 1. The undersigned, desiring to have the above
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-03.ps, 19931220 Queries Independent of Updates Alon Y. Levy Department of Computer Science Stanford University Stanford, California, 94305 levy@cs.stanford.edu Yehoshua Sagivy Department of Computer Science Hebrew University Jerusalem, Israel sagiv@cs.huji.ac.il
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-15.ps, 19931220 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions Extended Abstract Alon Y. Levy Stanford University levy@cs.stanford.edu Inderpal Singh Mumick AT&T Bell Laboratories mumick@research.att.com Yehoshua Sagivy Hebrew University sagiv@cs.huji.ac.il Oded Shmueliz Technion\|Israel
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-05.ps, 19931220 Exploiting Irrelevance Reasoning to Guide Problem Solving Alon Y. Levy Dept. of Computer Science Stanford University Stanford, California 94305 (levy@cs.stanford.edu) Yehoshua Sagiv Dept. of Computer Science Hebrew University Jerusalem, Israel (sagiv@cs.huji.ac.il)
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-44.ps, 19931220 Task Modeling with Reusable Problem-Solving Methods Henrik Eriksson Yuval Shahar Samson W. Tu Angel R. Puerta Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of Medicine Stanford, CA 94305-5479, U.S.A. June 4, 1992
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-40.ps, 19931220 Plug-and-Play: Construction of Task-Specific Expert-System Shells Using Sharable Context Ontologies Eckart Walther, Henrik Eriksson, and Mark A. Musen Medical Computer Science Group, Knowledge Systems Laboratory Stanford University Stanford, California 94305-5479 email: fwalther, eriksson,
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/ontological-level.ps, 19940102 revised version - January 2, 1994 _________________________ Invited paper presented at the 16th Wittgenstein Symposium, Kirchberg, Austria, August 1993. To appear in R. Casati, B. Smith and G. White (eds.), Philosophy and the Cognitive Sciences, Vienna: H lder-PichlerTempsky, 1994. The Ontological Level
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-62.ps, 19940111 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory August 1990 Technical Report KSL 90-62 The Development of Large, Shared Knowledge-Bases: Collaborative Activities at Stanford by Thomas R. Gruber A collection of papers
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-83.ps, 19940111 KSL 90-83 Large Knowledge Bases for Engineering: The How Things Work Project of the Stanford Knowledge Systems Laboratory Edward Feigenbaum Robert Engelmore Thomas Gruber Yumi Iwasaki Stanford University Knowledge Systems Laboratory 701 Welch Road, Bldg. C Palo Alto, California, USA 94305 November 1990
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-61.ps, 19940111 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory February 1990 Technical Report KSL 90-61 Intelligent Assistant Systems: Support for Integrated Human-Machine Systems by Guy Boy and Thomas R. Gruber Appeared in the
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-64.ps, 19940111 Knowledge Systems Laboratory September 1990 Report No. KSL 90-64 Toward the Engineer's Associate: A National Computational Infrastructure for Engineering A Proposed Initiative by R. S. Engelmore J. M. Tenenbaum KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-51.ps, 19940111 How Things Work: Knowledge-based Modeling of Physical Devices Thomas Gruber and Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 Background The science and technology of Artificial Intelligence is about 35 years old. During its first decade,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-45.ps, 19940111 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory August 8, 1991 Technical Report KSL 90-45 Design Knowledge and Design Rationale: A Framework for Representation, Capture, and Use by Thomas R. Gruber and Daniel M. Russell
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-89-87.ps, 19940111 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory November 1989 Technical Report KSL 89-87 The Use of Formally-Represented Engineering Knowledge to Support Human Communication and Memory by Thomas R. Gruber Presented at
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-53.ps, 19940111 1 Knowledge Systems Laboratory August 1990 Report No. KSL 90-53 The Role of Standard Knowledge Representation for Sharing Knowledge-Based Technology1 by Thomas Gruber KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 1Presented at the
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-66.ps, 19940112 Speeding Up Inferences in Large Knowledge Bases Alon Y. Levy AT&T Bell Laboratories 600 Mountain Ave., Room 2C-406, Murray Hill, NJ, 07974 levy@research.att.com Richard E. Fikes KSL, Stanford University 701 Welch Road, Bldg. C Palo Alto, California 94304 (fikes@cs.stanford.edu) Yehoshua Sagiv Dept. of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-46.ps, 19940113 Relevance Reasoning to Guide Compositional Modeling Alon Y. Levy and Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C, Palo Alto, CA 94304 Hiroshi Motoda Advanced Research Laboratory Hitachi, Ltd. Hatoyama, Saitama 350-03, Japan
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-26.ps, 19940113 Constraints and Redundancy in Datalog Alon Levy Dept. of Computer Science Stanford University Stanford, CA 94305 (alevy@cs.stanford.edu) Yehoshua Sagivy Dept. of Computer Science Hebrew University Jerusalem, Israel (sagiv@cs.huji.ac.il)
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-41.ps, 19940113 Knowledge Systems Laboratory April 1992 Report No. KSL 92-41 A Personal View of Expert Systems: Looking Back and Looking Ahead by Edward A. Feigenbaum KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 2 A Personal View of Expert Systems: Looking
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-77.ps, 19940113 1. Introduction..................................................................................................................1 1.1 Simulation.......................................................................................................1 1.2 Qualitative
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-52.ps, 19940113 1. Introduction .....................................................................................2 2. Model-based reasoning about device behavior..............................................2 3. Difficulty with reasoning with multiple models.............................................4 3.1
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-78.ps, 19940113 Toward a Knowledge Medium for Collaborative Product Development Thomas R. Gruber Stanford Knowledge Systems Laboratory 701 Welch Road, Building C Palo Alto, CA 94304 gruber@sumex-aim.stanford.edu Jay M. Tenenbaum EIT, Incorporated 459 Hamilton Ave, Suite #100 Palo Alto, CA 94301 jmt@eitech.com Jay C.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-10.ps, 19940113 The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases Thomas R. Gruber Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 gruber@sumex-aim.stanford.edu January 31,1991
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/kqml-overview.ps, 19940113 KQML Overview An Overview of KQML: A Knowledge Query and Manipulation Language KQML Advisory Group with major contributions from Tim Finin Don McKay Rich Fritzson March 2, 1992
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-59.ps, 19940113 1 On the Relationship between Model Abstraction and Causality: Variance of Causal Ordering under Abstraction Operations Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Rd., Palo Alto, CA 94304, USA Appeared in the Proceedings of the Pacific Rim International Conference on
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-24.ps, 19940114 An Extended SQL for Temporal Data Management in Clinical Decision-Support Systems Amar K. Das, Samson W. Tu, Gretchen P. Purcell, Mark A. Musen Section on Medical Informatics Stanford University School of Medicine Stanford, California 94305-5479
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-12.ps, 19940114 Qualitative Structural Analysis Using Diagrammatic Reasoning Shirley Tessler, Yumi Iwasaki and Kincho Law** Knowledge Systems Laboratory *Civil Engineering Department Stanford University Stanford University 701 Welch Road, Bldg C Terman Engineering Center Stanford, California 94305 Stanford,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-70.ps, 19940114 1 How Things Work Stanford University How Things Work -- Project Overview -- 1 Introduction....................................................................................2 1.1 The Problem ............................................................................2 1.2 Research
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-69.ps, 19940114 Knowledge Systems Laboratory November 1991 Report No. KSL 91-69 Model Generation and Simulation of Device Behavior with Continuous and Discrete Changes by Yumi Iwasaki Chee Meng Low KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 1.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-71.ps, 19940114 1 Knowledge Sharing Technology Stanford University Knowledge Sharing Technology -- Project Overview -- 1. Introduction....................................................................................2 1.1. The Problem ............................................................................2 1.2.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-63.ps, 19940114 Knowledge Systems Laboratory October 1993 Report No. KSL 93-63 Applications of Artificial Intelligence to Semiconductor Modeling by John L. Mohammed and Paul Losleben KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 This research was supported
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/meta-level-categories.ps, 19940116 1 An Ontology of Meta-Level Categories Nicola Guarino, Massimiliano Carrara, and Pierdaniele Giaretta LADSEB-CNR Int. Rep. 6/93 Substantially revised version - January 16, 1994
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-67.ps, 19940118 The Role of Reversible Grammars in Translating Between Representation Languages Jeffrey Van Baalen Computer Science Department P.O.Box 3682 University of Wyoming Laramie, WY 82071 Richard E. Fikes Knowledge Systems Laboratory Stanford University 701 Welch Rd., Bldg. C, Stanford, CA 94304 Topic Area:
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-38.ps, 19940118 CFRL: A Language for Specifying the Causal Functionality of Engineered Devices Marcos Vescovi Yumi Iwasaki Richard Fikes B. Chandrasekaran Knowledge Systems Laboratory Laboratory for AI Research Stanford University The Ohio State University 701 Welch Road, Bldg C 217 B, Bolz Hall, 2036 Neil Avenue Palo
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-39.ps, 19940118 How Things Are Intended to Work: Capturing Functional Knowledge in Device Design Yumi Iwasaki Richard Fikes Marcos Vescovi B. Chandrasekaran Knowledge Systems Laboratory Laboratory for AI Research Stanford University The Ohio State University 701 Welch Road, Bldg C 217 B, Bolz Hall, 2036 Neil Avenue
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-59.ps, 19940118 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory December 1991 Technical Report KSL 92-59 Updated February 1993 Generative Design Rationale: Beyond the Record and Replay Paradigm by Thomas R. Gruber Daniel M. Russell To
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-57.ps, 19940118 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory June 1992 Technical Report KSL 92-57 Model Formulation as a Problem Solving Task: Computer-assisted Engineering Modeling by Thomas R. Gruber To appear in special issue on
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-65.ps, 19940127 Automated Model Selection using Context-Dependent Behaviors P. Pandurang Nayak Knowledge Systems Lab., 701 Welch Road, Bldg. C, Palo Alto, CA 94304. Leo Joskowicz IBM, Watson Res. Ctr., P.O. Box 704, Yorktown Heights, NY 10598. Sanjaya Addanki IBM, Watson Res. Ctr., P.O. Box 704, Yorktown Heights, NY
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-29.ps, 19940127 Order of Magnitude Reasoning using Logarithms P. Pandurang Nayak AI Research Branch, Mail Stop 269-2 NASA Ames Research Center Moffett Field, CA 94035. nayak@ptolemy.arc.nasa.gov
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-31.ps, 19940127 Causal Approximations P. Pandurang Nayak Knowledge Systems Laboratory, Stanford University, 701 Welch Road, Bldg. C, Palo Alto, CA 94304. nayak@cs.stanford.edu
	ftp://ksl.stanford.edu/pub/CML/cml.ps, 19940131 CML: A Compositional Modeling Language This is a draft of a document in preparation and describes work in progress by the authors. Brian Falkenhainer Adam Farquhar Daniel Bobrow Richard Fikes Ken Forbus Tom Gruber Yumi Iwasaki Ben Kuipers January 31, 1994 January 31, 1994 D R A F T i Contents 1
	ftp://ksl.stanford.edu/pub/rich.ps, 19940203 Contents 1 Introduction 1 1.1 What is real time : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 Existing work : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.3 Contributions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 1.4 A
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-47.ps, 19940208 Acquiring (Ir)relevance Knowledge for Problem Solving Alon Levy and Hiroshi Motoda Advanced Research Laboratory Hitachi, Ltd. Hatoyama, Saitama 350-03, Japan Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C, Palo Alto, CA 94304.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-23.ps, 19940208 The DARPA Knowledge Sharing Effort: Progress Report Ramesh S. Patil USC Info. Sci. Inst. Marina del Rey, California Richard E. Fikes Stanford University Palo Alto, California Peter F. Patel-Schneider AT&T Bell Labs Murray Hill, New Jersey Don Mckay Paramax Systems Corp. Paoli, Pennsylvania Tim Finin
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-54.ps, 19940208 Knowledge Systems Laboratory June 1992 Report No. KSL 92-54 Towards a formal representation of device functionality by Jean-Charles BONNET KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Towards a formal representation of device functionality
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-11.ps, 19940216 Automated Model Selection for Simulation Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C Palo Alto, California, 94304 Email: iwasaki@cs.stanford.edu Alon Y. Levy AT&T Bell Laboratories 600 Mountain Ave., Room 2C-406 Murray Hill, NJ 07974 Email: levy@research.att.com
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-10.ps, 19940217 A Causal Functional Representation Language With Behavior-Based Semantics Yumi Iwasaki, Marcos Vescovi, Richard Fikes Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C, Palo Alto, CA 94304 B. Chandrasekaran Laboratory for AI Research Dept. of Computer Information Science The Ohio
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-79.ps, 19940218 Expert Systems: Principles and Practice* Edward A. Feigenbaum Professor of Computer Science Stanford University Most applications of the Artificial Intelligence (AI) science and technology are of a type called Expert Systems. An Expert System (ES) is a computer program that reasons using knowledge to
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-13.ps, 19940308 Knowledge Systems Laboratory Report No. KSL 94-13 February 1994 A probabilistic ATMS by Sampath Srinivas srinivas@ksl.stanford.edu KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, CA 94305
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-15.ps, 19940308 Knowledge Systems Laboratory Report No. KSL 94-15 February 1994 Building diagnostic models from functional schematics by Sampath Srinivas srinivas@ksl.stanford.edu KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, CA 94305
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/shade-cera.ps, 19940308 SHADE: Technology for Knowledge-Based Collaborative Engineering James G. McGuire Daniel R. Kuokka Lockheed Palo Alto Research Laboratories 3251 Hanover Street, O/96-20 B/254F Palo Alto, Ca. 94304-1191 USA kuokka@aic.lockheed.com, mcguire@aic.lockheed.com Jay C. Weber Jay M. Tenenbaum Enterprise
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-14.ps, 19940308 Knowledge Systems Laboratory Report No. KSL 94-14 February 1994 A probabilistic approach to hierarchical model-based diagnosis by Sampath Srinivas srinivas@ksl.stanford.edu KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, CA 94305
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-22.ps, 19940315 A Problem-Solving Model for Episodic Skeletal-Plan Refinement Samson Tu, Yuval Shahar, John Dawes, James Winkles, Angel Puerta, Mark Musen Medical Computer Science Group Knowledge Systems Laboratory Departments of Medicine and Computer Science Stanford University School of Medicine Stanford, CA
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps, 19940322 To appear in Jon Doyle, Piero Torasso, & Erik Sandewall, Eds., Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany, Morgan Kaufmann, 1994. Available as Stanford Knowledge Systems Laboratory technical report KSL-94-18. An
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-06.ps, 19940324 Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering Patrice O. Gautier and Thomas R. Gruber Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 gautier@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-23.ps, 19940517 Knowledge Systems Laboratory May 1994 Report No. KSL 94-23 Embedded Planning by Philippe Morignot A reduced version of this paper will appear in: Proceedings of the Second International Conference on A.I. Planning Systems (AIPS'94), Chicago, IL, June 1994. KNOWLEDGE SYSTEMS LABORATORY Department of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-25.ps, 19940517 Knowledge Systems Laboratory April 1994 Report No. KSL 94-25 Planning from First Principles for Geometric Constraint Satisfaction by Sanjay Bhansali Glenn A. Kramer KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Planning from First Principles
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-41.ps, 19940519 Sigmoidal Theory John Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-40.ps, 19940519 Probabilities, Possibilities, and Fuzzy Sets John Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 January 24, 1994
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-09.ps, 19940519 Numerical Interval Simulation: Bounding Behaviors of Non-Monotonic Systems* Marcos Vescovi, Adam Farquhar, and Yumi Iwasaki Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. #C CA 94304 Palo Alto vescovi, axf, iwasaki@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-79.ps, 19940607 Back to the Future: Forward versus backward search for real-time planning Richard Washington Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg C Palo Alto, California 94304 email: rw@cs.stanford.edu phone: (415) 725-3859
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-80.ps, 19940607 Practical Real-Time Planning Richard Washington and Barbara Hayes-Roth Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, California 94304 email: rw@cs.stanford.edu,bhr@hpp.stanford.edu phone: (415) 725-3859
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-22.ps, 19940623 1 Ontology-Based Configuration of Problem-Solving Methods and Generation of Knowledge-Acquisition Tools: Application of PROT G -II to Protocol-Based Decision Support Samson W. Tu*, Henrik Eriksson, John Gennari, Yuval Shahar, Mark A. Musen Section on Medical Informatics Stanford University School of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-73.ps, 19940624 Knowledge Systems Laboratory December 1991 Report No. KSL 91-73 (updated March 1992) KASE: An Integrated Environment for Software Design by Sanjay Bhansali H. Penny Nii Appears in Proc. of 2nd International Conference on AI in Design 1992. KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-39.ps, 19940624 1 The Proceedings of the AAAI Spring Symposium on Artificial Intelligence in Medicine, Stanford, CA, March 1992 Protocol-Based Therapy Management for Graft-Versus-Host Disease Samson Tu, Yuval Shahar, Mark Musen Section on Medical Informatics Stanford University School of Medicine Stanford, CA
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-78.ps, 19940624 A Methodology for Determining Patients Eligibility for Clinical Trials S. W. Tu1, C. A. Kemper2,4,5, N. M. Lane1, R. W. Carlson3, M. A. Musen1 1Section on Medical Informatics, 2Division of Infectious Diseases and Geographic Medicine, 3Division of Oncology, Department of Medicine, Stanford University
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-22.ps, 19940624 1 A Problem-Solving Architecture for Managing Temporal Data and their Abstractions Yuval Shahar, Samson W. Tu, Amar K. Das, Mark A. Musen Section on Medical Informatics Stanford University School of Medicine Stanford, CA 94305-5479 1. Introduction Representing and reasoning about temporal information
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-87-70.ps, 19940624 Episodic Monitoring of Time-Oriented Data for Heuristic Skeletal- Plan Refinement Samson W. Tu, Michael G. Kahn,* Mark A. Musen, Jay C. Ferguson,** Edward H. Shortliffe, Lawrence M. Fagan Medical Computer Science Group Knowledge Systems Laboratory Departments of Medicine and Computer Science Stanford
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-33.ps, 19940624 Knowledge Systems Laboratory April 1992 Report No. KSL 92-33 Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications by Frederick Hayes-Roth Lee D. Erman Allan Terry Barbara Hayes-Roth Submitted to SEKE 92: Fourth International Conference on Software
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-82.ps, 19940624 Doctors, Patients, and Computers: Will Information Technology Dehumanize Health-Care Delivery * Edward H. Shortliffe, MD, PhD Professor of Medicine and of Computer Science Section on Medical Informatics Stanford University School of Medicine 300 Pasteur Drive Stanford, CA 94305-5479 Presented at the
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-76.ps, 19940624 The Adolescence of AI in Medicine: Will the Field Come of Age in the '90s * Edward H. Shortliffe, MD, PhD Section on Medical Informatics Stanford University School of Medicine 300 Pasteur Drive Stanford, CA 94305-5479 USA To appear in a Special Issue (April 1993) of the Journal Artificial Intelligence
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-27.ps, 19940624 1 Knowledge Systems Laboratory May 1994 Report No. KSL 94-27 Deadline Management in Intelligent Agents by Philippe Lalanda Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 2
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-55.ps, 19940624 Patient Records and Computers An Editorial Submitted to the Annals of Internal Medicine October 1991 Edward H. Shortliffe, MD, PhD, FACP* Paul C. Tang, MD Stanford University Stanford, California Don E. Detmer, MD University of Virginia Charlottesville, Virginia * Address for Correspondence: Section on
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-20.ps, 19940624 Augmented Transition Networks as a Representation for Knowledge-Based History-Taking Systems Alex Poon, B.S., Kevin Johnson, M.D., Lawrence Fagan, M.D., Ph.D. Section on Medical Informatics Stanford University School of Medicine Medical School Office Building (MSOB X215) Stanford, CA 94305-5479
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-49.ps, 19940624 Knowledge Systems Laboratory July 1993 Report No. KSL 93-49 A User Guide to Language Frameworks by William R. Murray KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 This research was supported by DARPA grant NAG 2-581-7 and by Cimflex
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-38.ps, 19940624 Knowledge Systems Laboratory April 1992 Report No. KSL 92-38 Revised: July 1992 Software Design by Reusing Architectures by Sanjay Bhansali H. Penny Nii KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Software Design by Reusing Architectures
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-52.ps, 19940624 -1- Health Care Professional Workstations: Where Are We Now ... Where Should We Be Tomorrow 1 Edward H. Shortliffe, MD, PhD Professor of Medicine and of Computer Science Section on Medical Informatics Stanford University School of Medicine 300 Pasteur Drive Stanford, CA 94305-5479 ehs@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/johnson.ps, 19940626 Investigations Into Database Management System Support For Expert System Shells Verlyn M Johnson Summary - PhD Thesis University of Minnesota January 1993 Preface This summary contains the Abstract, Introduction, and References sections from the thesis. The complete thesis is available from: UMI
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/cml/cml.ps, 19940626 Compositional Modeling Language * DRAFT * July 8, 1993 July 8, 1993 D R A F T i Contents 1 Introduction 1 2 Patterns of Use 2 3 Preliminaries 3 4 General Semantics 4 4.1 Relations, functions, classes and individuals : : : : : : : : : : 4 4.2 Physical Quantities : : : : : : : : : : : : : : : : : : :
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/kif.ps, 19940626 Logic Group First Draft January 1992 Report Logic-92-1 Current Version June 1992 Knowledge Interchange Format Version 3.0 Reference Manual by Michael R. Genesereth Richard E. Fikes in collaboration with Daniel Bobrow Ronald Brachman Thomas Gruber Patrick Hayes Reed Letsinger Vladimir Lifschitz Robert
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/kqml-spec.ps, 19940626 DRAFT Specification of the KQML Agent-Communication Language plus example agent policies and architectures The DARPA Knowledge Sharing Initiative External Interfaces Working Group Tim Finin (co-chair) University of Maryland Jay Weber (co-chair) Enterprise Integration Technologies Gio Wiederhold (former
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/redux-prime.ps, 19940626 The Redux0 Server Charles Petrie MCC Enterprise Integration Division 3500 West Balcones Center Drive Austin, TX 78759 petrie@mcc.com
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/ps-method-papers/studer.ps, 19940626 (Stockholm, Sweden, May 9-11), 1989. 26. Lloyd, J.W., Foundations of Logic Programming, 2nd edition. Springer, Berlin, 1987. 27. Newell, A., The knowledge level. In Artificial Intelligence 18, 1982, 87-127. 28. Przymusinski, T.C., On the declarative semantics of deductive databases and logic programs.
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/pact.ps, 19940626 PACT: An Experiment in Integrating Concurrent Engineering Systems Mark R. Cutkosky, Robert S. Engelmore, Richard E. Fikes, Michael R. Genesereth, Thomas R. Gruber, Stanford University William Mark, Lockheed Palo Alto Research Labs Jay M. Tenenbaum, Jay C. Weber, Enterprise Integration Technologies
	ftp://ksl.stanford.edu/pub/KSL_Reports/IEEE-Expert-paper.ps, 19940628 Intelligent Monitoring and Control of Semiconductor Manufacturing Equipment J.L. Murdock and B. Hayes-Roth Knowledge Systems Laboratory, Stanford University 701 Welch Road, Bldg. C Palo Alto, CA 94304 murdock@hpp.Stanford.EDU bhr@hpp.Stanford.EDU December, 1991
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-75.ps, 19940629 FPR : A Fuzzy Pattern Recognizer Based on Sigmoidals K John Drakopoulos nowledge Systems Laboratory Stanford University. October 13, 1991. F
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-11.ps, 19940630 1 The Design and Implementation of a Ventilator-Management Advisor by Geoffrey W. Rutledge, George E. Thomsen, Brad R. Farr, Maria A. Tovar, Jeanette X. Polaschek, Ingo A. Beinlich, Lewis B. Sheiner* and Lawrence M. Fagan Section on Medical Informatics, Medical School Office Building, Room X-215,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-34.ps, 19940630 Dynamic Selection of Models for a Ventilator-Management Advisor Geoffrey W. Rutledge, M.D. Section on Medical Informatics, Department of Medicine Stanford University, Stanford, California 94305-5479 rutledge@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-55.ps, 19940701 A Multimedia Preference-Assessment Tool for Functional Outcomes Mary Kane Goldstein, M.D., David Michelson, B.A., Ann E. Clarke, Leslie A. Lenert, M.D. Department of Medicine, Stanford University
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-28.ps, 19940701 A Survey of Patient Access to Electronic Mail: Attitudes, Barriers, and Opportunities Douglas B. Fridsma MD1, Paul Ford MD2, Russ Altman MD PhD1 1Section on Medical Informatics, Stanford University School of Medicine MSOB X-2105, Stanford, CA 94305-5479 2Department of Medicine, Stanford University
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-35.ps, 19940705 Probabilistic Constraint Satisfaction: Application to Radiosurgery Russ B. Altman, MD, PhD and Rhea Tombropoulos, Section on Medical Informatics Stanford University Medical Center, MSOB X-215, Stanford, CA 94305-5479 altman@camis.stanford.edu, rzt@camis.stanford.edu (415) 723-6979, fax: (415) 725-7944
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-06.ps, 19940705 Altman et al 1 Compositional characteristics of disordered regions in proteins Russ B. Altman* , Christopher Hughes, Oleg Jardetzky Section on Medical Informatics Stanford University Medical Center, MSOB-X215 Stanford, CA 94305-5479 altman@camis.stanford.edu chughes@camis.stanford.edu (415) 723-6979
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-16.ps, 19940705 1 Probabilistic Structure Calculations: A Three-Dimensional tRNA Structure from Sequence Correlation Data Russ B. Altman, MD, PhD Section on Medical Informatics Stanford University, MSOB X215 Stanford, CA 94305-5479 altman@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-33.ps, 19940705 Probabilistic Constraint Satisfaction with Structural Models: Application to Organ Modeling by Radial Contours Russ B. Altman, MD, PhD Section on Medical Informatics Stanford University altman@camis.stanford.edu James F. Brinkley, MD, PhD Department of Biological Structure University of Washington
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-12.ps, 19940705 Altman 1 A Probabilistic Algorithm for Calculating Structure: Borrowing from Simulated Annealing Russ B. Altman, M.D., Ph.D. Section on Medical Informatics, MSOB X215 Stanford University Medical Center Stanford, CA 94305 altman@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-04.ps, 19940706 In Formal Ontology in Conceptual Analysis and Knowledge Representation, edited by Nicola Guarino and Roberto Poli, Kluwer Academic Publishers, in press. Substantial revision of paper presented at the International Workshop on Formal Ontology, March, 1993, Padova, Italy. Available as Technical Report KSL
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-89-80.ps, 19940706 1...Introduction 1 1.1. . Related work 2 1.2. . Organization of the paper 3 2...Causal Ordering in Equilibrium Structures 4 2.1. . Example of causal ordering in an equilibrium structure 5 2.2. . Minimal complete subsets with multiple variables 8 2.3. . Equilibrium model of a bathtub 8 2.4 Qualitative
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-33.ps, 19940707 Extraction of SNOMED Concepts from Medical Record Texts Diane E. Oliver, MD and Russ B. Altman, MD, PhD Section on Medical Informatics Stanford University School of Medicine Stanford, CA 94305 oliver@camis.stanford.edu, altman@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-57.ps, 19940707 1 Mapping Domains to Methods in Support of Reuse John H. Gennari, Samson W. Tu, Thomas E. Rothenfluh, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of Medicine Stanford, CA 94305-5479, U.S.A
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-58.ps, 19940712 IRRELEVANCE REASONING IN KNOWLEDGE BASED SYSTEMS a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of philosophy By Alon Yitzchak Levy October 1993 c Copyright
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-35.ps, 19940713 Architecture-driven Reuse of Code in KASE Sanjay Bhansali Knowledge Systems Laboratory Computer Science Department, Stanford University 701 Welch Road, Building C Palo Alto, CA 94304 bhansali@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-06.ps, 19940713 Process Programming by Hindsight Pankaj K. Garg Hewlett-Packard Labs 1501 Page Mill Road P. O. Box 10490 Palo Alto, CA 94303-0969 garg@hplabs.hp.com (415)857-4709 Sanjay Bhansali Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg., C Palo Alto, CA 94304 bhansali@sumex-aim.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-31.ps, 19940713 Proposal: Performing Invention with Analogies to Far-Flung" Concepts Michael Wolverton and Barbara Hayes-Roth
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-32.ps, 19940713 Validating Approximate Equilibrium Models P. Pandurang Nayak Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. C, Palo Alto, CA 94304 nayak@cs.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-50.ps, 19940713 Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools Henrik Eriksson Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of Medicine Stanford, California 94305-5479 U.S.A.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-56.ps, 19940713 Generation of Knowledge-Acquisition Tools from Domain Ontologies Henrik Eriksson Angel R. Puerta Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of Medicine Stanford, California 94305-5479, U.S.A.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-43.ps, 19940713 Task Modeling with Reusable Problem-Solving Methods Henrik Eriksson Yuval Shahar Samson W. Tu Angel R. Puerta Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of Medicine Stanford, California 94305-5479, U.S.A. June 1, 1994
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-90-68.ps, 19940713 Probabilistic Diagnosis Using a Reformulation of the INTERNIST-1/QMR Knowledge Base II. Evaluation of Diagnostic Performance Blackford Middleton, M.P.H., M.D., M.S. Michael Shwe, M.S. David Heckerman, Ph.D. Max Henrion, Ph.D. Eric Horvitz, Ph.D. Harold Lehmann, M.D. Gregory Cooper, M.D., Ph.D.* Section
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-60.ps, 19940713 1 Software Synthesis using Generic Architectures Sanjay Bhansali School of Electrical Engineering and Computer Science* Washington State University Pullman, WA 99164-2752
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-16.ps, 19940713 Automated Model Selection using Context-Dependent Behaviors P. Pandurang Nayak Knowledge Systems Lab., 701 Welch Road, Bldg. C, Palo Alto, CA 94304. Leo Joskowicz IBM, Watson Res. Ctr., P.O. Box 704, Yorktown Heights, NY 10598. Sanjaya Addanki IBM, Watson Res. Ctr., P.O. Box 704, Yorktown Heights, NY
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-24.ps, 19940714 A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance* David Ash Barbara Hayes-Roth KSL / Stanford University 701 Welch Rd. Bldg. C Palo Alto, CA 94304-1709 ash@sumex-aim.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-31.ps, 19940714 AIDS2: A Decision-Support Tool for Decreasing Physicians Uncertainty Regarding Patient Eligibility for HIV Treatment Protocols Lucila Ohno-Machado,a Eduardo Parra,b Suzanne B. Henry,c Samson W. Tu,a and Mark A. Musena aSection on Medical Informatics, Stanford University School of Medicine bDepartment of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-30.ps, 19940715 PEN-Ivory: The Design and Evaluation of a Pen-Based Computer System for Structured Data Entry Alex D. Poon and Lawrence M. Fagan Section on Medical Informatics Stanford University School of Medicine Medical School Office Building (MSOB X215) Stanford, CA 94305-5479 poon@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-02.ps, 19940715 Synthesis of UNIX Programs using Derivational Analogy Sanjay Bhansali Knowledge System Laboratory Stanford University 701 Welch Road, Palo Alto, CA 94304 Mehdi T. Harandi Department of Computer Science University of Illinois at Urbana-Champaign 1304 W. Springfield Avenue, Urbana, IL 61801 Email:
	ftp://ksl.stanford.edu/pub/KSL_Reports/ksl-93-09.ps, 19940725 A Control Architecture for Intelligent Mobile Robots Serdar Uckun Barbara Hayes-Roth Knowledge Systems Laboratory, Stanford University 701 Welch Road Bldg. C, Palo Alto, CA 94304 uckun, bhr @HPP.Stanford.EDU
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-49.ps, 19940727 Knowledge Systems Laboratory June 1994 Report No. KSL 94-49 Instantiating and Monitoring Skeletal Treatment Plans by Serdar Uckun Submitted to Methods of Information in Medicine KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 This research was
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-19.ps, 19940727 Knowledge Systems Laboratory July 1994 Report No. KSL 94-19 Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation by Michael Wolverton and Barbara Hayes-Roth appears in Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), Seattle, WA,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-09.ps, 19940727 A Control Architecture for Intelligent Mobile Robots Serdar Uckun Barbara Hayes-Roth Knowledge Systems Laboratory, Stanford University 701 Welch Road Bldg. C, Palo Alto, CA 94304 uckun, bhr @HPP.Stanford.EDU
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-89-63.ps, 19940729 1 Architectural Foundations for Real-Time Performance in Intelligent Agents Barbara Hayes-Roth Knowledge Systems Laboratory Computer Science Department Stanford University Real-Time Systems, May, 1990 This research was supported by DARPA contract N00039-83-C-0136, NIH contract 5P41-RR-00785, EPRI
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-42.ps, 19940729 Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring* Barbara Hayes-Roth, Richard Washington, David Ash Stanford University Rattikorn Hewett Florida Atlantic University Anne Collinot Unversite Paris VI - Tour 45-4 Angel Vina Ciudad Universitaria de Madrid Adam Seiver Palo Alto Veterans
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-17.ps, 19940729 A Satisficing Cycle for Real-Time Reasoning in Intelligent Agents1 Expert Systems with Applications, 1993. Barbara Hayes-Roth Knowledge Systems Laboratory Stanford University 701 Welch Road, Building A Palo Alto, CA 94304 U.S.A. and Anne Collinot2 LAFORIA Unversite Paris VI - Tour 45-4 4, Place Jussieu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-68.ps, 19940729 Intelligent Control Barbara Hayes-Roth Knowledge Systems Laboratory Department of Computer Science Stanford University Stanford, CA 94305 1. The Key Ideas How should an artificially intelligent agent decide which action to perform at each point in time In my 1985 paper, A Blackboard Architecture for
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-48.ps, 19940729 1 On Building Integrated Cognitive Agents: A Review of Allen Newell s Unified Theories of Cognition Barbara Hayes-Roth Stanford University Original: December, 1991 Latest Revision: January, 1992 2 1. Introduction Twenty years ago, Allen Newell and Herbert Simon gave us a landmark book, Human Problem
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-43.ps, 19940729 1 Plans and Behavior in Intelligent Agents Barbara Hayes-Roth, Philippe Lalanda, Philippe Morignot, Karl Pfleger, and Marko Balabanovic Computer Science Department Stanford University April, 1993 This work was supported by Teknowledge Corporation, Contract 71715-1 under ARPA contract DAAA21-92-C-0028. 2
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-19.ps, 19940729 1 An Architecture for Adaptive Intelligent Systems1 Barbara Hayes-Roth Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, Ca. 94304 1 This research was supported by NASA contract NAG 2-581 under ARPA Order 6822, subcontract No. 71715-1 from Teknowledge Federal Systems
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-20.ps, 19940729 1 A Domain-Specific Software Architecture for a Class of Intelligent Patient Monitoring Agents 1 Barbara Hayes-Roth Computer Science Department Stanford University March, 1994 1This research was sponsored by NASA contract NAG 2-581 under ARPA Order 6822 and by Teknowledge Corporation, Contract 71715-1
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-68.ps, 19940801 Hierarchical Neural Networks for Partial Diagnosis in Medicine Lucila Ohno-Machado and Mark A. Musen Section on Medical Informatics, Stanford School of Medicine Medical School Office Building X-215, Stanford University, Stanford, CA 94305 machado@camis.stanford.edu, musen@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-29.ps, 19940801 Although neural networks have been widely applied to medical problems in recent years, their applicability has been limited for a variety of reasons. One of these barriers has been the inability to discriminate rare classes of solutions (i.e., the identification of categories that are infrequent). In
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-55.ps, 19940801 HIERARCHICAL NEURAL NETWORKS FOR SURVIVALANALYSIS L. Ohno-Machado, M.G.Walker, and M.A. Musen Section on Medical Informatics, Stanford University School of Medicine MSOB X-215 Stanford CA 94305 5479, USA machado@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/knowledge-sharing/ontolingua/doc/kif-manual.ps, 19940803 Logic Group First Draft January 1992 Report Logic-92-1 Current Version June 1992 Knowledge Interchange Format Version 3.0 Reference Manual by Michael R. Genesereth Richard E. Fikes in collaboration with Daniel Bobrow Ronald Brachman Thomas Gruber Patrick Hayes Reed Letsinger Vladimir Lifschitz Robert
	ftp://ksl.stanford.edu/pub/knowledge-sharing/ontolingua/doc/ontolingua-intro.ps, 19940803 KNOWLEDGE SYSTEMS LABORATORY Computer Science Department Stanford University Stanford, California 94305 Knowledge Systems Laboratory September 1992 Technical Report KSL 92-71 Revised April 1993 A Translation Approach to Portable Ontology Specifications by Thomas R. Gruber To appear in Knowledge
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-66.ps, 19940901 Ontolingua: A Mechanism to Support Portable Ontologies Thomas R. Grubery Knowledge Systems Laboratory Stanford University gruber@ksl.stanford.edu Original September 1990; Revised November 1991; Final revision June 1992
	ftp://ksl.stanford.edu/pub/drakop/tfpr/manual.ps.Z, 19940901 tFPR User's Manual John A. Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 Chapter 1 Introduction tFPR is a hybrid fuzzy and structural pattern recognition system that uses fuzzy sets to represent multi-variate patterns
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-48.ps, 19940906 LOAD BALANCING USING TIME SERIES ANALYSIS FOR SOFT REAL TIME SYSTEMS WITH STATISTICALLY PERIODIC LOADS a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of
	ftp://ksl.stanford.edu/pub/morignot/planner/manual.ps.Z, 19940907 1. Concepts.........................................................................................1 1.1. Action Represention Language ...................................................1 1.2. Controlling the planner .............................................................2 1.3. Tricks and
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/gfp.ps, 19940908 A Generic Knowledge-Base Access Protocol Peter D. Karp Artificial Intelligence Center SRI International 333 Ravenswood Ave. Menlo Park, CA 94025 pkarp@ai.sri.com Thomas Gruber Knowledge Systems Laboratory Stanford University 701 Welch Rd, Bldg C Palo Alto, CA 94304 gruber@hpp.stanford.edu May 12, 1994 1
	ftp://ksl.stanford.edu/pub/larsson/Manual.ps.Z, 19940915 1 The MFM/Guardian Operations Manual Preliminary draft not for citation Jan Eric Larsson June 1994 Knowledge Systems Laboratory, Stanford Universtity 701 Welch Road, Building C, Palo Alto, CA 94304, USA 2 Preface This report describes the software side of a project in which the basic idea was to use
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-32.ps, 19940916 Academic Physicians' Assessment of the Effects of Computers on Health Care William M. Detmer1 and Charles P. Friedman2 1Section on Medical Informatics, Stanford University School of Medicine 2Laboratory for Computing and Cognition, University of North Carolina School of Medicine We assessed the
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-38.ps, 19940916 A Continuous-Speech Interface to a Decision- Support System: II. An Evaluation Using a Wizard- of-Oz Experimental Paradigm William M. Detmer, MD1 Smadar Shiffman, MS1 Jeremy C. Wyatt, DM, MRCP2 Charles P. Friedman, PhD3 Christopher D. Lane1 Lawrence M. Fagan, MD, PhD1 1Section on Medical Informatics,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-61.ps, 19940917 Directed Improvisation Barbara Hayes-Roth, Erik Sincoff, Lee Brownston, Ruth Huard, and Brian Lent Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. A Palo Alto, California 94304, USA Telephone: (415) 723-0505 E-Mail: Hayes-Roth@CS.Stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-45.ps, 19940928 1 A Continuous-Speech Interface to a DecisionSupport System: I. Techniques to Accommodate for Misrecognized Input Smadar Shiffman, MS, William M. Detmer, MD, Christopher D. Lane, Lawrence M. Fagan, MD PhD Section on Medical Informatics, Stanford University Address for correspondence: Smadar Shiffman,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-62.ps, 19940928 COMBINING EXPERIENTIAL AND THEORETICAL KNOWLEDGE IN THE DOMAIN OF SEMICONDUCTOR MANUFACTURING A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY by
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/bachmann-materials.ps, 19941009 An Ontology of Materials Bernd Bachmann Markus Steffens German Research Center for AI (DFKI) P.O. Box 2080 D{67608 Kaiserslautern Germany May 1994
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/ps-method-papers/karl1.ps, 19941009 Sisyphus 17 3.3 Refinement of "assign" assign(IN: components, slots, solutions; OUT: components, slots, solutions) WHILE ( ( =(components)) ( =(slots)) 0=(failure)) DO % Select one of the components % selected_component := select_1(components); % Generate the assignments % possible_assignments :=
	ftp://ksl.stanford.edu/pub/knowledge-sharing/papers/ps-method-papers/karl2.ps, 19941009 1 1 The Knowledge Acquisition and Representation Language (KARL) The Knowledge Acquisition and Representation Language (KARL) (cf. ) is a language to formalize and operationalize KADS models of expertise. A formal description of the expertise is automatically mapped to an operational one.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-21.ps, 19941012 ABSTRACTION PLANNING IN REAL TIME a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of philosophy By Richard Washington March 1994 c Copyright 1994 by Richard
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-43.ps, 19941012 Multimedia Clinical Simulation based on Patient Records: Authoring, User Interface, Pedagogy Ramon M. Felciano1 and Parvati Dev PhD2 1Section on Medical Informatics, Stanford University School of Medicine MSOB X-215, Stanford, CA 94305-5479 2SUMMIT, Stanford University School of Medicine MSOB X-329,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-32.ps, 19941019 Intelligent Systems in Patient Monitoring and Therapy Management A Survey of Research Projects Serdar Uckun, MD, PhD Knowledge Systems Laboratory Stanford University 701 Welch Road Bldg. C Palo Alto, CA 94304, USA
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-32.ps, 19941019 1 Opportunistic Control of Action in Intelligent Agents Barbara Hayes-Roth Knowledge Systems Laboratory Stanford University Palo Alto, CA 94304 2
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-64.ps, 19941027 1 Toward Ontology-Based Frameworks for Knowledge-Acquisition Tools Angel R. Puerta, Robert Neches, Henrik Eriksson, Pedro Szekely, Ping Luo, Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, CA 94305-5479, USA USC/Information Sciences Institute
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-81.ps, 19941027 1 Generation of Knowledge-Acquisition Tools from Reusable Domain Ontologies Angel R. Puerta, Henrik Eriksson, John W. Egar, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, California, 94305-5479, USA Telephone: (415) 723-6979 E-mail:
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-51.ps, 19941027 Model-Based Automated Generation of User Interfaces Angel R. Puerta, Henrik Eriksson, John H. Gennari, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Departments of Medicine and Computer Science Stanford University Stanford, CA, 94305-5479
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-30.ps, 19941027 1 Modeling Tasks with Mechanisms Angel R. Puerta, Samson W. Tu, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, CA, 94305-5479 puerta@camis.stanford.edu All of the buildings and all of the cars were once just a dream in somebody s head Peter
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-62.ps, 19941027 1 Automated Generation of Adaptable Knowledge-Acquisition Tools with Mecano Angel R. Puerta, John W. Egar, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Departments of Medicine and Computer Science Stanford University Stanford, CA, 94305-5479 puerta@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-62.ps, 19941027 1 Beyond Data Models for Automated User Interface Generation Angel R. Puerta, Henrik Eriksson, John H. Gennari, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Departments of Medicine and Computer Science Stanford University Stanford, CA, 94305-5479
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-91-24.ps, 19941027 A Multiple-Method Knowledge-Acquisition Shell for the Automatic Generation of Knowledge-Acquisition Tools Angel Puerta, John Egar, Samson Tu, and Mark Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, CA, 94305-5479 puerta@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-61.ps, 19941027 1 The New World of Mechanisms Angel R. Puerta, Samson W. Tu, and Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, CA 94305-5479, USA puerta@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-92-65.ps, 19941027 The Study of Models of Intelligent Interfaces Angel R. Puerta Medical Computer Science Group Knowledge Systems Laboratory Stanford University Stanford, CA, 94305-5479, USA (415) 723-6979 puerta@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-71.ps, 19941027 1 DECIDING WHETHER TO PLAN TO REACT A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY Vlad Grigore Dabija December 1993 2 Copyright 1993 by Vlad G.
	ftp://ksl.stanford.edu/pub/ais/BBK_slides.ps, 19941028 The BBK Blackboard Kernel A C++ Implementation of BB1 Lee Brownston AIS Project/HPP/KSL/CSD Stanford University 20 October 1994 BBK 2 Why Previous Lisp versions are too slow The CAIT project needs BBK to run on several hosts Unix machines (Sun, SGI) Macintosh Possibly PC-compatibles There are few Lisp
	ftp://ksl.stanford.edu/pub/ais/BB1v32Language.ps, 19941028 Knowledge Systems Laboratory June 24, 1993 A User Guide to Language Frameworks by William R. Murray Knowledge Systems Laboratory Computer Science Department Stanford University Stanford, California 94305 2 1. Introduction: What are language frameworks
	ftp://ksl.stanford.edu/pub/morignot/ardec.ps, 19941028 Note that the position of the in the list corresponds to the position of the pattern in the list . ::= () ::= ( ) ::= an integer
	ftp://ksl.stanford.edu/pub/ais/BB1v32Installation.ps, 19941028 1. Introduction .............................................................................................................. 1 2. Installing BB1 ............................................................................................................ 2 1. Create the BB1 directory
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-46.ps, 19941028 RETRIEVING SEMANTICALLY DISTANT ANALOGIES a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of philosophy By Michael Wolverton May 1994 c Copyright 1994 by
	ftp://ksl.stanford.edu/pub/ais/BB1v32Manual.ps, 19941028 Knowledge Systems Laboratory March 1994 Report No. KSL 94-XX BB1 v3.2 Manual by Michael Wolverton Lee Brownston Draft KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 This research was supported by *information to be filled in*.. Table of
	ftp://ksl.stanford.edu/pub/morignot/avignon89.ps, 19941201 COPLANER AVIGNON 1989 Page 14 BIBLIOGRAPHIE Outils, Langages J. Chailloux, Devin M., J.M. Hullot, B. Serpette, J. Vuillemin, "Le_LISP, Version 15.2, Manuel de r f rence", INRIA, Rocquencourt, 1986. P. Cointe, "Metaclasses are First Class : the ObjVlisp Model", Rank Xerox &
	ftp://ksl.stanford.edu/pub/morignot/sub-ijcai95.ps, 19950109 1 Adaptable Motivational Profiles for Autonomous Agents Philippe Morignot and Barbara Hayes-Roth Knowledge Systems Laboratory, Stanford University 701 Welch Road, Bldg. C, Palo Alto CA94304 Phone: (415)723-0948 Fax: (415)725-5850 {morignot bhr}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-73.ps, 19950113 1 From Knowledge Based Systems to Knowledge Sharing Technology: Evaluation and Assessment Asunci n G mez-P rez Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA, 94304, USA Tel: (415) 723-1867, Fax: (415) 725-5850 Email: gomez@hpp.stanford.edu, Asun@fi.upm.es
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-05.ps, 19950113 USING AUTOMATIC ABSTRACTION FOR PROBLEM-SOLVING AND LEARNING a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of philosophy By Amy Unruh May 1993 c Copyright
	ftp://ksl.stanford.edu/pub/springsymp.ps, 19950118 Network-Based Information Brokers Richard Fikes Robert Engelmore Adam Farquhar Wanda Pratt Knowledge System Laboratory Stanford University {fikes, rse, adam_farquhar,pratt}@ksl.stanford.edu Introduction We describe a new project whose objective is to develop key technologies that will enable vendors and
	ftp://ksl.stanford.edu/pub/morignot/aaai-spring-symposium95-final.ps, 19950120 request ("Could you give 5 copies of such paper to that other person ") that will make the agent replan to produce a longer plan. In the middle of an action, the physiological motivation will exceed its threashold again, in which case the agent will generate a one-action plan to go to the closest
	ftp://ksl.stanford.edu/pub/morignot/aips94-final.ps, 19950120 the plan generation process. That's actually half the size of the robot itself, and the navigation routines of the robot already keep a half diameter security interval distance from known objects. 5 10 15 20 2530 5 10 15 20 25 30 Planner Cycle Hanoi(3) D1 P3 D2 (7) D1 D2 P1 (5) D1 P3 D2 (3) D2 P2 D3 (6)
	ftp://ksl.stanford.edu/pub/ais/BBK_manual.ps, 19950123 Section 1: The Structure of Application Programs .................................................. 2 Blackboards ....................................................................................................... 2 Module Structure
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-65.ps, 19950124 Some Ideas and Examples to Evaluate Ontologies Asunci n G mez-P rez Knowledge Systems Laboratory Stanford University 701 Welch Road, Building C Palo Alto, CA, 94304, USA Tel: (415) 723-1867, Fax: (415) 725-5850 Email: gomez@hpp.stanford.edu, Asun@fi.upm.es
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-12.ps, 19950124 Integrating Information Sources Using Context Logic Adam Farquhar Angela Dappert Richard Fikes Wanda Pratt Knowledge System Laboratory Stanford University {adam_farquhar,dappert,fikes,pratt}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-11.ps, 19950130 In press, IEEE Transactions on Software Engineering, expected April, 1995. A Domain-Specific Software Architecture for Adaptive Intelligent Systems Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanovic Knowledge Systems Laboratory Computer Science Department Stanford
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-17.ps, 19950203 Finding an average core structure: Application to the globins Russ B. Altman Section on Medical Informatics SUMC MSOB X215 Stanford University Stanford, CA 94305 altman@camis.stanford.edu Mark Gerstein Beckman Center for Structural Biology Department of Cell Biology Stanford University Stanford, CA
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-11.ps, 19950203 Constraint Satisfaction Techniques for Modeling Large Complexes: Application to the Central Domain of 16S Ribosomal RNA Russ B. Altman Section on Medical Informatics Stanford University, Stanford, CA altman@camis.stanford.edu Bryn Weiser Sinsheimer Labs, UCSC Santa Cruz, CA 95064 bryn@fangio.ucsc.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-65.ps, 19950203 Reusable Ontologies, Knowledge-Acquisition Tools, and Performance Systems: PROT G -II Solutions to Sisyphus-2 Thomas E. Rothenfluh, John H. Gennari, Henrik Eriksson, Angel R. Puerta, Samson W. Tu, Mark A. Musen Medical Computer Science Group Knowledge Systems Laboratory Stanford University School of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-69.ps, 19950206 1 Multi-Agent Collaboration in Directed Improvisation Barbara Hayes-Roth and Lee Brownston Stanford University October, 1994 Directed improvisation is a new paradigm for multi-agent interaction. One or more human users direct one or more computer characters with scripted or interactive directions. The
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-04.ps, 19950206 Directed Improvisation by Computer Characters Barbara Hayes-Roth, Lee Brownston, and Erik Sincoff Knowledge Systems Laboratory Stanford University 701 Welch Road, Bldg. A Palo Alto, California 94304, USA Telephone: (415) 723-0505 Secretary: (415) 723-3445 Fax: (415) 725-5850 E-Mail:
	ftp://ksl.stanford.edu/pub/drakop/nnr.ps, 19950215 Bounds on the Classification Error of the Nearest Neighbor Rule John A .Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 e-mail: drakop@cs.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-15.ps, 19950215 visiting from LIAP-5, Universit Ren Descartes, Paris, France. Designing the PenPal: Blending Hardware and Software in a User-Interface for Children Philippe P. Piernot , Ramon M. Felciano, Roby Stancel, Jonathan Marsh and Marc Yvon Stanford University Philippe P. Piernot Knowledge Systems Laboratory
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-16.ps, 19950215 Using Paper Prototypes as Interface Design Tools for Building Clinical Information Systems Ramon M. Felciano , Merav Harris , Thomas Rindfleisch , Jay Strain , Edward H. Shortliffe Stanford University School of Medicine, Stanford, California Eli Lilly and Co. The Stanford Section on Medical Informatics
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-24.ps, 19950227 Have you ever tried to find something in a patient record Have you struggled to read someone s illegible handwriting, spent precious time tracking down the one copy in the entire hospital of a patient s chart, or navigated through hundreds of pages looking for the answer to a simple question These
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-19.ps, 19950228 Computing the Structure of Large Complexes: Applying Constraint Satisfaction Techniques to Modeling the 16S Ribosomal RNA Richard Chen, Doran Fink, and Russ Altman Section on Medical Informatics Stanford University MSOB X215, Stanford, CA 94305-5479, U.S.A. rchen@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-25.ps, 19950302 Figures for Average Core Structures (Revised) REVISED manuscript (CAM 537/94) for J. Mol. Biol. (sent Feb 16, 1995) Average Core Structures and Variability Measures for Protein Families: Application to the Immunoglobulins Mark Gerstein 1 & Russ B Altman 2 1 Department of Structural Biology, Fairchild
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-26.ps, 19950302 1 Methods for Displaying Macromolecular Structural Uncertainty: Application to the Globins Russ B. Altman* , Christopher Hughes* and Mark B. Gerstein *Stanford Section on Medical Informatics Stanford University, MSOB X-215 Stanford, CA 94305-5479 (415) 723-6979; fax: (415) 725-7944
	ftp://ksl.stanford.edu/pub/drakop/msunn.ps, 19950312 Multi-Sigmoidal Units and Neural Networks John A. Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106
	ftp://ksl.stanford.edu/pub/drakop/tfpr.ps, 19950312 tFPR: A Fuzzy and Structural Pattern Recognition System of Multi-Variate Time-Dependent Patterns based on Sigmoidal Functions John A. Drakopoulos and Barbara Hayes-Roth Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106
	ftp://ksl.stanford.edu/pub/drakop/manual.ps, 19950312 tFPR User's Manual John A. Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 Chapter 1 Introduction tFPR is a hybrid fuzzy and structural pattern recognition system that uses fuzzy sets to represent multi-variate patterns
	ftp://ksl.stanford.edu/pub/drakop/sthfss.ps, 19950312 Sigmoidal Theory John A .Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106
	ftp://ksl.stanford.edu/pub/drakop/ppfss2.ps, 19950312 Probabilities, Possibilities, and Fuzzy Sets John A. Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 January 24, 1994
	ftp://ksl.stanford.edu/pub/drakop/msnn_bp.ps, 19950312 Multi-Sigmoidal Neural Networks and Back-Propagation John A. Drakopoulos Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106 March 12, 1995
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-31.ps, 19950324 Bagley et al Characterizing oriented protein structural sites using biochemical properties Steven C. Bagley, Liping Wei, Carol Cheng, and Russ B. Altman Section on Medical Informatics Stanford University School of Medicine, MSOB X-215 Stanford, CA 94305-5479 phone:(415) 723-6979, fax: (415) 725-7944
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-35.ps, 19950330 1 Plans and Behavior in Intelligent Agents Barbara Hayes-Roth, Karl Pfleger, Philippe Morignot, and Philippe Lalanda Abstract An intelligent agent is a versatile and adaptive system that performs diverse behaviors in its efforts to achieve multiple goals in a dynamic, uncertain environment. In this
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-32.ps, 19950406 Knowledge Systems Laboratory March 1995 Report No. KSL 95-32 Finding Analogues for Innovative Design Michael Wolverton Knowledge Engineering and Image Processing Group SINTEF DELAB N-7034 Trondheim Norway e-mail: Michael.Wolverton@delab.sintef.no Barbara Hayes-Roth Knowledge Systems Laboratory Stanford
	ftp://ksl.stanford.edu/pub/larsson/ai.ps.Z, 19950406 Diagnosis based on explicit means-end models Jan Eric Larsson* Department of Automatic Control, Lund Institute of Technology, Box 118, S 221 00 Lund, Sweden Submitted to Arti cial Intelligence on May 24th 1993 Revised version submitted in March 1994 Final version submitted in June 1994
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-71.ps, 19950409
	ftp://ksl.stanford.edu/pub/knowledge-sharing/ontolingua/gfp/spec/paper.ps, 19950414 The Generic Frame Protocol Peter D. Karp Artificial Intelligence Center SRI International 333 Ravenswood Ave. Menlo Park, CA 94025 pkarp@ai.sri.com Thomas Gruber Knowledge Systems Laboratory Stanford University 701 Welch Rd, Bldg C Palo Alto, CA 94304 gruber@hpp.stanford.edu February 24, 1995 1 Draft of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-72.ps, 19950417 1 Characterizing the microenvironment surrounding protein sites Steven C. Bagley Russ B. Altman Section on Medical Informatics Stanford University School of Medicine, MSOB X-215 Stanford, CA 94305-5479 (415) 723-6979, fax: (415) 725-7944 bagley@camis.stanford.edu altman@camis.stanford.edu To whom
	ftp://ksl.stanford.edu/pub/larsson/tan.ps.Z, 19950424 The Tangerine Club Jan Eric Larsson To Anu Palo Alto, California, April 24th, 1995 Preface Which of all opening bids is the least efficient and causes most trouble in the subsequent bidding A strong 1\| A Roman 2} A 0{7 points 1} My opinion is clear: the opening bid one of a suit in the standard system
	ftp://ksl.stanford.edu/pub/larsson/bsc.ps.Z, 19950505 A Bridge System Collection Jan Eric Larsson Palo Alto, California, May 5th, 1995 Preface This report started out almost by accident. Just wanting to write down some information about different bidding systems, I started collecting more and more of them. Soon, the effort grew, and I decided to ask for
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-50.ps, 19950519 Knowledge Systems Laboratory May 1995 Report No. KSL 95-50 Agents on Stage: Advancing the State of the Art of AI by Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Agents on Stage: Advancing the State of the Art of AI Extended
	ftp://ksl.stanford.edu/pub/drakop/thesis.ps, 19950524 THEORY AND DESIGN OF A HYBRID PATTERN RECOGNITION SYSTEM a dissertation submitted to the department of computer science and the committee on graduate studies of stanford university in partial fulfillment of the requirements for the degree of doctor of philosophy By John A. Drakopoulos May 1995 c
	ftp://ksl.stanford.edu/pub/kpfleger/resume.ps, 19950713 704 Campus Dr., Apt. 14H KARL R. PFLEGER Computer Science Dept. Stanford, CA 94305 kpfleger@cs.stanford.edu Stanford, CA 94305 (415) 497-7787 http://www.stanford.edu/~kpfleger/ (415) 723-6707 EDUCATION: STANFORD UNIVERSITY, Ph.D. program, Computer Science, since 9/92, advisor: Barbara Hayes-Roth,
	ftp://ksl.stanford.edu/pub/qr96/qr96-cfp.ps, 19950721 Tenth International Workshop on Qualitative Reasoning, 1996 May 21-24th, 1996 Stanford Sierra Camp, Fallen Leaf Lake, CA, USA Sponsored by: AAAI, Knowledge Systems Laboratory of Stanford University Call for Papers and Abstracts Following the continued success of the Qualitative Reasoning (QR) Workshops,
	ftp://ksl.stanford.edu/pub/morignot/CV-french.ps, 19950728 Syseca Temps R el, Saint-Cloud, juin 89 / mai 90 Doctorant (bourse CIFRE) Etude de l'rdonnancement des lignes de bus de la ville de Caen (2,5 MF). Proposition d'un syst me de planification (M.R.T., 1,5 MF). Cognitech, Paris, novembre 86 / mai 89 Doctorant (bourse CIFRE) Syst me-expert d'aide la
	ftp://ksl.stanford.edu/pub/morignot/CV-english.ps, 19950728 Software Programmer (Military Service), Aug. 1988 - Jul. 1989, Etablissement Technique Central de l Armement, CAD, Arcueil, France. Simulation of target interception. Graphical wargame. Software Engineer, Nov. 1986 - May 1989, Cognitech, Paris, France. Expert-system to assist in planning building sites
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-63.ps, 19950804 Collaborative Ontology Construction for Information Integration Adam Farquhar, Richard Fikes, Wanda Pratt, James Rice
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-41.ps, 19950807
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-64.ps, 19950809 1 A Programming Course in Bioinformatics for Computer and Information Science Students Russ B. Altman Section on Medical Informatics SUMC, MSOB X215 Stanford, CA 94305-5479 altman@camis.stanford.edu John Koza Department of Computer Science Margaret Jacks Hall Stanford, CA 94305-2140 koza@cs.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-68.ps, 19950914 1 Probabilistic Constraint Satisfaction with Non-Gaussian Noise Russ B. Altman Section on Medical Informatics SUMC, MSOB X-215 Stanford, CA 94305-5479 altman@camis.stanford.edu Cheng C. Chen Dept. of Electrical Eng. CIS, Rm 213 Stanford, CA 94305-4070 cchen@camis.stanford.edu William B. Poland Dept. of
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-67.ps, 19950914 Parallel Protein Structure Determination from Uncertain Data Cheng Che Chen, Jaswinder Pal Singh, William B. Poland , Russ B. Altman *Department of Electrical Engineering Department of Engineering-Economic Systems Section on Medical Informatics Stanford University
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-70.ps, 19950919 Knowledge Systems Laboratory September 1995 Report No. KSL 95-70 BBK Manual by Lee Brownston KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 This research was supported by Teknowledge Federal Systems contract 71715 (ARPA contract
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-71.ps, 19950922 Computer Applictions in the Biosciences, In press Using a measure of structural variation to define a core for the globins M. B. Gerstein 1 & R. B Altman 2* 1 Department of Structural Biology, Fairchild D109 and 2 Section on Medical Informatics, MSOB X215 Stanford University, Stanford, CA 94305, USA MG:
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-69.ps, 19950927 Lessons Learned Using the Web as an Application Interface James Rice, Adam Farquhar, Philippe Piernot, and Thomas Gruber Knowledge Systems Lab. 701 Welch Rd, bldg. C Palo Alto, CA, 94304 Tel: 415-723-3444 URL: http://www-ksl.stanford.edu/ {rice, axf, piernot, gruber}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/srinivas/hierarchical-diagnosis.ps, 19951005 A probabilistic approach to hierarchical model-based diagnosis Sampath Srinivas Computer Science Department Stanford University Stanford, CA 94305 srinivas@cs.stanford.edu In Proceedings of the Uncertainty in AI conf., July 94, Seattle, WA.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-44.ps, 19951019 A Trial Bank Model for the Publication of Clinical Trials Ida Sim, M.D., and Glenn Rennels, M.D. Ph.D. Section on Medical Informatics, Stanford University School of Medicine Stanford University, Stanford CA sim@camis.stanford.edu
	ftp://ksl.stanford.edu/pub/morignot/adaptive-behavior-journal.ps, 19951023 1 Adaptable Motivational Profiles for Autonomous Agents Philippe Morignot and Barbara Hayes-Roth1 Knowledge Systems Laboratory, Stanford University 701 Welch Road, Bldg. C, Palo Alto CA94304 Phone: (415)723-0948 Fax: (415)725-5850 {morignot bhr}@ksl.stanford.edu 1 We would like to thank all our
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-46.ps, 19951220 PROT G -II is a methodology and a suite of tools that allow developers to build and maintain knowledge-based systems in a principled manner. We used PROT G -II to reconstruct the well-known INTERNIST-I system, demonstrating the role of a domain ontology (a framework for specification of a model of an
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-93-54.ps, 19951227 Appeared in the Seventeenth Annual Symposium on Computer Applications in Medical Care. Safran, C. (Ed.) Conceptual Change and Computer-Assisted Instruction Malcolm Pradhan and Parvati Dev Section on Medical Informatics Stanford University School of Medicine Stanford, California 94305-5479 We conducted a
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-47.ps, 19951227 Knowledge Engineering for Large Belief Networks Malcolm Pradhan1 Gregory Provan2 Blackford Middleton1 Max Henrion2 1Section on Medical Informatics, MSOB X-215, Stanford University, CA 94305 2Institute for Decision Systems Research
	ftp://ksl.stanford.edu/pub/larsson/jetai.ps.Z, 19960102 1 A Domain-Specific Software Architecture for a Class of Intelligent Patient Monitoring Agents1 Barbara Hayes-Roth and Jan Eric Larsson Computer Science Department Stanford University April 1995 1This research was sponsored by NASA contract NAG 2-581 under ARPA Order 6822 and by Teknowledge Corporation,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-77.ps, 19960105 1 2 1 2 1 Preprint submitted to Elsevier Preprint 29 November 1995 Malcolm Pradhan , Max Henrion, Gregory Provan, Brendan Del Favero , Kurt Huang The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation Institute for Decision Systems Research 4984 El Camino Real,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-80.ps, 19960111 Virtual documents that explain How Things Work: Dynamically generated question-answering documents Thomas R. Gruber1 Sunil Vemuri2 James Rice3 Knowledge Systems Laboratory Stanford University gruber@ksl.stanford.edu Abstract Virtual documents are hypermedia documents that are generated on demand in
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-03.ps, 19960117 1 Semiautomated editing of computed tomography sections for visualization of vasculature Smadar Shiffman, Geoffrey D. Rubin, Sandy Napel Stanford University School of Medicine, Stanford, CA 94305
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-60.ps, 19960119 Developing a Clinical Trials Ontology Ida Sim Page 1 of 9 Developing A Clinical Trials Ontology: Comments on Domain Modeling and Ontological Reuse Ida Sim, M.D., Glenn Rennels, M.D., Ph.D. Section on Medical Informatics, Stanford University School of Medicine, Stanford, CA 94305
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-05.ps, 19960201 Story-Making with Improvisational Puppets and Actors Barbara Hayes-Roth and Robert van Gent1 Computer Science Department Stanford University December, 1995 1The work reported in this paper was supported by: ARPA Contract N66001-95-D-8642-Subcontract #137-1 through Teknowledge, Inc., a gift from Intel,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-04.ps, 19960207 -1- Biomedical Imaging and the Evolution of Medical Informatics Foreword Submitted to Special Issue of Computerized Medical Imaging and Graphics on Medical Image Databases Smadar Shiffman, M.S. and Edward H. Shortliffe, M.D., Ph.D.* Section on Medical Informatics Stanford University School of Medicine
	ftp://ksl.stanford.edu/pub/morignot/ksl-95-75.modified.ps, 19960209 Goal Generation and Revision for Planning Agents in Unpredictable Environments Philippe Morignot1 Barbara Hayes Roth2 1. Robotics Research Harvesting 166 Springdale Way, Redwood City CA 94062 Phone/fax: +1 415 369 4222 morignot@hpp.stanford.edu 2. Knowledge Systems Laboratory Gates Computer Science
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-01.ps, 19960214 Knowledge Systems Laboratory January 1995 Report No. KSL 95-01 Adaptable Motivational Profiles for Autonomous Agents by Philippe Morignot Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 1 Adaptable Motivational Profiles for
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-76.ps, 19960214 1 Knowledge Systems Laboratory December1994 Report No. KSL 94-76 Why Does an Agent Act by Philippe Morignot Barbara Hayes-Roth This paper will be presented at the AAAI Spring Symposium on Representing Mental States and Mechanisms, Stanford, March 1995. KNOWLEDGE SYSTEMS LABORATORY Department of Computer
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-75.ps, 19960214 This work has been supported by Teknowledge Federal Systems, Contract 71715-1 under ARPA contract DAAA21-92-C-0028 KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Knowledge Systems Laboratory October 1995 Report No. KSL 95-75 Goal Generation and
	ftp://ksl.stanford.edu/pub/leesb/ps.ps, 19960215 Proposed Newsletter Production Schedule There are two functions: editing and formatting. Both editors participate equally in editing, but have complementary roles in formatting. One, the formatter, produces a first version of the formatted newsletter and, upon receiving a critique from the other editor,
	ftp://ksl.stanford.edu/pub/leesb/tasks.ps, 19960215 Newsletter Tasks This breakdown of newsletter tasks assumes the following division of responsibilities. One of the newsletter staff is the "chief," who is the point of responsibility. The chief manages all phases of production to make sure they are on schedule, communicates directly with the President
	ftp://ksl.stanford.edu/pub/leesb/job.ps, 19960215 Job Description: Newsletter Editor(s) Responsibilities Each issue Solicit submissions (text and graphics) Enter text of submissions into Macintosh files Write description of monthly run, subject to approval of coordinator Select contents of each issue (text and photographs) Produce complete table of
	ftp://ksl.stanford.edu/pub/leesb/cklist.ps, 19960215 Checklist of Keeping Pace Contents Fixed Items (always appear) Masthead @ top of page 1 Title: Keeping Pace @ top center Club name: The Run Club @ left below title Affiliation: City of Palo Alto Recreation @ center below title Date: Month (or season) and year @ right below title Monthly run announcement
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-12.ps, 19960216 Knowledge-Level Analysis of the User Interface Design for a Compositional Modeling System Yoshihiro Koizumi Heavy Apparatus Engineering Laboratory Toshiba Corporation 1, Toshiba-cho, Fuchu-shi Tokyo 183, Japan koizumi@ipken.fuchu.toshiba.co.jp Yumi Iwasaki Knowledge Systems Laboratory Stanford
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-09.ps, 19960306 Improvisational Puppets, Actors, and Avatars Barbara Hayes-Roth and Robert van Gent Computer Science Department Gates Building, Stanford University Stanford, CA 94305 Email: Hayes-Roth@CS.Stanford.Edu 1. Computer Game Characters for New Genres We are investigating three kinds of advanced capabilities
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-94-67.ps, 19960310 Custom-Tailored Development Tools for Knowledge-Based Systems Henrik Eriksson Angel R. Puerta John H. Gennari Thomas E. Rothenfluhy Samson W. Tu Mark A. Musen Section on Medical Informatics Knowledge Systems Laboratory Stanford University School of Medicine Stanford, California 94305-5479, U.S.A.
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-13.ps, 19960326 Acting in Character Barbara Hayes-Roth, Robert van Gent, and Daniel Huber1 Computer Science Department Stanford University 1. Personality in Improvisational Actors Personality is the set of psychological traits that uniquely characterize an individual. Personality distinguishes each individual from all
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-14.ps, 19960328 KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Knowledge Systems Laboratory March 1996 Report No. KSL 96-14 Patient Advocate: Cooperative Agents to Support Patient- Centered Needs and Demands by Silvia Miksch, Kenneth Cheng, Barbara Hayes-Roth,
	ftp://ksl.stanford.edu/pub/CML/cml-qr96-camera-ready.ps, 19960402 A Compositional Modeling Language Daniel Bobrow, Brian Falkenhainer, Adam Farquhar#, Richard Fikes#, Kenneth Forbus$, Thomas Gruber&, Yumi Iwasaki#, Benjamin Kuipers% Xerox Corporation Palo Alto Research Center **Xerox Wilson Center 3333 Coyote Hill Road 800 Philips Rd., M/S 128-51E Palo Alto, CA
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-15.ps, 19960408 submitted to: 1996 AMIA Annual Fall Symposium (formerly SCAMC), October 26-30, 1996, Washington, DC. An Intention-Based Language for Sharing Clinical Guidelines Yuval Shahar, M.D., Ph.D., Silvia Miksch, Ph.D., and Peter Johnson, M.D. Section on Medical Informatics and Knowledge Systems Laboratory,
	ftp://ksl.stanford.edu/pub/KSL_Reports/SMI-96-617.ps, 19960422 Lamprey: Tracking Users on the World Wide Web Ramon M. Felciano & Russ B. Altman Section on Medical Informatics Stanford University MSOB X-215 Stanford, CA 94305-5479 USA {felciano, altman}@camis.stanford.edu Tracking individual web sessions provides valuable information about user behavior, and this
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-17.ps, 19960520 1 KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Knowledge Systems Laboratory May 1996 Report No. KSL 96-17 Children's Collaborative Playcrafting by Ruth Duran Huard and Barbara Hayes-Roth 2
	ftp://ksl.stanford.edu/pub/rousseau/personality_AAAI96.ps, 19960531 Personality in Computer Characters Daniel Rousseau Knowledge Systems Laboratory Gates Computer Science Bldg 2A Stanford, CA 94305-9020, USA Email: rousseau@hpp.stanford.edu Phone: (415) 723-0948
	ftp://ksl.stanford.edu/pub/pdoyle/aaai-96.ps, 19960531 Computer-Aided Exploration of Virtual Environments Patrick Doyle and Barbara Hayes-Roth Knowledge Systems Laboratory Stanford University Gates Computer Science Building 2A Stanford, CA 94305-9020 pdoyle@cs.stanford.edu, bhr@hpp.stanford.edu
	ftp://ksl.stanford.edu/pub/kpfleger/hierarchical.chunking.ps, 19960612 Hierarchical Chunking with Neural Networks (Working Notes, Version 1.9) Karl Pfleger Computer Science Department Stanford University kpfleger@cs.stanford.edu March, 1995
	ftp://ksl.stanford.edu/pub/larsson/cv.ps.Z, 19960613 CURRICULUM VITAE of JAN ERIC LARSSON, June 13th, 1996 Personal data Name Jan Eric Larsson Work address Knowledge Systems Laboratory, Stanford University, Room 248, M/C 9020 Gates Computer Science Building 2A, Stanford, CA 94305, USA Phone: +1 (415) 725{3859, Fax: +1 (415) 725{5850, E-mail:
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-95-02.ps, 19960619 Using Action-Based Hierarchies for Real-Time Diagnosis David Ash and Barbara Hayes-Roth Knowledge Systems Laboratory Computer Science Dept Gates Computer Science Bldg Stanford University Stanford, CA 94305 1
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-18.ps, 19960621 Information Brokers: Gathering Information from Heterogeneous Information Sources Richard Fikes, Adam Farquhar, Wanda Pratt Knowledge System Laboratory Stanford University {fikes,adam_farquhar,pratt}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/morignot/motivated.ps, 19960708 Motivated Agents Philippe Morignot CRIN-CNRS / INRIA-Lorraine Batiment LORIA, B.P. 239 54500 Vandoeuvre-les-Nancy, FRANCE Phone: +33 83592084 Fax: +33 83413079 E-mail: morignot@loria.fr Barbara Hayes-Roth Knowledge Systems Laboratory Gates Building, Stanford, CA94304 U.S.A. Phone: +1 4157230506 Fax: +1
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-21.ps, 19960715 Knowledge Systems Laboratory July 1996 Report No. KSL 96-21 Personality in Synthetic Agents by Daniel Rousseau, Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-20.ps, 19960715 Knowledge Systems Laboratory July 1996 Report No. KSL 96-20 An Intelligent Guide for Virtual Environments by Patrick Doyle, Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 An Intelligent Guide for Virtual Environments Patrick
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-19.ps, 19960718 KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Knowledge Systems Laboratory July 1996 Report No. KSL 96-19 An Intelligent Assistant for Patient Health Care by Silvia Miksch, Kenneth Cheng, Barbara Hayes-Roth submitted to: The First
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-22.ps, 19960724 Knowledge Systems Laboratory July 1996 Report No. KSL 96-22 Motivated Agents by Philippe Morignot Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 Motivated Agents Philippe Morignot, Barbara Hayes-Roth CRIN-CNRS /
	ftp://ksl.stanford.edu/pub/srinivas/uai-poster.ps, 19960726 1 1 Efficient Enumeration of Instances in Bayesian Networks Sampath Srinivas Microsoft Corporation Pandurang Nayak Recom Technologies NASA Ames Research Center 2 The Problem Computing plausible instances of Bayesian networks is important. Applications include medical diagnosis, model-based diagnosis,
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-TR-96-26.ps, 19960920 - 1 - The Ontolingua Server: a Tool for Collaborative Ontology Construction Adam Farquhar Richard Fikes James Rice Knowledge Systems Laboratory Stanford University Gates Building 2A MC9020 Stanford, CA 94305 {afarquhar,fikes,rice}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-26.ps, 19961001 - 1 - The Ontolingua Server: a Tool for Collaborative Ontology Construction Adam Farquhar Richard Fikes James Rice Knowledge Systems Laboratory Stanford University Gates Building 2A MC9020 Stanford, CA 94305 {afarquhar,fikes,rice}@ksl.stanford.edu
	ftp://ksl.stanford.edu/pub/ais/tfpr.ps, 19961121 tFPR: A Fuzzy and Structural pattern recognition System of Multi-Variate Time-Dependent Pattern Classes based on Sigmoidal Functions John A. Drakopoulos and Barbara Hayes-Roth Stanford University Department of Computer Science Knowledge Systems Laboratory 701 Welch Road, Palo Alto, CA 94304-0106
	ftp://ksl.stanford.edu/pub/KSL_Reports/KSL-96-27.ps, 19961126 Children's Play with Improvisational Puppets Ruth Duran Huard and Barbara Hayes-Roth1 Stanford University Knowledge Systems Laboratory Report No. KSL-96-27 November 1996 1 The work reported in this paper was supported by: ARPA CAETI-Globalednet Contract (Teknowledge Federal Systems 137-1), NSF Grant
	ftp://ksl.stanford.edu/pub/rousseau/Gest-conv-Nantes.ps.Z, 19961126 Une approche multi-agent pour la mod lisation et la simulation de conversations Daniel Rousseau Bernard Moulin Knowledge Systems Laboratory D partement d Informatique Gates Computer Science Bldg 2A Universit Laval Stanford, CA 94305-9020, USA Sainte-Foy (Qc), Canada Email: rousseau@hpp.stanford.edu
	ftp://ksl.stanford.edu/pub/neller/mise.ps, 19961223 Published in "Modelling and Simulation 1994 - Proceedings of the 1994 European Simulation Multiconference" (ESM 94), Barcelona, Spain, June 1-3, 1994, Society for Computer Simulation International, pp. 740-744 DEVELOPMENT OF AN INTEGRATED ENVIRONMENT FOR THE SIMULATION OF MULTITECHNICAL SYSTEMS Johan
	ftp://ksl.stanford.edu/pub/neller/mise2.ps, 19961223 AUTOMATION Machine Automation VTT AUTOMATION Kanslerinkatu 8 G Tel. +358 31 163 3111 Machine Automation P.O.BOX 13021 Telefax + 358 31 163 3494 FIN 33101 TAMPERE, Finland Telex 22313 ttktr sf VTT-AUT3 C-9501 FINAL REPORT HUMAN CAPITAL AND MOBILITY FELLOWSHIP ERBCHBICT930534 DESIGN AND SIMULATION OF
	ftp://ksl.stanford.edu/pub/rousseau/KSL-96-28.ps.Z, 19970107 Knowledge Systems Laboratory December 1996 Report No. KSL 96-28 La personnalit dans les acteurs synth tiques by Daniel Rousseau, Barbara Hayes-Roth KNOWLEDGE SYSTEMS LABORATORY Department of Computer Science Stanford University Stanford, California 94305 La personnalit dans les acteurs synth tiques
	ftp://ksl.stanford.edu/pub/HPKB/HPKB-proposal.ps, 19970107 1 Large-Scale Repositories of Highly Expressive Reusable Knowledge Proposal to do Knowledge Base Technology Development and Integration in the High-Performance Knowledge Bases (HPKB) Program in response to BAA 96-43 submitted to the Defense Advanced Research Projects Agency by the Knowledge Systems
	ftp://ksl.stanford.edu/pub/rousseau/Rousseau-AAAI97.ps, 19970121 Mixed Initiative in Interactions between Software Agents Daniel Rousseau Bernard Moulin Knowledge Systems Laboratory Computer Science Department Gates Computer Science Bldg 2A Laval University Stanford, CA 94305-9020, USA Sainte-Foy (Quebec), G1K 7P4, Canada Email: rousseau@hpp.stanford.edu Email:
	ftp://ksl.stanford.edu/pub/rousseau/jnle97.ps.Z, 19970124 INTERPRETING COMMUNICATIVE ACTS AND BUILDING A CONVERSATION MODEL Daniel Rousseau1 , Bernard Moulin2 , Guy Lapalme3
	ftp://ksl.stanford.edu/pub/neller/hs97.ps, 19970828 Heuristic Optimization and Dynamical System Safety Verification Todd W. Neller Knowledge Systems Laboratory, Stanford University August 25, 1997
	ftp://ksl.stanford.edu/pub/pdoyle/Rousseau-AAAI97.ps, 19970918 Mixed Initiative in Interactions between Software Agents Daniel Rousseau Bernard Moulin Knowledge Systems Laboratory Computer Science Department Gates Computer Science Bldg 2A Laval University Stanford, CA 94305-9020, USA Sainte-Foy (Quebec), G1K 7P4, Canada Email: rousseau@hpp.stanford.edu Email:
	ftp://ksl.stanford.edu/pub/pdoyle/personality_AAAI96.ps, 19970918 Personality in Computer Characters Daniel Rousseau Knowledge Systems Laboratory Gates Computer Science Bldg 2A Stanford, CA 94305-9020, USA Email: rousseau@hpp.stanford.edu Phone: (415) 723-0948