KSL Technical Report
From Semantic Portal Wiki
total:905
2008
- Deborah L. McGuinness, Vasco Furtado, Paulo Pinheiro da Silva, Li Ding, Alyssa Glass, Cynthia Chang. Explaining Semantic Web Applications. , Semantic Web Engineering in the Knowledge Society, 2008 [TW-2008-28, KSL-2008-02] [ download paper ]
- Alyssa Glass, Deborah L. McGuinness, Michael Wolverton. Toward Establishing Trust in Adaptive Agents , Proceedings of the 2008 International Conference on Intelligent User Interfaces (IUI2008) pp.227-236,January 2008 [KSL-07-04, TW-2008-14] [ download paper ]
- Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, Michael Wolverton. Trustable Task Processing Systems , Kunstliche Intelligenz (2) pp.12-18,January 2008 [TW-2008-12, KSL-2008-01]
2007
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems , Proceedings of the 2007 AAAI Workshop on Explanation-aware Computing (ExaCt-2007) pp.42-48,July 2007 [KSL-07-05] [ download paper ]
- Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose M. Garcia, James L. Benedict, Don Middleton. A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory , Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07) Intelligent Systems Track,July 2007 [KSL-07-02] [ download paper ]
- Peter Fox, Deborah L. McGuinness, Robert G. Raskin, A. Krishna Sinha. A Volcano Erupts: Semantically Mediated Integration of Heterogeneous Volcanic and Atmospheric Data , Proceedings of the ACM first Workshop on Cyberinfrastructure: Information Management in eScience pp.1-6,November 2007 [KSL-07-09] [ download paper ]
- Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro, Cynthia Chang. Abstracting Web Agent Proofs into Human-Level Justifications , Proceedings of the 20th International FLAIRS Conference (FLAIRS-20) pp.80-85,May 2007 [KSL-07-06]
- David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan. Bringing Semantics to Web Services with OWL-S , World Wide Web 10 (3) pp.243-277,September 2007 [KSL-06-21] [ download paper ]
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants that Learn , Proceedings of the 20th International FLAIRS Conference (FLAIRS-20) pp.284-289,May 2007 [KSL-07-03]
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants that Learn , Proceedings of the AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants,March 2007 [KSL-06-06] [ download paper ]
- Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang. PML 2: A Modular Explanation Interlingua , Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007),July 2007 [KSL-07-07] [ download paper ]
- Elisa F. Kendall, Jay Jacobs, Deborah L. McGuinness, Stephen Schwab. Policies for Public Domain Ontologies for the Intelligence Community , Proceedings of the Ontology for the Intelligence Community Conference,November 2007 [KSL-07-08] [ download paper ]
- Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose M. Garcia, James L. Benedict, Don Middleton. The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research , Proceedings of the Nineteenth Conference on Innovative Applications of Artificial Intelligence (IAAI-07),July 2007 [KSL-07-01]
2006
- Selene Makarios. A Model Theory for a Quantified Generalized Logic of Contexts , Knowledge Systems, AI Laboratory, KSL-06-08, 2006 [KSL-06-08]
- Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. A Proof Markup Language for Semantic Web Services , Information Systems 31 (4-5) pp.381-395, 2006 [KSL-04-01]
- Selene Makarios, Karl Heuer. Any ist-AO Quantified Context Logic has a First-Order Semantics , Knowledge Systems, AI Laboratory, KSL-06-11, 2006 [KSL-06-11]
- Selene Makarios, Ramanathan V. Guha. Any ist-AON Quantified Context Logic has a First-Order Semantics , Knowledge Systems, AI Laboratory, KSL-06-10, 2006 [KSL-06-10]
- Selene Makarios, Karl Heuer. Building-In New Inference Rules for Computational Context Logic , Knowledge Systems, AI Laboratory, KSL-06-09, 2006 [KSL-06-09]
- Li Ding, Tim Finin. Characterizing the Semantic Web on the Web , Proceedings of the Fifth International Semantic Web Conference (ISWC06),November 2006 [KSL-06-15]
- Selene Makarios, Karl Heuer, Richard Fikes. Computational Context Logic and Species of $ist$ , Knowledge Systems, AI Laboratory, KSL-06-07, 2006 [KSL-06-07]
- Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness. Computing Trust from Revision History , Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (PST 2006),October 2006 [KSL-06-12] [ download paper ]
- Honglei Zeng, Sheila A. McIlraith. Experimental Results on the Satisfiable Core in Random 3SAT , Ninth International Symposium on Artificial Intelligence and Mathematics,January 2006 [KSL-06-01]
- J. William Murdock, Deborah L. McGuinness, Paulo Pinheiro da Silva, Christopher A. Welty, David A. Ferrucci. Explaining Conclusions from Diverse Knowledge Sources , Proceedings of the 5th International Semantic Web Conference (ISWC2006) pp.861-872,November 2006 [KSL-06-17]
- Deborah L. McGuinness, Li Ding, Alyssa Glass, Cynthia Chang, Honglei Zeng, Vasco Furtado. Explanation Interfaces for the Semantic Web: Issues and Models , Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI'06),November 2006 [KSL-06-14] [ download paper ]
- Alyssa Glass, Deborah L. McGuinness. Introspective Predicates for Explaining Task Execution in CALO , Knowledge Systems, AI Laboratory, Stanford University, KSL-06-04, 2006 [KSL-06-04] [ download paper ]
- Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro da Silva, Li Ding, Dhyanesh Narayanan, Mayukh Bhaowal. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study , Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06),May 2006 [KSL-06-05] [ download paper ]
- Andrew J. Cowell, Deborah L. McGuinness, Carrie F. Varley, David A. Thurman. Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems , Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), 2006 [KSL-06-02] [ download paper ]
- Honglei Zeng, Maher A. Alhossaini, Richard Fikes, Deborah L. McGuinness. Mining Revision History to Assess Trustworthiness of Article Fragments , Proceedings of the 2nd International Conference on Collaborative Computing: Networking, Applications and Worksharing (collaboratecom'06) pp.1-10,November 2006 [KSL-06-16]
- Deborah L. McGuinness, Peter Fox, Luca Cinquini, J. Anthony Darnell, Patrick West, James L. Benedict, Jose M. Garcia, Don Middleton. Ontology-Enabled Virtual Observatories: Semantic Integration in Practice , Proceedings of the 5th International Semantic Web Conference Poster Session (ISWC06),November 2006 [KSL-06-20] [ download paper ]
- Peter Fox, Deborah L. McGuinness, Don Middleton, Luca Cinquini, J. Anthony Darnell, Jose M. Garcia, Patrick West, James L. Benedict, Stan Solomon. Semantically-Enabled Large-Scale Science Data Repositories , Proceedings of the 5th International Semantic Web Conference (ISWC06) pp.792-805,November 2006 [KSL-06-19]
- Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, James L. Benedict, J. Anthony Darnell, Jose M. Garcia, Don Middleton. Semantically-Enabled Virtual Observatories , Proceedings of the OWLED06 Workshop on OWL: Experiences and Directions,November 2006 [KSL-06-18] [ download paper ]
- Daniel J. Weitzner, Harold Abelson, Tim Berners-Lee, Chris Hanson, James A. Hendler, Lalana Kagal, Deborah L. McGuinness, Gerald J. Sussman, K. Krasnow Waterman. Transparent Accountable Data Mining: New Strategies for Privacy Protection , Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment, 2006 [KSL-06-03] [ download paper ]
- Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems , Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering, 2006 [KSL-06-13] [ download paper ]
2005
- Martine De Cock, Paulo Pinheiro da Silva. A Many Valued Representation and Propagation of Trust and Distrust , Knowledge Systems, AI Laboratory, KSL-05-09, 2005 [KSL-05-09]
- J. William Murdock, Paulo Pinheiro da Silva, David A. Ferrucci, Christopher A. Welty, Deborah L. McGuinness. Encoding Extraction as Inferences , Proceedings of AAAI Spring Symposium on Metacognition in Computation, 2005 [KSL-04-06] [ download paper ]
- Honglei Zeng, Richard Fikes. Explaining Data Incompleteness in Knowledge Aggregation , Knowledge Systems, AI Laboratory, KSL-05-04, 2005 [KSL-05-04]
- Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. Explaining Problem Solver Answers , Knowledge Systems, AI Laboratory, Stanford University, KSL-05-02, 2005 [KSL-05-02] [ download paper ]
- Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes. Explaining Results from Information Retrieval and Integration , International Symposium on Explanation-aware Computing, AAAI Symposium,November 2005 [KSL-05-08] [ download paper ]
- Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock, David A. Ferrucci. Exposing Extracted Knowledge Supporting Answers , Knowledge Systems, AI Laboratory, Stanford University, KSL-05-03, 2005 [KSL-05-03] [ download paper ]
- Honglei Zeng, Richard Fikes. Extracting Assumptions from Missing Data , Context representation and reasoning 2005, proceedings of the first international workshop,July 2005 [KSL-05-07]
- Ilya Zaihrayeu, Paulo Pinheiro da Silva, Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web , Proceedings of the 3rd International Conference on Trust Management (iTrust2005) pp.384-392, 2005 [KSL-04-08]
- Deborah L. McGuinness, Paulo Pinheiro da Silva, Michael Wolverton. Plan for Explaining Task Execution in CALO , Knowledge Systems, AI Laboratory, Stanford University, KSL-05-11, 2005 [KSL-05-11] [ download paper ]
- Honglei Zeng, Sheila A. McIlraith. The Role of Redundant Clauses in Solving Satisfiability Problems , (extended abstract), CP-2005 (the Eleventh International Conference on Principles and Practice of Constraint Programming),October 2005 [KSL-05-10]
- Paulo Pinheiro da Silva, Patrick J. Hayes, Deborah L. McGuinness, Richard Fikes, Priyendra Deshwal. Towards Checking Hybrid Proofs , Knowledge Systems, AI Laboratory, Stanford University, KSL-05-01, 2005 [KSL-05-01] [ download paper ]
- Christopher A. Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David A. Ferrucci, Richard Fikes. Tracking Information Extraction from Intelligence Documents , Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005),May 2005 [KSL-05-05] [ download paper ]
- Li Ding, Tim Finin, Yun Peng, Paulo Pinheiro da Silva, Deborah L. McGuinness. Tracking RDF Graph Provenance using RDF Molecules , Proceedings of the Fourth International Semantic Web Conference,November 2005 [KSL-05-06] [ download paper ]
- Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery , Proceedings of the 2nd European Semantic Web Conference (ESWC 2005) pp.303-317, 2005 [KSL-04-02] [ download paper ]
2004
- Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. A Proof Markup Language for Semantic Web Services , Knowledge Systems, AI Laboratory, Stanford University, KSL-04-01, 2004 [KSL-04-01] [ download paper ]
- Deborah L. McGuinness, Paulo Pinheiro da Silva. Explaining answers from the Semantic Web: the Inference Web approach , Journal of Web Semantics 1 (4) pp.397-413,October 2004 [KSL-04-03]
- Richard Fikes, Selene Makarios. KANI Time Ontology , Knowledge Systems, AI Laboratory, KSL-04-05,June 2004 [KSL-04-05]
- Paulo Pinheiro da Silva, Patrick J. Hayes, Deborah L. McGuinness, Richard Fikes. PPDR: A Proof Protocol for Deductive Reasoning , Knowledge Systems, AI Laboratory, Stanford University, KSL-04-04, 2004 [KSL-04-04] [ download paper ]
2003
- Daniel J. M, Ell, Sheila A. McIlraith. A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation , Proceedings of the Twelfth International World Wide Web Conference Workshop on E-Services and the Semantic Web (ESSW'03),2003 2003 [KSL-03-11]
- Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. Combinable Proof Fragments for the Web , Knowledge Systems, AI Laboratory, Stanford University, KSL-03-04,January 2003 [KSL-03-04] [ download paper ]
- Deborah L. McGuinness, Richard Fikes, Lynn Andrea Stein, James A. Hendler. DAML-ONT: An Ontology Language for the Semantic Web , Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential MIT Press pp.65-94,February 2003 [KSL-02-13] [ download paper ]
- Deborah L. McGuinness. Description Logic for Configuration , The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press pp.388-405, 2003 [KSL-02-09] [ download paper ]
- Ian R. Horrocks, Deborah L. McGuinness, Christopher A. Welty. Digital Libraries and Web-Based Information Systems , The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press pp.427-449, 2003 [KSL-02-11] [ download paper ]
- Deborah L. McGuinness, Peter F. Patel-Schneider. From Description Logic Provers to Knowledge Representation Systems , The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press pp.265-281, 2003 [KSL-02-10] [ download paper ]
- Richard Fikes, Jessica Jenkins, Qing Zhou. Including Domain-Specific Reasoners with Reusable Ontologies , Knowledge Systems, AI Laboratory, KSL-03-05,March 2003 [KSL-03-05]
- T. K. Satish Kumar. Incremental Computation of Resource-Envelopes in Producer-Consumer Models , Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003),September 2003 [KSL-03-08]
- Deborah L. McGuinness, Paulo Pinheiro da Silva. Inference Web: Portable Explanations for the Web , Knowledge Systems, AI Laboratory, Stanford University, KSL-03-02,January 2003 [KSL-03-02] [ download paper ]
- Deborah L. McGuinness, Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering , Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering,March 2003 [KSL-03-10] [ download paper ]
- Richard Fikes, Jessica Jenkins, Gleb Frank. JTP: A System Architecture and Component Library for Hybrid Reasoning , Knowledge Systems, AI Laboratory, KSL-03-01, 2003 [KSL-03-01]
- Richard Fikes, Alan D. Marwick, David A. Thurman. Knowledge Associates for Novel Intelligence (KANI) , Knowledge Systems, AI Laboratory, KSL-03-16,October 2003 [KSL-03-16]
- Deborah L. McGuinness. Knowledge Representation for Question Answering , Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering,March 2003 [KSL-03-09]
- Richard Fikes, Patrick J. Hayes, Ian R. Horrocks. OWL-QL - A Language for Deductive Query Answering on the Semantic Web , Knowledge Systems, AI Laboratory, KSL-03-14, 2003 [KSL-03-14]
- Deborah L. McGuinness. Ontologies Come of Age , Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential MIT Press pp.171-196,February 2003 [KSL-02-12] [ download paper ]
- Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe. Practical Partition-Based Theorem Proving for Large Knowledge Bases , Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03),August 2003 [KSL-03-12]
- Deborah L. McGuinness, Paulo Pinheiro da Silva. Registry-Based Support for Information Integration , Proceedings of IJCAI Workshop on Information Integration on the Web (IIWeb-03) pp.117-122,August 2003 [KSL-03-03] [ download paper ]
- Rob McCool, Richard Fikes, Ramanathan V. Guha. Semantic Issues in Web-Scale Knowledge Aggregation , Knowledge Systems, AI Laboratory, KSL-03-15, 2003 [KSL-03-15]
- Rob McCool, Richard Fikes, Deborah L. McGuinness. Semantic Web Tools for Enhanced Authoring , Knowledge Systems, AI Laboratory, Stanford University, KSL-03-07, 2003 [KSL-03-07] [ download paper ]
- Scott P. Sanner. Towards Practical Taxonomic Classification for Description Logics on the Semantic Web , Knowledge Systems, AI Laboratory, KSL-03-06, 2003 [KSL-03-06]
- Eric I. Hsu, Deborah L. McGuinness. Wine Agent: Semantic Web Testbed Application , Proceedings of the Workshop on Description Logics, 2003 [KSL-03-17]
2002
- Richard Fikes, Deborah L. McGuinness, Richard J. Waldinger. A First-Order Logic Semantics for Semantic Web Markup Languages , Knowledge Systems, AI Laboratory, Stanford University, KSL-02-01,January 2002 [KSL-02-01] [ download paper ]
- Sheila A. McIlraith, Tran Cao Son. Adapting Golog for Composition of Semantic Web Services , Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002),April 2002 [KSL-02-15]
- Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein. DAML+OIL: An Ontology Language for the Semantic Web , IEEE Intelligent Systems 17 (5) pp.72-80, 2002 [KSL-02-06]
- Richard Fikes, Patrick J. Hayes, Ian R. Horrocks. DQL - A Query Language for the Semantic Web , Knowledge Systems, AI Laboratory, KSL-02-05, 2002 [KSL-02-05]
- Paulo Pinheiro da Silva, Norman W. Paton. Improving UML Support for User Interface Design: A Metric Assessment of UMLi , Stanford University, KSL-02-04, 2002 [KSL-02-04]
- Amar K. Das, Wei Wu, Deborah L. McGuinness. Industrial Strength Ontology Management , Proceedings of the International Semantic Web Working Symposium, 2002 [KSL-01-09] [ download paper ]
- Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller. Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net , Proceedings of the Eighteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2002),August 2002 [KSL-02-08]
- Karl Pfleger. On-Line Learning of Undirected Sparse n-grams , Knowledge Systems, AI Laboratory, KSL-02-02, 2002 [KSL-02-02]
- Ronald Fadel. Planning with Complex Actions , Knowledge Systems, AI Laboratory, KSL-02-03, 2002 [KSL-02-03]
- Srini Narayanan, Sheila A. McIlraith. Simulation, Verification and Automated Composition of Web Services , Proceedings of the Eleventh International World Wide Web Conference (WWW-11),May 2002 [KSL-02-16]
- Elisa F. Kendall, Mark Dutra, Deborah L. McGuinness. Towards A Commercial Ontology Development Environment , International Semantic Web Conference Late Breaking Topics,June 2002 [KSL-02-07] [ download paper ]
2001
- Sheila A. McIlraith, Tran Cao Son. Adapting Golog for Programming the Semantic Web , Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001),May 2001 [KSL-01-15]
- Richard Fikes, Deborah L. McGuinness. An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL , Knowledge Systems, AI Laboratory, Stanford University, KSL-01-01,January 2001 [KSL-01-01] [ download paper ]
- Deborah L. McGuinness, Richard Fikes, Lynn Andrea Stein, James A. Hendler. DAML-ONT: An Ontology Language for the Semantic Web , Knowledge Systems, AI Laboratory, Stanford University, KSL-01-08, 2001 [KSL-01-08] [ download paper ]
- Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng. DAML-S: Semantic Markup for Web Services , Proceedings of the International Semantic Web Working Symposium (SWWS),July 2001 [KSL-01-17]
- Tran Cao Son, Chitta Baral, Sheila A. McIlraith. Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs , Proceedings of the AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning.,March 2001 [KSL-01-13]
- Karl Pfleger. Learning Predictive Compositional Hierarchies , Knowledge Systems, AI Laboratory,June 2001 [KSL-01-10]
- Sheila A. McIlraith, Tran Cao Son, Honglei Zeng. Mobilizing the Web with DAML-Enabled Web Services , Proceedings of the Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10.,May 2001 [KSL-01-14]
- Dieter Fensel, Frank van Harmelen, Ian R. Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. OIL: An Ontology Infrastructure for the Semantic Web , IEEE Intelligent Systems 16 (2) pp.38-45, 2001 [KSL-01-06]
- Deborah L. McGuinness. Ontologies Come of Age , Knowledge Systems, AI Laboratory, Stanford University, KSL-01-07, 2001 [KSL-01-07] [ download paper ]
- Deborah L. McGuinness. Ontologies and Online Commerce , IEEE Intelligent Systems 16 (1) pp.8-14,January 2001 [KSL-01-03]
- Natalya Fridman Noy, Deborah L. McGuinness. Ontology Development 101: A Guide to Creating Your First Ontology , Knowledge Systems, AI Laboratory, Stanford University, KSL-01-05,March 2001 [KSL-01-05] [ download paper ]
- Tran Cao Son, Chitta Baral, Sheila A. McIlraith. Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach , Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001),September 2001 [KSL-01-18]
- Eyal Amir, Sheila A. McIlraith. Solving Satisfiability using Decomposition and the Most Constrained Subproblem , Proceedings of SAT 2001: the Workshop on Theory and Applications of Satisfiability Testing. Electronic Notes in Discrete Mathematics, Volume 9, Henry Kautz and Bart Selman (Ed.),June 2001 [KSL-01-16]
- Ora Lassila, Deborah L. McGuinness. The Role of Frame-Based Representation on the Semantic Web , Electronic Transactions on Artificial Intelligence 6 (005), 2001 [KSL-01-02] [ download paper ]
- Sheila A. McIlraith, Eyal Amir. Theorem Proving with Structed Theories (Full Report) , Knowledge Systems, AI Laboratory, KSL-01-04,April 2001 [KSL-01-04]
2000
- T. K. Satish Kumar. A Compositional Approach to Causality , Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000), 2000 [KSL-00-04]
- Qing Zhou, Richard Fikes. A Reusable Time Ontology , Knowledge Systems, AI Laboratory, KSL-00-01,February 2000 [KSL-00-01]
- Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder. An Environment for Merging and Testing Large Ontologies , Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000),April 2000 [KSL-00-08] [ download paper ]
- Deborah L. McGuinness. Conceptual Modeling for Distributed Ontology Environments , Proceedings of the Eighth International Conference on Conceptual Structures: Logical, Linguistic, and Computational Issues pp.100-112,August 2000 [KSL-00-06] [ download paper ]
- Eyal Amir, Sheila A. McIlraith. Partition-Based Logical Reasoning , Knowledge Systems, AI Laboratory,February 2000 [KSL-00-02]
- Richard Fikes. Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases , Knowledge Systems, AI Laboratory, KSL-00-05,June 2000 [KSL-00-05]
- T. K. Satish Kumar. Reinterpretation of Causal Order Graphs Towards Effective Explanation Generation Using Compositional Modeling , Proceedings of the Fourteenth International Workshop on Qualitative Reasoning, 2000 [KSL-00-03]
- Todd W. Neller. Simulation-Based Search for Hybrid System Control and Analysis , Knowledge Systems, AI Laboratory, KSL-00-07, 2000 [KSL-00-07]
- Deborah L. McGuinness, Richard Fikes, James Rice, Steve Wilder. The Chimaera Ontology Environment , Proceedings of the The Seventeenth National Conference on Artificial Intelligence (AAAI 2000) pp.1123-1124,July 2000 [KSL-00-09] [ download paper ]
- James A. Hendler, Deborah L. McGuinness. The DARPA Agent Markup Language , IEEE Intelligent Systems 15 (6) pp.67-73, 2000 [KSL-00-10] [ download paper ]
1999
- Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alex Borgida. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality , Artificial Intelligence 114 (1-2) pp.203-237,October 1999 [KSL-99-12]
- Pieter J. Mosterman, Gautam Biswas. A Comprehensive Methodology for Building Hybrid Models of Physcial Systems , Knowledge Systems, AI Laboratory, KSL-99-06,June 1999 [KSL-99-06]
- Pieter J. Mosterman, Gautam Biswas. Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions , Knowledge Systems, AI Laboratory, KSL-99-03,March 1999 [KSL-99-03]
- Brian Howley, Mark R. Cutkosky, Gautam Biswas. Composing and Sharing Dynmaic Models in an Agent-Based Concurrent Engineering Environment , Knowledge Systems, AI Laboratory,June 1999 [KSL-99-09]
- Y. Sun, Richard Fikes. Creating Open, Sharable XML DTDs for Knowledge Representation And Bringing Enhanced Semantics to XML , Knowledge Systems, AI Laboratory, KSL-99-11,August 1999 [KSL-99-11]
- Robert M. Macgregor, Deborah L. McGuinness. DARPA's High Performance Knowledge Base (HPKB) Program , Proceedings for the International Workshop on Description Logics,July 1999 [KSL-99-16] [ download paper ]
- Pieter J. Mosterman, Gautam Biswas. Deriving Discontinuous State Changes , Knowledge Systems, AI Laboratory, KSL-99-04,June 1999 [KSL-99-04]
- Pieter J. Mosterman, Gautam Biswas. Diagnosis of Continuous Valued Systems in Transient Operating Regions , Knowledge Systems, AI Laboratory, KSL-99-02,November 1999 [KSL-99-02]
- Alex Borgida, Enrico Franconi, Ian R. Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Explaining ALC subsumption , Proceedings of the International Workshop on Description Logics pp.33-36,July 1999 [KSL-99-15] [ download paper ]
- Franz Baader, Ralf Küsters, Alex Borgida, Deborah L. McGuinness. Matching in Description Logics , Journal of Logic and Computation -- Special Issue on Description Logics 9 (3) pp.411-447,June 1999 [KSL-99-13]
- Deborah L. McGuinness. Ontologies for Electronic Commerce , Proceedings of the AAAI '99 Artificial Intelligence for Electronic Commerce Workshop,July 1999 [KSL-99-07] [ download paper ]
- Deborah L. McGuinness. Ontology-enhanced Search for Primary Care Medical Literature , Prodeedings of the International Medical Informatics Association Working Group 6 - Medical Concept Representation and Natural Language Processing Conference,December 1999 [KSL-99-08] [ download paper ]
- Enrico Franconi, Giuseppe De Giacomo, Ian R. Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. Report on the 1998 International Workshop on Description Logics DL'98 , Journal of Logic and Computation - Special Issue on Description Logics 9 (3) pp.449-456,June 1999 [KSL-99-14]
- Eric J. M, Ers, Pieter J. Mosterman, Gautam Biswas. Signal to Symbol Transformation Techniques for Robust Diagnosis in TRANSCEND , Knowledge Systems, AI Laboratory, KSL-99-05,June 1999 [KSL-99-05]
- M. Ozawa, Gautam Biswas, L. Zhu. Task Distribution and Lumped Parameter Modeling in Multi-Disciplinary Product Development , Knowledge Systems, AI Laboratory,June 1999 [KSL-99-10]
- Richard Fikes, James Rice. The Stanford KSL Knowledge Base Merging Critical Component Experiment , Knowledge Systems, AI Laboratory, KSL-99-17,October 1999 [KSL-99-17]
- Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta. Towards Diagnosing Hybrid Systems , Knowledge Systems, AI Laboratory,February 1999 [KSL-99-01]
1998
- Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Charles Lee Isbell, Matt Parker, Christopher A. Welty. A Description Logic Based Configurator for the Web , SIGART Bulletin, 9(2),Fall 1998 [KSL-98-26]
- Berthe Y. Choueiry, Guevara Noubir. A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets , Knowledge Systems, AI Laboratory,August 1998 [KSL-98-23]
- Deborah L. McGuinness, Jon R. Wright. An Industrial-Strength Description Logic-based Configurator Platform , IEEE Intelligent Systems 13 (4) pp.69-77, 1998 [KSL-98-28]
- Karl Pfleger, Barbara Hayes-Roth. An Introduction to Blackboard-Style Systems Organization , Knowledge Systems, AI Laboratory, KSL-98-03,January 1998 [KSL-98-03]
- Gleb Frank, Adam Farquhar, Richard Fikes. Building a Large Knowledge Base from a Structured Source: The CIA World Fact Book , Knowledge Systems, AI Laboratory, KSL-98-16,April 1998 [KSL-98-16]
- Karl Pfleger, Barbara Hayes-Roth. Categorical Boltzmann Machines , Knowledge Systems, AI Laboratory, KSL-98-05,January 1998 [KSL-98-05]
- Ruth Huard. Character Mastery with the Improvisational Puppets Program , Knowledge Systems, AI Laboratory, KSL-98-11,February 1998 [KSL-98-11]
- Deborah L. McGuinness, Jon R. Wright. Conceptual Modelling for Configuration: A Description Logic-based Approach , Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue on Configuration Design 12 (4) pp.333-344,September 1998 [KSL-98-25]
- Sheila A. McIlraith. Explanatory Diagnosis: Conjecturing actions to explain observations , Knowledge Systems, AI Laboratory, KSL-98-21,July 1998 [KSL-98-21]
- Todd W. Neller. Information-Based Optimization Approaches to Dynamical System Safety Verification , Knowledge Systems, AI Laboratory, KSL-98-13,March 1998 [KSL-98-13]
- Barbara Hayes-Roth. Interacting with Animate Characters: Puppets, Bartenders, and Auto Salespersons , Knowledge Systems, AI Laboratory,January 1998 [KSL-98-07]
- Karl Pfleger, Barbara Hayes-Roth. Learning of Compositional Hierarchies for the modeling of context effects , Knowledge Systems, AI Laboratory, KSL-98-04,January 1998 [KSL-98-04]
- Sheila A. McIlraith. Logic-Based Abductive Inference , Knowledge Systems, AI Laboratory, KSL-98-19,July 1998 [KSL-98-19]
- Sheila A. McIlraith, Gautam Biswas, Markus P. J. Fromherz, J. Howe, Richard Fikes, Daniel G. Bobrow, Mark R. Cutkosky, Robert S. Engelmore, Todd W. Neller. Model-Enabled Control of Hybrid Systems , Knowledge Systems, AI Laboratory, KSL-98-22,July 1998 [KSL-98-22]
- J. P. Rice. OKBC, A Rich API on the Cheap , Knowledge Systems, AI Laboratory, KSL-98-29,April 1998 [KSL-98-29]
- Vinay K. Chaudhri, Richard Fikes, Peter D. Karp, James Rice. OKBC: A Programmatic Foundation for Knowledge Base Interoperability , Proceedings of AAAI-98,February 1998 [KSL-98-08]
- Berthe Y. Choueiry, Guevara Noubir. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems , Knowledge Systems, AI Laboratory,October 1998 [KSL-98-24]
- Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice. Open Knowledge Base Connectivity 2.0 , Knowledge Systems, AI Laboratory, KSL-98-06,January 1998 [KSL-98-06]
- Tony Loeser, Yumi Iwasaki, Richard Fikes. Safety Verification Proofs for Physical Systems , Knowledge Systems, AI Laboratory, KSL-98-14,March 1998 [KSL-98-14]
- Katherine Isbister, Barbara Hayes-Roth. Social Implications of Using Synthetic Characters: An Examination of a Role-Specific Intelligent Agent , Knowledge Systems, AI Laboratory, KSL-98-01,January 1998 [KSL-98-01]
- Timothy P. Darr, Mark Fox, Deborah L. McGuinness. Special Configuration Issue of the Artificial , Artificial Intelligence for Engineering, Design, Analysis, and Manufacturing Journal (), 1998 [KSL-98-27]
- Berthe Y. Choueiry, Sheila A. McIlraith, Yumi Iwasaki, Tony Loeser, Todd W. Neller, Robert S. Engelmore, Richard Fikes. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems , Knowledge Systems, AI Laboratory,June 1998 [KSL-98-18]
- Sheila A. McIlraith. Towards Exploiting Generic Procedures in Model-Based Computing , Knowledge Systems, AI Laboratory, KSL-98-20,July 1998 [KSL-98-20]
- Karl Pfleger, Barbara Hayes-Roth. Using Abstract Plans to Guide Behavior , Knowledge Systems, AI Laboratory, KSL-98-02,January 1998 [KSL-98-02]
- James Rice. Writing an OKBC Application - A Case Study , Knowledge Systems, AI Laboratory, KSL-98-30,April 1998 [KSL-98-30]
- James Rice. Writing an OKBC Application - A Case Study , Knowledge Systems, AI Laboratory, KSL-98-30,April 1998 [KSL-98-30]
- James Rice. Writing an OKBC Application--A Case Study , Knowledge Systems, AI Laboratory, KSL-98-15,May 1998 [KSL-98-15]
1997
- Suzanne M. Paley, Peter D. Karp. A Generic Knowledge-base Browser and Editor , Proceedings of IAAI - 97,February 1997 [KSL-97-11]
- Daniel Rousseau, Barbara Hayes-Roth. A Social-Psychological Model for Synthetic Actors , Knowledge Systems, AI Laboratory, KSL-97-07,September 1997 [KSL-97-07]
- Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice. A Web-based Compositional Modeling System for Sharing of Physical Knowledge , International Joint Conference on Artificial Intelligence(IJCAI) pp.494-500, 1997 [KSL-98-17]
- Patrick Doyle, Barbara Hayes-Roth. Agents in Annotated Worlds , Knowledge Systems, AI Laboratory, KSL-97-09,December 1997 [KSL-97-09]
- Patrick Doyle, Barbara Hayes-Roth. Guided Exploration of Virtual Worlds , Knowledge Systems, AI Laboratory, KSL-97-04,May 1997 [KSL-97-04]
- Todd W. Neller. Heuristic Optimization and Dynamical System Safety , Center for Continuing Education, KSL-98-12, 1997 [KSL-98-12]
- Daniel Rousseau, Barbara Hayes-Roth. Improvisational Synthetic Actors with Flexible Personalities , Knowledge Systems, AI Laboratory, KSL-97-10,December 1997 [KSL-97-10]
- Daniel Rousseau, Barbara Hayes-Roth. Interacting with Personality-Rich Characters , Knowledge Systems, AI Laboratory, KSL-97-06,September 1997 [KSL-97-06]
- Richard Fikes, Adam Farquhar. Large-Scale Repositories of Highly Expressive Reusable Knowledge , Knowledge Systems, AI Laboratory, KSL-97-02,April 1997 [KSL-97-02]
- Adam Farquhar, Sasa Buvac. Putting Context Logic into Practice , Knowledge Systems, AI Laboratory, KSL-97-01,January 1997 [KSL-97-01]
- Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice. The Generic Frame Protocol 2.0 , Knowledge Systems, AI Laboratory, KSL-97-05,August 1997 [KSL-97-05]
- Heidy Maldonado, Antoine Picard, Patrick Doyle, Barbara Hayes-Roth. Tigrito: A Multi-Mode Interactive Improvisational Agent , Knowledge Systems, AI Laboratory, KSL-97-08,December 1997 [KSL-97-08]
- Richard Fikes, Adam Farquhar, James Rice. Tools for Assembling Modular Ontologies in Ontolingua , Knowledge Systems, AI Laboratory, KSL-97-03,April 1997 [KSL-97-03]
1996
- Mark A. Musen, Samson W. Tu, Amar K. Das, Yuval Shahar. A Component-Based Approach to Automation of Protocol-Directed Therapy , Knowledge Systems, AI Laboratory, KSL-96-06,1996 1996 [KSL-96-06]
- Barbara Hayes-Roth, Robert van Gent, Daniel Huber. Acting in Character , Knowledge Systems, AI Laboratory, KSL-96-13,March 1996 [KSL-96-13]
- Silvia Miksch, K. Chang, Barbara Hayes-Roth. An Intelligent Assistant for Patient Health Care , Knowledge Systems, AI Laboratory, KSL-96-19,July 1996 [KSL-96-19]
- Patrick Doyle, Barbara Hayes-Roth. An Intelligent Guide for Virtual Environments , Knowledge Systems, AI Laboratory, KSL-96-20,July 1996 [KSL-96-20]
- Yuval Shahar, Silvia Miksch, Peter Johnson. An Intention-Based Language for Sharing Clinical Guidelines , Knowledge Systems, AI Laboratory, KSL-96-15,March 1996 [KSL-96-15]
- Smadar Shiffman, Edward H. Shortliffe. Biomedical Imaging and the Evolution of Medical Informatics , Knowledge Systems, AI Laboratory, KSL-96-04,January 1996 [KSL-96-04]
- Ruth Huard, Barbara Hayes-Roth. Children's Collaborative Playcrafting , Knowledge Systems, AI Laboratory, KSL-96-17,May 1996 [KSL-96-17]
- Ruth Huard, Barbara Hayes-Roth. Children's Play with Improvisational Puppets , Knowledge Systems, AI Laboratory, KSL-96-27,November 1996 [KSL-96-27]
- Dieter Fensel, Henrik Eriksson, Mark A. Musen, Rudi Studer. Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A , Knowledge Systems, AI Laboratory, KSL-96-07,February 1996 [KSL-96-07]
- Barbara Hayes-Roth, Robert van Gent, Daniel Huber. Directing Synthetic Actors , Knowledge Systems, AI Laboratory, KSL-96-23,July 1996 [KSL-96-23]
- Yuval Shahar. Dynamic Induction of Temporal Interpretation Contexts , Knowledge Systems, AI Laboratory, KSL-96-01,January 1996 [KSL-96-01]
- Case H. Ketting, Mary M. Austin-Seymour, Ira J. Kalet, Jonathan P. Jacky, Sharon E. Kromhout-Schiro, Sharon M. Hummel, Jonathan Unger, Lawrence M. Fagan. Evaluation of an Expert System Producing Geometric Solids as Output , Knowledge Systems, AI Laboratory, KSL-96-08,February 1996 [KSL-96-08]
- Jan Eric Larsson, Barbara Hayes-Roth, David Gaba. Guardian: Final Evaluation , Knowledge Systems, AI Laboratory, KSL-96-25,August 1996 [KSL-96-25]
- Barbara Hayes-Roth, Robert van Gent. Improvisational Puppets, Actors, and Avatars , Knowledge Systems, AI Laboratory, KSL-96-09,February 1996 [KSL-96-09]
- Richard Fikes, Adam Farquhar, W, A Pratt. Information Brokers: Gathering Information from Heterogeneous Information Sources , Eckerd College, KSL-96-18, 1996 [KSL-96-18]
- Yuval Shahar, Martin Molina. Knowledge-Based Spatiotemporal Abstraction , Knowledge Systems, AI Laboratory, KSL-96-12,March 1996 [KSL-96-12]
- Yuval Shahar. Knowledge-Based Temporal Interpolation , Knowledge Systems, AI Laboratory, KSL-96-02,January 1996 [KSL-96-02]
- Thomas R. Gruber, James Rice. Model-Based Virtual Document Generation , Knowledge Systems, AI Laboratory, KSL-96-16,May 1996 [KSL-96-16]
- Lucila Ohno-Machado, Mark A. Musen. Modular Neural Networks for Medical Prognosis: Quantifying the Benefits of Combining Neural Networks for Survival Prediction , Knowledge Systems, AI Laboratory, KSL-96-11,February 1996 [KSL-96-11]
- Philippe Morignot, Barbara Hayes-Roth. Motivated Agents , Knowledge Systems, AI Laboratory, KSL-96-22,July 1996 [KSL-96-22]
- Silvia Miksch, Kenneth Cheng, Barbara Hayes-Roth. Patient Advocate: Cooperative Agents to Support Patient-Centered Needs and Demands , Knowledge Systems, AI Laboratory,March 1996 [KSL-96-14]
- Daniel Rousseau, Barbara Hayes-Roth. Personality in Synthetic Actors , Knowledge Systems, AI Laboratory, KSL-96-28,December 1996 [KSL-96-28]
- Daniel Rousseau, Barbara Hayes-Roth. Personality in Synthetic Agents , Knowledge Systems, AI Laboratory, KSL-96-21,July 1996 [KSL-96-21]
- Smadar Shiffman, Geoffrey D. Rubin, S, Y Napel. Semiautomated editing of computed tomography angiography for visualization of vasculature , Knowledge Systems, AI Laboratory, KSL-96-03,January 1996 [KSL-96-03]
- Lucila Ohno-Machado, Mark A. Musen. Sequential versus standard neural networks for temporal pattern recognition: An example using the domain of coronary heart disease , Knowledge Systems, AI Laboratory, KSL-96-10,February 1996 [KSL-96-10]
- Barbara Hayes-Roth, Robert van Gent. Story-Making with Improvisational Puppets , Knowledge Systems, AI Laboratory, KSL-96-24,July 1996 [KSL-96-24]
- Barbara Hayes-Roth, Robert van Gent. Story-Making with Improvisational Puppets and Actors , Knowledge Systems, AI Laboratory, KSL-96-05,January 1996 [KSL-96-05]
- Adam Farquhar, Richard Fikes, James Rice. The Ontolingua Server: A Tool for Collaborative Ontology Construction , Knowledge Systems, AI Laboratory, KSL-96-26,September 1996 [KSL-96-26]
1995
- Lucila Ohno-Machado, Mark A. Musen. A Comparison of Two Computer-Based Prognostic Systems for AIDS , Knowledge Systems, AI Laboratory, KSL-95-40,April 1995 [KSL-95-40]
- Amar K. Das, Mark A. Musen. A Comparison of the Temporal Expressiveness of Three Database Query Methods , Knowledge Systems, AI Laboratory, KSL-95-61, 1995 [KSL-95-61]
- Mark A. Musen, Samson W. Tu, Amar K. Das, Yuval Shahar. A Component-Based Architecture for Automation of Protocol-Directed Therapy , Knowledge Systems, AI Laboratory, KSL-95-28, 1995 [KSL-95-28]
- Walter Sujansky, Russ B. Altman. A Formal Evaluation of the TransFER Model for Bridging Heterogeneous Databases , Knowledge Systems, AI Laboratory,May 1995 [KSL-95-49]
- Yuval Shahar. A Framework for Knowledge-Based Temporal Abstraction , Knowledge Systems, AI Laboratory, KSL-95-29,March 1995 [KSL-95-29]
- William M. Detmer, Edward H. Shortliffe. A Model of Clinical Query Management that Supports Integration of Biomedical Information Over the World Wide Web , Proceedings of the Nineteenth Annual Symposium on Computer Applications in Medical Care. pp.898-902, 1995 [KSL-95-45]
- Russ B. Altman. A Probabilistic Approach to Determining Biological Structure: Integrating Uncertain Data Sources , Knowledge Systems, AI Laboratory, KSL-95-18,February 1995 [KSL-95-18]
- Russ B. Altman, John R. Koza. A Programming Course in Bioinformatics for Computer and Information Science Students , Knowledge Systems, AI Laboratory, KSL-95-64,August 1995 [KSL-95-64]
- Mark A. Musen, John H. Gennari, Wesley W. Wong. A Rational Reconstruction of INTERNIST-I using PROTEGE-II , Knowledge Systems, AI Laboratory, KSL-95-46,April 1995 [KSL-95-46]
- Jan Eric Larsson. A Toolbox for Fast Model-Based Diagnosis , Knowledge Systems, AI Laboratory, KSL-95-08,January 1995 [KSL-95-08]
- Ida Sim, Glenn D. Rennels. A Trial Bank Model for the Publication of Clinical Trials , Knowledge Systems, AI Laboratory, KSL-95-44, 1995 [KSL-95-44]
- Philippe Morignot, Barbara Hayes-Roth. Adaptable Motivational Profiles for Autonomous Agents , Knowledge Systems, AI Laboratory, KSL-95-01,January 1995 [KSL-95-01]
- Barbara Hayes-Roth. Agents on Stage: Advancing the State of the Art of AI , Knowledge Systems, AI Laboratory, KSL-95-50,May 1995 [KSL-95-50]
- Barbara Hayes-Roth. An Architecture for Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-93-19, 1995 [KSL-93-19]
- John H. Gennari, Diane E. Oliver, Mark A. Musen. An HTTP-Based Architecture for Interaction with a Vocabulary Server , Knowledge Systems, AI Laboratory, KSL-95-41,April 1995 [KSL-95-41]
- Paul Dagum, Richard M. Karp, Michael Luby, Sheldon M. Ross. An Optimal Algorithm for Monte Carlo Estimation (Extended Abstract) , Knowledge Systems, AI Laboratory, KSL-95-73,September 1995 [KSL-95-73]
- Walter J. Greenleaf, Maria A. Tovar. Augmenting Reality in Rehabilitation Medicine , Knowledge Systems, AI Laboratory, KSL-95-21,February 1995 [KSL-95-21]
- Alon Y. Halevy, Yumi Iwasaki, Richard Fikes. Automated Model Selection for Simulation Based on Relevance Reasoning , Knowledge Systems, AI Laboratory, KSL-95-76,November 1995 [KSL-95-76]
- Russ B. Altman, Mark Gerstein. Average Core Structures and Variability Measures for Protein Families: Application to the Immunoglobulins , Knowledge Systems, AI Laboratory, KSL-95-25,March 1995 [KSL-95-25]
- Lee Brownston. BBK Manual , Knowledge Systems, AI Laboratory, KSL-95-70,September 1995 [KSL-95-70]
- Joseph Norman. Building the Computer-Based Patient Record , Knowledge Systems, AI Laboratory, KSL-95-24,March 1995 [KSL-95-24]
- Steven C. Bagley, Liping Wei, Carol Cheng, Russ B. Altman. Characterizing oriented protein structural sites using biochemical properties , Knowledge Systems, AI Laboratory, KSL-95-31,March 1995 [KSL-95-31]
- Adam Farquhar, Richard Fikes, W, A Pratt, James Rice. Collaborative Ontology Construction for Information Integration , Knowledge Systems, AI Laboratory, KSL-95-63,August 1995 [KSL-95-63]
- Richard O. Chen, Doran Fink, Russ B. Altman. Computing the Structure of Large Complexes: Applying Constraint Satisfaction Techniques to Modeling the 16S Ribosomal RNA , Knowledge Systems, AI Laboratory, KSL-95-19,May 1995 [KSL-95-19]
- Russ B. Altman, Bryn Weiser, Harry F. Noller. Constraint Satisfaction Techniques for Modeling Large Complexes: Application to the Central Domain of 16S Ribosomal RNA , Knowledge Systems, AI Laboratory, KSL-95-11, 1995 [KSL-95-11]
- Gretchen P. Purcell, Edward H. Shortliffe. Contextual Models of Clinical Publications for Enhancing Retrieval from Full-Text Databases , Knowledge Systems, AI Laboratory, KSL-95-48,May 1995 [KSL-95-48]
- Asunción Gómez-Pérez. Criteria to Verify Knowledge Sharing Technology , Knowledge Systems, AI Laboratory, KSL-95-10,January 1995 [KSL-95-10]
- Philippe Piernot, Ramon M. Felciano, Roby Stancel, Jonathan Marsh, Marc P. Yvon. Designing the PenPal: Blending Hardware and Software in a User-Interface for Children , Knowledge Systems, AI Laboratory, KSL-95-15,January 1995 [KSL-95-15]
- Ida Sim, Glenn D. Rennels. Developing A Clinical Trials Ontology: Comments on Domain Modeling and Ontology Reuse , Knowledge Systems, AI Laboratory, KSL-95-60,June 1995 [KSL-95-60]
- Blackford Middleton, William M. Detmer, Mark A. Musen. Diagnostic Decision Support , Knowledge Systems, AI Laboratory, KSL-95-72,September 1995 [KSL-95-72]
- Barbara Hayes-Roth, Lee Brownston, Erik Sincoff. Directed Improvisation by Computer Characters , Knowledge Systems, AI Laboratory, KSL-95-04,January 1995 [KSL-95-04]
- Geoffrey W. Rutledge. Dynamic Selection of Models , Stanford University, KSL-95-37, 1995 [KSL-95-37]
- Yuval Shahar. Dynamic Temporal Interpretation Contexts for Temporal Abstraction , Knowledge Systems, AI Laboratory, KSL-95-79,December 1995 [KSL-95-79]
- Michael Wolverton, Barbara Hayes-Roth. Finding Analogues for Innovative Design , Knowledge Systems, AI Laboratory, KSL-95-32,March 1995 [KSL-95-32]
- Russ B. Altman, Mark Gerstein. Finding an average core structure: Application to the globins , Knowledge Systems, AI Laboratory, KSL-95-17,February 1995 [KSL-95-17]
- Philippe Morignot, Barbara Hayes-Roth. Goal Generation and Revision for Planning Agents in Unpredictable Environments , Knowledge Systems, AI Laboratory, KSL-95-75,October 1995 [KSL-95-75]
- Jan Eric Larsson. Hyperfast Algorithms for Model-Based Diagnosis , Knowledge Systems, AI Laboratory, KSL-95-07,January 1995 [KSL-95-07]
- Adam Farquhar, Angela Dappert, Richard Fikes, W, A Pratt. Integrating Information Sources Using Context Logic , Knowledge Systems, AI Laboratory, KSL-95-12,January 1995 [KSL-95-12]
- Yuval Shahar, Mark A. Musen. Knowledge-Based Temporal Abstraction in Clinical Domains , Knowledge Systems, AI Laboratory, KSL-95-23,February 1995 [KSL-95-23]
- Edward H. Shortliffe. Medical Informatics Meets Medical Education , Knowledge Systems, AI Laboratory, KSL-95-36, 1995 [KSL-95-36]
- Edward H. Shortliffe. Medical Informatics Training at Stanford University School of Medicine , Knowledge Systems, AI Laboratory, KSL-95-27,March 1995 [KSL-95-27]
- Russ B. Altman, Christopher Hughes, Mark Gerstein. Methods for Displaying Macromolecular Structural Uncertainty: Application to the Globins , Knowledge Systems, AI Laboratory, KSL-95-26,March 1995 [KSL-95-26]
- Jan Eric Larsson. Model-Based Diagnosis of the Human Body , Knowledge Systems, AI Laboratory, KSL-95-09,January 1995 [KSL-95-09]
- Jan Eric Larsson. Model-Based Monitoring and Diagnosis of the Human Body , Knowledge Systems, AI Laboratory, KSL-95-54,July 1995 [KSL-95-54]
- Janet Leeann Murdock. Model-Matching and Individuation for Model-Based Diagnosis , Stanford University, KSL-95-03, 1995 [KSL-95-03]
- Sampath Srinivas. Modeling Techniques and Algorithms for Probabilistic Model-Based Diagnosis and Repair , Stanford University, KSL-95-62, 1995 [KSL-95-62]
- Barbara Hayes-Roth, Lee Brownston, Robert van Gent. Multiagent Collaboration in Directed Improvisation , Knowledge Systems, AI Laboratory, KSL-94-69, 1995 [KSL-94-69]
- Richard Fikes, Robert S. Engelmore, Adam Farquhar, W, A Pratt. Network-based Information Brokers , Knowledge Systems, AI Laboratory, KSL-95-13,January 1995 [KSL-95-13]
- Cheng Che Chen, Jaswinder Pal Singh, William B. Pol, Russ B. Altman. Parallel Protein Structure Determination from Uncertain Data , Knowledge Systems, AI Laboratory, KSL-95-67,September 1995 [KSL-95-67]
- Yuval Shahar, Mark A. Musen. Plan Recognition and Revision in Protocol-Based Care , Knowledge Systems, AI Laboratory, KSL-95-39,April 1995 [KSL-95-39]
- Gillian D. S, Ers, R. Harris, Mark A. Hlatky, Douglas K. Owens. Prevention of Sudden Cardiac Death: a Probabilistic Model for Decision Support , Knowledge Systems, AI Laboratory, KSL-95-56,May 1995 [KSL-95-56]
- Russ B. Altman, Cheng Che Chen, William B. Pol, Jaswinder Pal Singh. Probabilistic Constraint Satisfaction with Non-Gaussian Noise , Knowledge Systems, AI Laboratory, KSL-95-68,September 1995 [KSL-95-68]
- Cecil Huang, Adnan Darwiche. Probabilistic Inference in Causal Networks: A Procedural Guide , Knowledge Systems, AI Laboratory, KSL-95-78,November 1995 [KSL-95-78]
- Merav Harris, Ramon M. Felciano, Jay Strain, Thomas C. Rindfleisch, Edward H. Shortliffe, Bo E. H. Saxberg. RightRX: Decision Support for the Optimization of Prescribing Practice , Knowledge Systems, AI Laboratory, KSL-95-22,February 1995 [KSL-95-22]
- Thomas W. Rosenal, Diana E. Forsythe, Mark A. Musen, Adam Seiver. Support for Information Management in Critical Care: A new approach to identify needs , Knowledge Systems, AI Laboratory, KSL-95-66,September 1995 [KSL-95-66]
- Yuval Shahar, Gretchen P. Purcell. The Context-Sensitive Pattern-Matching Task , Knowledge Systems, AI Laboratory, KSL-95-06, 1995 [KSL-95-06]
- Elizabeth T. Miller, Karen E. Wieckert, Lawrence M. Fagan, Mark A. Musen. The Development of a Controlled Medical Terminology: Identification, Collaboration, and Customization , Knowledge Systems, AI Laboratory, KSL-95-58,May 1995 [KSL-95-58]
- Jan Eric Larsson. The MFM , Knowledge Systems, AI Laboratory, KSL-95-55,July 1995 [KSL-95-55]
- Alex Poon, Lawrence M. Fagan, Edward H. Shortliffe. The PEN-Ivory Project: Exploring User-Interface Design for the Selection of Items from Large Controlled Vocabularies of Medicine , Knowledge Systems, AI Laboratory, KSL-95-65,August 1995 [KSL-95-65]
- Malcolm Pradhan, Max Henrion, Gregory M. Provan, Brendan Del Favero, Kurt Huang. The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation , Knowledge Systems, AI Laboratory, KSL-95-77,November 1995 [KSL-95-77]
- J. van der Lei, Mark A. Musen. The Separation of Reviewing Knowledge from Medical Knowledge , Knowledge Systems, AI Laboratory, KSL-95-38,April 1995 [KSL-95-38]
- Edward H. Shortliffe. The changing nature of telecommunications and the information infrastructure for health care , Knowledge Systems, AI Laboratory, KSL-95-42, 1995 [KSL-95-42]
- Paul Dagum, Adam Galper. Time-series prediction using belief network models , Knowledge Systems, AI Laboratory, KSL-95-74, 1995 [KSL-95-74]
- David Ash, Barbara Hayes-Roth. Using Action-Based Hierarchies for Real-Time Diagnosis , Knowledge Systems, AI Laboratory, KSL-95-02,January 1995 [KSL-95-02]
- A. Unruh. Using Automatic Abstraction for Problem-Solving and Learning , Stanford University, KSL-95-05, 1995 [KSL-95-05]
- Ramon M. Felciano, Merav Harris, Thomas C. Rindfleisch, Jay Strain, Edward H. Shortliffe. Using Paper Prototypes as Interface Design Tools for Building Clinical Information Systems , Knowledge Systems, AI Laboratory, KSL-95-16,February 1995 [KSL-95-16]
- Mark Gerstein, Russ B. Altman. Using a measure of structural variation to define a core for the globins , Knowledge Systems, AI Laboratory, KSL-95-71,September 1995 [KSL-95-71]
- James Rice, Philippe Piernot, Thomas R. Gruber. Using the Web Instead of a Window System , Knowledge Systems, AI Laboratory, KSL-95-20,September 1995 [KSL-95-20]
- Thomas R. Gruber, Sunil Vemuri, James Rice. Virtual documents that explain How Things Work: Dynamically generated , Knowledge Systems, AI Laboratory, KSL-95-80,December 1995 [KSL-95-80]
- Edward H. Shortliffe. When Decision Support Doesn't Support , Knowledge Systems, AI Laboratory, KSL-95-43, 1995 [KSL-95-43]
1994
- Yumi Iwasaki, Marcos Vescovi, Richard Fikes. A Causal Functional Representation Language with Behavior-Based Semantics , Knowledge Systems, AI Laboratory, KSL-94-10,February 1994 [KSL-94-10]
- Gillian D. S, Ers, Douglas K. Owens, N. Padian, A. Cardinalli, A. Sullivan, Robert F. Nease Jr.. A Computer-Based Interview to Identify HIV Risk Behaviors and to Assess Patient Preferences for HIV-Related Health States , Knowledge Systems, AI Laboratory, KSL-94-34,November 1994 [KSL-94-34]
- Smadar Shiffman, William M. Detmer, Christopher D. Lane, Lawrence M. Fagan. A Continuous-Speech Interface to a Decision-Support System: I. Techniques to Accommodate for Misrecognized Input , Knowledge Systems, AI Laboratory, KSL-94-45, 1994 [KSL-94-45]
- William M. Detmer, Smadar Shiffman, Jeremy C. Wyatt, Charles P. Friedman, Christopher D. Lane, Lawrence M. Fagan. A Continuous-Speech Interface to a Decision-Support System: II. An Evaluation Using a Wizard-of-Oz Experiment , Knowledge Systems, AI Laboratory, KSL-94-38, 1994 [KSL-94-38]
- Sasa Buvac, Richard Fikes. A Declarative Formalization of Knowledge Translation , Knowledge Systems, AI Laboratory, KSL-94-59,August 1994 [KSL-94-59]
- Barbara Hayes-Roth, Karl Pfleger, Philippe Lal, A, Philippe Morignot, Marko Balabanovic. A Domain-Specific Software Architecture for Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-94-11, 1994 [KSL-94-11]
- Barbara Hayes-Roth, Jan Eric Larsson. A Domain-Specific Software Architecture for a Class of Intelligent Patient Monitoring Agents , Knowledge Systems, AI Laboratory, KSL-94-20, 1994 [KSL-94-20]
- Yuval Shahar. A Knowledge-Based Method for Temporal Abstraction of Clinical Data , Knowledge Systems, AI Laboratory, KSL-94-64,October 1994 [KSL-94-64]
- Keith E. Campbell, Amar K. Das, Mark A. Musen. A Logical Foundation for Representation of Clinical Data , Knowledge Systems, AI Laboratory, KSL-94-02, 1994 [KSL-94-02]
- Geoffrey W. Rutledge, Ross D. Shachter. A Method for the Dynamic Selection of Models Under Time Constraints , Selecting Models from Data: Artificial Intelligence and Statistics IV, P Cheeseman and RW Oldford, eds () pp.79-88, 1994 [KSL-92-75]
- Sampath Srinivas. A Probabilistic ATMS , Knowledge Systems, AI Laboratory, KSL-94-13,February 1994 [KSL-94-13]
- Sampath Srinivas. A Probabilistic Approach to Hierarchical Model-Based Diagnosis , Knowledge Systems, AI Laboratory, KSL-94-14,February 1994 [KSL-94-14]
- Douglas B. Fridsma, Paul Ford, Russ B. Altman. A Survey of Patient Access to Electronic Mail: Attitudes, Barriers, and Opportunities , Knowledge Systems, AI Laboratory, KSL-94-28,November 1994 [KSL-94-28]
- Amar K. Das, Yuval Shahar, Samson W. Tu, Mark A. Musen. A Temporal-Abstraction Mediator for Protocol-Based Decision-Support Systems , Knowledge Systems, AI Laboratory, KSL-94-44,November 1994 [KSL-94-44]
- Richard Washington. Abstraction Planning in Real Time , Stanford University, KSL-94-21, 1994 [KSL-94-21]
- William M. Detmer, Charles P. Friedman. Academic Physicians' Assessment of the Effects of Computers on Health Care , Knowledge Systems, AI Laboratory, KSL-94-32,November 1994 [KSL-94-32]
- Walter Sujansky. An Extended Relational Algebra for Bridging Representational Heterogeneity among Relational Databases , Stanford University, KSL-94-08, 1994 [KSL-94-08]
- Yves P. Peligry. An Illustration of the SHADE Concepts: The Unit and Dimension Agent , Knowledge Systems, AI Laboratory, KSL-94-24,March 1994 [KSL-94-24]
- Thomas R. Gruber, Gregory R. Olsen. An ontology for engineering mathematics , Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994 [KSL-94-18]
- Paul Dagum, Adam Galper, Adam Seiver. Automating ARDS Management: A Dynamical Systems Approach , Knowledge Systems, AI Laboratory,February 1994 [KSL-94-04]
- Walter Sujansky, Russ B. Altman. Bridging the Representational Heterogeneity of Clinical Databases , Knowledge Systems, AI Laboratory, KSL-94-07,February 1994 [KSL-94-07]
- Sampath Srinivas. Building Diagnostic Models from Functional Schematics , Knowledge Systems, AI Laboratory, KSL-94-15,February 1994 [KSL-94-15]
- Manon M. Kuilboer. CALIPER: Temporal Reasoning for the Monitoring of Children's Growth , Knowledge Systems, AI Laboratory, KSL-94-56,July 1994 [KSL-94-56]
- Brian Falkenhainer, Adam Farquhar, Daniel G. Bobrow, Richard Fikes, Kenneth D. Forbus, Thomas R. Gruber, Yumi Iwasaki, Benjamin Kuipers. CML: A Compositional Modeling Language , Knowledge Systems, AI Laboratory, KSL-94-16,September 1994 [KSL-94-16]
- Steven C. Bagley, Russ B. Altman. Characterizing the Microenvironment Surrounding Protein Sites , Knowledge Systems, AI Laboratory, KSL-94-72,November 1994 [KSL-94-72]
- John L. Mohammed. Combining Experiential and Theoretical Knowledge in the Domain of Semiconductor Manufacturing , Stanford University, KSL-94-62, 1994 [KSL-94-62]
- Russ B. Altman, Christopher Hughes, Oleg Jardetzky. Compositional Characteristic of Disordered Regions in Proteins , Knowledge Systems, AI Laboratory, KSL-94-06,February 1994 [KSL-94-06]
- John W. Egar. Construction of Normative Decision Models Using Abstract Graph Grammars , Stanford University, KSL-94-17, 1994 [KSL-94-17]
- Henrik Eriksson, Angel R. Puerta, John H. Gennari, Thomas E. Rothenfluh, Samson W. Tu, Mark A. Musen. Custom-Tailored Development Tools for Knowledge-Based Systems , Knowledge Systems, AI Laboratory, KSL-94-67,January 1994 [KSL-94-67]
- Philippe Lal, A, Barbara Hayes-Roth. Deadline Management in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-94-27,May 1994 [KSL-94-27]
- Mark A. Musen, Karen E. Wieckert, Elizabeth T. Miller, Keith E. Campbell, Lawrence M. Fagan. Development of a Controlled Medical Terminology: Knowledge Acquisition and Knowledge Representation , Knowledge Systems, AI Laboratory, KSL-94-26,April 1994 [KSL-94-26]
- Barbara Hayes-Roth, Erik Sincoff, Lee Brownston, Ruth Huard, Brian Lent. Directed Improvisation , Knowledge Systems, AI Laboratory, KSL-94-61,September 1994 [KSL-94-61]
- Jean-Claude Latombe, Barbara Hayes-Roth. Dynamic Adaptation of Individual Perception-Action Control Plans in a Heterogeneous Team of Intelligent Mobile Agents , Knowledge Systems, AI Laboratory, KSL-94-63, 1994 [KSL-94-63]
- Philippe Morignot. Embedded Planning , Knowledge Systems, AI Laboratory, KSL-94-23, 1994 [KSL-94-23]
- Malcolm Pradhan, Gregory M. Provan, Max Henrion. Experimental Analysis of Large Belief Networks for Medical Diagnosis , Knowledge Systems, AI Laboratory, KSL-94-36,May 1994 [KSL-94-36]
- Diane E. Oliver, Russ B. Altman. Extraction of SNOMED Concepts from Medical Record Texts , Knowledge Systems, AI Laboratory, KSL-94-33,November 1994 [KSL-94-33]
- Asunción Gómez-Pérez. From Knowledge Based Systems to Knowledge Sharing Technology: Evaluation and Assessment , Knowledge Systems, AI Laboratory, KSL-94-73,12-2-94 1994 [KSL-94-73]
- Henrik Eriksson, Angel R. Puerta, Mark A. Musen. Generation of Knowledge-Acquisition Tools from Domain Ontologies , Knowledge Systems, AI Laboratory, KSL-93-56, 1994 [KSL-93-56]
- Thomas R. Gruber, Daniel M. Russell. Generative design rationale: Beyond the record and replay paradigm , Design rationale: concepts, techniques and use (), 1994 [KSL-92-59]
- John W. Egar, Mark A. Musen. Graph-Grammar Assistance for Automated Generation of Influence Diagrams , Knowledge Systems, AI Laboratory, KSL-93-42, 1994 [KSL-93-42]
- John W. Egar, Mark A. Musen. Graph-Grammar Assistance for Automated Generation of Influence Diagrams , Knowledge Systems, AI Laboratory, KSL-93-14,November 1994 [KSL-93-14]
- N. Serdar Uckun. Guardian Knowledge Acquisition Manual , Knowledge Systems, AI Laboratory, KSL-94-50,June 1994 [KSL-94-50]
- Barbara Hayes-Roth, N. Serdar Uckun, Jan Eric Larsson, John A. Drakopoulos, David Gaba, J. Barr, J. Chien. Guardian: An Experimental System for Intelligent ICU Monitoring , Knowledge Systems, AI Laboratory, KSL-94-39, 1994 [KSL-94-39]
- Edward H. Shortliffe. Health Care Professional Workstations: Where Are We Now?...Where Should We Be Tomorrow , Knowledge Systems, AI Laboratory, KSL-93-52, 1994 [KSL-93-52]
- Lucila Ohno-Machado, Michael Walker, Mark A. Musen. Hierarchical Neural Networks for Survival Analysis , Knowledge Systems, AI Laboratory, KSL-94-55,July 1994 [KSL-94-55]
- Lucila Ohno-Machado. Identification of Low Frequency Patterns in Backpropagation Neural Networks , Knowledge Systems, AI Laboratory, KSL-94-29,November 1994 [KSL-94-29]
- Philippe Piernot, Marc P. Yvon. Incremental Command Tree Construction for Hierarchical Histories , Knowledge Systems, AI Laboratory, KSL-94-74,December 1994 [KSL-94-74]
- N. Serdar Uckun. Instantiating and Monitoring Skeletal Treatment Plans , Knowledge Systems, AI Laboratory, KSL-94-49,June 1994 [KSL-94-49]
- Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion. Knowledge Engineering for Large Belief Networks , Knowledge Systems, AI Laboratory, KSL-94-47,June 1994 [KSL-94-47]
- Yuval Shahar, Amar K. Das, Samson W. Tu, F. Kraemer, Mark A. Musen. Knowledge-Based Temporal Abstraction for Diabetic Monitoring , Knowledge Systems, AI Laboratory, KSL-94-31,November 1994 [KSL-94-31]
- Yuval Shahar, Amar K. Das, Samson W. Tu, Mark A. Musen. Knowledge-Based Temporal Abstraction in Clinical-Management Tasks , Knowledge Systems, AI Laboratory,February 1994 [KSL-94-03]
- Yuval Shahar, Amar K. Das, Samson W. Tu, F. Kraemer, L. Basso, Mark A. Musen. Knowledge-Based Temporal Abstraction in Diabetes Therapy , Knowledge Systems, AI Laboratory, KSL-94-54,July 1994 [KSL-94-54]
- Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen. Model-Based Generation of User Interfaces , Knowledge Systems, AI Laboratory, KSL-94-51, 1994 [KSL-94-51]
- Ramon M. Felciano, Parvati Dev. Multimedia Clinical Simulation based on Patient Records: Authoring, User Interface, Pedagogy , Knowledge Systems, AI Laboratory, KSL-94-43,November 1994 [KSL-94-43]
- Marcos Vescovi, Adam Farquhar, Yumi Iwasaki. Numerical Interval Simulation: Bounding Behaviors of Non-Monotonic Systems , Knowledge Systems, AI Laboratory, KSL-94-09, 1994 [KSL-94-09]
- Paul Dagum, Michael Luby. On the Approximation of Probabilistic Inference , Knowledge Systems, AI Laboratory, KSL-94-57,September 1994 [KSL-94-57]
- Samson W. Tu, Henrik Eriksson, John H. Gennari, Yuval Shahar, Mark A. Musen. Ontology-Based Configuration of Problem-Solving Methods and Generation of Knowledge-Acquisition Tools: Application of PROTÉGÉ-II to Protocol-Based Decision Support , Knowledge Systems, AI Laboratory, KSL-94-22,December 1994 [KSL-94-22]
- Alex Poon, Lawrence M. Fagan. PEN-Ivory: The Design and Evaluation of a Pen-Based Computer System for Structured Data Entry , Knowledge Systems, AI Laboratory, KSL-94-30,November 1994 [KSL-94-30]
- Mark A. Musen, John H. Gennari, Henrik Eriksson, Samson W. Tu, Angel R. Puerta. PROTEGE II: Computer Support For Development Of Intelligent Systems From Libraries Of Components , Knowledge Systems, AI Laboratory, KSL-94-60,September 1994 [KSL-94-60]
- W, A Pratt, Ida Sim. Physician's Information Customizer (PIC): Using a Shareable User Model to Filter the Medical Literature , Knowledge Systems, AI Laboratory, KSL-94-58,August 1994 [KSL-94-58]
- Yuval Shahar, Mark A. Musen. Plan Recognition and Revision in Support of Guideline-Based Care , Knowledge Systems, AI Laboratory, KSL-94-70, 1994 [KSL-94-70]
- Sanjay Bhansali, Glenn A. Kramer. Planning from First Principles for Geometric Constraint Satisfaction , Knowledge Systems, AI Laboratory, KSL-94-25, 1994 [KSL-94-25]
- Russ B. Altman, Rhea Tombropoulos. Probabilistic Constraint Satisfaction: Application to Radiosurgery , Knowledge Systems, AI Laboratory, KSL-94-35, 1994 [KSL-94-35]
- John A. Drakopoulos. Probabilities, Possibilities, and Fuzzy Sets , Knowledge Systems, AI Laboratory, KSL-94-40,May 1994 [KSL-94-40]
- Paul F. Hemler, S, Y Napel, Thilaka S. Sumanaweera, Ramani Pichumani, Petra A. van den Elsen, David L. Martin, John Drace, Inder Perkash, John R. Adler. Registration Error Quantification of a Surface-Based Multimodality Image Fusion System , Knowledge Systems, AI Laboratory, KSL-94-66,October 1994 [KSL-94-66]
- Michael Wolverton. Retrieving Semantically Distant Analogies , Stanford University, KSL-94-46, 1994 [KSL-94-46]
- Michael Wolverton, Barbara Hayes-Roth. Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation , Knowledge Systems, AI Laboratory, KSL-94-19, 1994 [KSL-94-19]
- Thomas E. Rothenfluh, John H. Gennari, Henrik Eriksson, Angel R. Puerta, Samson W. Tu, Mark A. Musen. Reusable Ontologies, Knowledge-Acquisition Tools, and Performance Systems: PROTEGE-II Solutions to Sisyphus-2 , Knowledge Systems, AI Laboratory, KSL-93-65, 1994 [KSL-93-65]
- John H. Gennari, Russ B. Altman, Mark A. Musen. Reuse with Protege-II: From Elevators to Ribosomes , Knowledge Systems, AI Laboratory, KSL-94-71,November 1994 [KSL-94-71]
- John A. Drakopoulos. Sigmoidal Theory , Knowledge Systems, AI Laboratory, KSL-94-41,May 1994 [KSL-94-41]
- Sanjay Bhansali. Software Synthesis using Generic Architectures , Knowledge Systems, AI Laboratory, KSL-93-60, 1994 [KSL-93-60]
- Asunción Gómez-Pérez. Some Ideas and Examples to Evaluate Ontologies , Knowledge Systems, AI Laboratory, KSL-94-65,October 1994 [KSL-94-65]
- Manfred Aben, Yuval Shahar, Mark A. Musen. Temporal Abstraction Mechanisms as KADS Inferences , Knowledge Systems, AI Laboratory, KSL-94-12, 1994 [KSL-94-12]
- Angel R. Puerta, Robert Neches, Henrik Eriksson, Pedro A. Szekely, Ping Luo, Mark A. Musen. Toward Ontology-Based Frameworks for Knowledge-Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-93-64, 1994 [KSL-93-64]
- Walter Sujansky, Russ B. Altman. Towards a Standard Query Model for Sharing Decision-Support Applications , Knowledge Systems, AI Laboratory, KSL-94-37,November 1994 [KSL-94-37]
- Paul C. Tang, Danielle Fafchamps, Edward H. Shortliffe. Traditional Hospital Records as a Source of Clinical Data in the Outpatient Setting , Knowledge Systems, AI Laboratory, KSL-93-41,November 1994 [KSL-93-41]
- Geoffrey W. Rutledge. VentSim: A simulator of cardiopulmonary physiology , Knowledge Systems, AI Laboratory, KSL-94-52, 1994 [KSL-94-52]
- Philippe Morignot, Barbara Hayes-Roth. Why Does An Agent Act? , Knowledge Systems, AI Laboratory, KSL-94-76,December 1994 [KSL-94-76]
- John A. Drakopoulos, Barbara Hayes-Roth. tFPR: A Fuzzy and Structural Pattern Recognition System of Multi-Variate Time Dependent Patterns based on Sigmoidal Functions , Knowledge Systems, AI Laboratory, KSL-94-42,May 1994 [KSL-94-42]
1993
- Paul Dagum, Eric Horvitz. A Bayesian Analysis of Simulation Algorithms for Inference in Belief Networks , Knowledge Systems, AI Laboratory, KSL-91-67, 1993 [KSL-91-67]
- John H. Gennari. A Brief Guide to MAITRE and MODEL: An Ontology Editor and a Frame-Based Knowledge Representation Language , Knowledge Systems, AI Laboratory, KSL-93-46,June 1993 [KSL-93-46]
- David Ash, Barbara Hayes-Roth. A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance , Knowledge Systems, AI Laboratory, KSL-93-24, 1993 [KSL-93-24]
- Keith E. Campbell, Karen E. Wieckert, Lawrence M. Fagan, Mark A. Musen. A Computer-Based Tool for Generation of Progress Notes , Knowledge Systems, AI Laboratory, KSL-93-29, 1993 [KSL-93-29]
- N. Serdar Uckun, Barbara Hayes-Roth. A Control Architecture for Intelligent Mobile Robots , Knowledge Systems, AI Laboratory, KSL-93-09,January 1993 [KSL-93-09]
- Rhea Tombropoulos, Smadar Shiffman, C. Davidson. A Decision Aid for Diagnosis of Liver Lesions on MRI , Knowledge Systems, AI Laboratory, KSL-93-36, 1993 [KSL-93-36]
- Yuval Shahar, Manfred Aben, Mark A. Musen. A Framework for Acquiring Temporal-Abstraction Knowledge , Knowledge Systems, AI Laboratory, KSL-93-02,January 1993 [KSL-93-02]
- Vlad Grigore Dabija, Barbara Hayes-Roth. A Framework for Deciding When to Plan to React , Knowledge Systems, AI Laboratory, KSL-93-10, 1993 [KSL-93-10]
- G. Nakano, Sanjay Bhansali. A Knowledge-Based Approach for Consistency Checking Mechanism in Software Design , Knowledge Systems, AI Laboratory, KSL-93-26, 1993 [KSL-93-26]
- Mary Kane Goldstein, David G. Michelson, Ann E. Clarke, Leslie A. Lenert. A Multimedia Preference-Assessment Tool for Functional Outcomes , Knowledge Systems, AI Laboratory, KSL-93-55,August 1993 [KSL-93-55]
- Russ B. Altman. A Probabilistic Algorithm for Calculating Structure: Borrowing from Simulated Annealing , Knowledge Systems, AI Laboratory, KSL-93-12, 1993 [KSL-93-12]
- Barbara Hayes-Roth. A Satisficing Cycle for Real-Time Reasoning in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-93-17, 1993 [KSL-93-17]
- Thomas R. Gruber. A Translation Approach to Portable Ontology Specifications , Knowledge Systems, AI Laboratory, KSL-92-71,June 1993 [KSL-92-71]
- Amar K. Das. A Unisorted Algebra for Historical Relations with Interval-Stamped Tuples , Knowledge Systems, AI Laboratory, KSL-93-44,June 1993 [KSL-93-44]
- William R. Murray. A User Guide to Language Frameworks , Knowledge Systems, AI Laboratory, KSL-93-49,July 1993 [KSL-93-49]
- Lucila Ohno-Machado, Eduardo Parra, Suzanne Backen Henry, Samson W. Tu, Mark A. Musen. AIDS2: A Decision-Support Tool for Decreasing Physicians' Uncertainty Regarding Patient Eligibility for HIV Treatment Protocols , Knowledge Systems, AI Laboratory, KSL-93-31, 1993 [KSL-93-31]
- Paul Dagum, Adam Galper. Additive Belief-Network Models , Knowledge Systems, AI Laboratory, KSL-93-01, 1993 [KSL-93-01]
- Renate Fruchter, Kincho H. Law, Yumi Iwasaki. An Approach for Qualitative Structural Analysis , Knowledge Systems, AI Laboratory, KSL-91-80, 1993 [KSL-91-80]
- Mark A. Musen. An Overview of Knowledge Acquisition , Knowledge Systems, AI Laboratory, KSL-92-58, 1993 [KSL-92-58]
- John L. Mohammed, Paul Losleben. Applications of Artificial Intelligence to Semiconductor Modeling , Knowledge Systems, AI Laboratory, KSL-93-63,October 1993 [KSL-93-63]
- Paul Dagum, Michael Luby. Approximating Probabilistic Inference in Bayesian Belief Networks is NP-Hard , Knowledge Systems, AI Laboratory, KSL-91-53,April 1993 [KSL-91-53]
- Sanjay Bhansali. Architecture-driven Reuse of Code in KASE , Knowledge Systems, AI Laboratory, KSL-93-35, 1993 [KSL-93-35]
- Yumi Iwasaki, Alon Y. Halevy. Automated Model Selection for Simulation , Knowledge Systems, AI Laboratory, KSL-93-11, 1993 [KSL-93-11]
- John W. Egar, Mark A. Musen. Automated Modeling of Medical Decisions , Knowledge Systems, AI Laboratory, KSL-93-30, 1993 [KSL-93-30]
- Eric Horvitz. Automated Reasoning for Biology and Medicine , Advances in Computer Methods for Systematic Biology: Artificial Intelligence, Databases, and Computer Vision (), 1993 [KSL-92-55]
- Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen. Beyond Data Models for Automated User Interface Generation , Knowledge Systems, AI Laboratory, KSL-93-62, 1993 [KSL-93-62]
- Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Ch, Rasekaran. CFRL: A Language for Specifying the Causal Functionality of Engineering Devices , Knowledge Systems, AI Laboratory, KSL-93-38, 1993 [KSL-93-38]
- Edward H. Shortliffe. Clinical Information Systems In the Era of Managed Care , Knowledge Systems, AI Laboratory, KSL-94-68, 1993 [KSL-94-68]
- Adam Galper, Douglas L. Brutlag. Computational Simulations of Biological Systems , Knowledge Systems, AI Laboratory, KSL-93-13,May 1993 [KSL-93-13]
- Malcolm Pradhan, Parvati Dev. Conceptual Change and Computer-Assisted Instruction , Knowledge Systems, AI Laboratory, KSL-93-54, 1993 [KSL-93-54]
- Henrik Eriksson, Mark A. Musen. Conceptual Models for Automatic Generation of Knowledge-Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-92-28,March 1993 [KSL-92-28]
- Alon Y. Halevy, Yehoshua Sagiv. Controlling Inference Using the Query Tree , Knowledge Systems, AI Laboratory, KSL-93-07,January 1993 [KSL-93-07]
- Vlad Grigore Dabija. Deciding Whether to Plan to React , Stanford University, KSL-93-71, 1993 [KSL-93-71]
- Jeremy C. Wyatt, William M. Detmer, Lawrence M. Fagan. Design and Evaluation of Multimedia Stimuli to Evoke Clinical Concepts , Knowledge Systems, AI Laboratory, KSL-93-61, 1993 [KSL-93-61]
- David Ash. Diagnosis using Action-Based Hierarchies for Optimal Real-Time Performance , Stanford University, KSL-93-69, 1993 [KSL-93-69]
- Geoffrey W. Rutledge. Dynamic Selection of Models for a Ventilator-Management Advisor , Knowledge Systems, AI Laboratory, KSL-93-34, 1993 [KSL-93-34]
- Robert Neches, Richard Fikes, Tim Finin, Thomas R. Gruber, Ramesh S. Patil, Ted E. Senator, William R. Swartout. Enabling Technology for Knowledge Sharing , Knowledge Systems, AI Laboratory, KSL-93-22, 1993 [KSL-93-22]
- Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. Equivalence, Query-reachability and Satisfiability in Datalog Extensions , Knowledge Systems, AI Laboratory, KSL-93-15, 1993 [KSL-93-15]
- Alon Y. Halevy, Yehoshua Sagiv. Exploiting Irrelevance-reasoning to Guide Problem Solving , Knowledge Systems, AI Laboratory, KSL-93-05, 1993 [KSL-93-05]
- G. Nakano, Sanjay Bhansali. Flexible Control Mechanism in a Consistency Maintenance System , Knowledge Systems, AI Laboratory, KSL-93-27, 1993 [KSL-93-27]
- Patrice O. Gautier, Thomas R. Gruber. Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering , Knowledge Systems, AI Laboratory, KSL-93-06, 1993 [KSL-93-06]
- Ellen Isaacs, Carl E. Wulfman, Janice Anne Rohn, Christopher D. Lane, Lawrence M. Fagan. Graphical Access to Medical Expert Systems: IV. Experiments to Determine the Role of Spoken Input , Knowledge Systems, AI Laboratory, KSL-90-69,April 1993 [KSL-90-69]
- Carl E. Wulfman, Monica Rua, Christopher D. Lane, Edward H. Shortliffe, Lawrence M. Fagan. Graphical Access to Medical Expert Systems: V. Integration with Continuous-Speech Recognition , Knowledge Systems, AI Laboratory, KSL-90-67,March 1993 [KSL-90-67]
- Lucila Ohno-Machado, Mark A. Musen. Hierarchical Neural Networks for Partial Diagnosis in Medicine , Knowledge Systems, AI Laboratory, KSL-93-68,December 1993 [KSL-93-68]
- Yumi Iwasaki, Richard Fikes, Marcos Vescovi, B. Ch, Rasekaran. How Things are Intended to Work: Capturing Functional Knowledge in Device Design , Knowledge Systems, AI Laboratory, KSL-93-39, 1993 [KSL-93-39]
- N. Serdar Uckun. Intelligent Systems in Patient Monitoring and Therapy Management , Knowledge Systems, AI Laboratory, KSL-93-32,April 1993 [KSL-93-32]
- Alon Y. Halevy. Irrelevance Reasoning in Knowledge Based Systems , Stanford University, KSL-93-58, 1993 [KSL-93-58]
- Manon M. Kuilboer, Yuval Shahar, Darrell M. Wilson, Mark A. Musen. Knowledge Reuse: Temporal Abstraction Mechanisms for the Assessment of Children's Growth , Knowledge Systems, AI Laboratory, KSL-93-40, 1993 [KSL-93-40]
- Suzanne Backen Henry, Leslie A. Lenert, Blackford Middleton, Rebecca Partridge. Linking Process and Outcome with an Integrated Clinical Information System , Knowledge Systems, AI Laboratory, KSL-93-08,February 1993 [KSL-93-08]
- Max Hailperin. Load Balancing Using Time Series Analysis for Soft Real Time Systems with Statiscally Periodic Loads , Stanford University, KSL-93-48, 1993 [KSL-93-48]
- Thomas R. Gruber, Patrice O. Gautier. Machine-generated Explanations of Engineering Models: A compositional modeling approach , Knowledge Systems, AI Laboratory, KSL-92-85, 1993 [KSL-92-85]
- John H. Gennari, Samson W. Tu, Thomas E. Rothenfluh, Mark A. Musen. Mapping Domains to Methods in Support of Reuse , Knowledge Systems, AI Laboratory, KSL-93-57, 1993 [KSL-93-57]
- Mark R. Cutkosky, Robert S. Engelmore, Richard Fikes, Michael R. Genesereth, Thomas R. Gruber, William S. Mark, Jay M. Tenenbaum, Jay C. Weber. PACT: An Experiment in Integrating Concurrent Engineering Systems , Knowledge Systems, AI Laboratory, KSL-93-21, 1993 [KSL-93-21]
- Mark A. Musen, Samson W. Tu, Henrik Eriksson, John H. Gennari, Angel R. Puerta. PROTEGE-II: An Environment for Reusable Problem-Solving Methods and Domain Ontologies , Knowledge Systems, AI Laboratory, KSL-93-51, 1993 [KSL-93-51]
- Barbara Hayes-Roth, Philippe Lal, A, Philippe Morignot, Karl Pfleger, Marko Balabanovic. Plans and Behavior in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-93-43, 1993 [KSL-93-43]
- R. Carlson, Samson W. Tu, Nancy M. Lane, Tse L. Lai, Carol A. Kemper, Mark A. Musen, Edward H. Shortliffe. Potential Accrual of Patients to Prospective Clinical Trials , Knowledge Systems, AI Laboratory, KSL-93-28,June 1993 [KSL-93-28]
- Russ B. Altman, James F. Brinkley. Probabilistic Constraint Satisfaction with Structural Models: Application to Organ Modeling by Radial Contours , Knowledge Systems, AI Laboratory, KSL-93-33, 1993 [KSL-93-33]
- Russ B. Altman. Probabilistic Structure Calculations: A Three-Dimensional tRNA Structure from Sequence Correlation Data , Knowledge Systems, AI Laboratory, KSL-93-16, 1993 [KSL-93-16]
- Mark A. Musen. Problem-Solving Models for Generation of Task-Specific Knowledge-Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-91-05,January 1993 [KSL-91-05]
- Lucila Ohno-Machado. Prognostic Classification for AIDS Patients in Brazil , Knowledge Systems, AI Laboratory, KSL-93-59, 1993 [KSL-93-59]
- John W. Egar. Properties Maintained by a Graph Grammar for Medical Decisions , Knowledge Systems, AI Laboratory, KSL-93-25,March 1993 [KSL-93-25]
- Alon Y. Halevy, Yehoshua Sagiv. Queries Independent of Updates , Knowledge Systems, AI Laboratory, KSL-93-03, 1993 [KSL-93-03]
- Yuval Shahar, Mark A. Musen. RESUME: A Temporal-Abstraction System for Patient Monitoring , Knowledge Systems, AI Laboratory, KSL-92-84,September 1993 [KSL-92-84]
- David G. Gilbertson. Representation of the QMR Knowledge Base Using SNOMED-III and Conceptual Graphs , Knowledge Systems, AI Laboratory, KSL-93-45,June 1993 [KSL-93-45]
- Paul Dagum, Adam Galper. Sleep Apnea Forecasting with Dynamic Network Models , Knowledge Systems, AI Laboratory, KSL-93-20, 1993 [KSL-93-20]
- Henrik Eriksson. Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-93-50,July 1993 [KSL-93-50]
- Alon Y. Halevy, Richard Fikes, Yehoshua Sagiv. Speeding Up Inferences in Large Knowledge Bases , Knowledge Systems, AI Laboratory, KSL-93-66,November 1993 [KSL-93-66]
- Barbara Hayes-Roth, Lee Brownston, Anne Collinot. Strategic Control of Reactive Behavior in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-93-18,February 1993 [KSL-93-18]
- Geoffrey W. Rutledge, George E. Thomsen, Brad R. Farr, Maria A. Tovar, Jeanette X. Polaschek, Ingo A. Beinlich, Lewis B. Sheiner, Lawrence M. Fagan. The Design and Implementation of a Ventilator-Management Advisor , Knowledge Systems, AI Laboratory, KSL-92-11, 1993 [KSL-92-11]
- Amar K. Das, Samson W. Tu, Mark A. Musen. The Representation and Manipulation of Temporal Data for Clinical Decision-Support Systems: A Database Challenge , Knowledge Systems, AI Laboratory, KSL-93-70,December 1993 [KSL-93-70]
- Jeffrey Van Baalen, Richard Fikes. The Role of Reversible Grammars in Translating Between Representation Languages , Knowledge Systems, AI Laboratory, KSL-93-67,November 1993 [KSL-93-67]
- Angel R. Puerta. The Study of Models of Intelligent Interfaces , Knowledge Systems, AI Laboratory, KSL-92-65, 1993 [KSL-92-65]
- Paul Dagum, Adam Galper, Eric Horvitz, Adam Seiver. Uncertain Reasoning and Forecasting , Knowledge Systems, AI Laboratory, KSL-93-47, 1993 [KSL-93-47]
1992 … further results
- Michael Stonebraker, Ugur \cCetintemel. "One Size Fits All": An Idea Whose Time Has Come and Gone (Abstract) , ICDE pp.2-11, 2005
- Michael Stonebraker, Lawrence A. Rowe, Bruce G. Lindsay, Jim Gray, Michael J. Carey, David Beech. "The Committee for Advanced DBMS Function": Third Generation Data Base System Manifesto , SIGMOD Conference pp.396, 1990
- Steve Pettifer, Katy Wolstencroft, Pinar Alper, Teresa K. Attwood, Alain Coletta, Carole A. Goble, Peter Li, Philip McDermott, James Marsh, Tom Oinn, James Sinnott, David Thorne. $^ \mbox my $Grid and UTOPIA: An Integrated Approach to Enacting and Visualising in Silico Experiments in the Life Sciences , DILS pp.59-70, 2007
- Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alex Borgida. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality , Artificial Intelligence 114 (1-2) pp.203-237,October 1999 [KSL-99-12]
- Mark S. Fox. (How) Is AI Impacting Manufacturing? , IJCAI pp.1679, 1989
- Michiel Hildebrand, Jacco van Ossenbruggen, Lynda Hardman. /facet: A Browser for Heterogeneous Semantic Web Repositories , International Semantic Web Conference pp.272-285, 2006
- York Sure, Carole A. Goble, Carl Kesselman. 05271 - Report on the Dagstuhl Seminar on Semantic Grid - Convergence of Technologies , Semantic Grid, 2005
- York Sure, Carole A. Goble, Carl Kesselman. 05271 Abstracts Collection - Semantic Grid: The Convergence of Technologies , Semantic Grid, 2005
- Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing. 07061 Abstracts Collection -- Autonomous and Adaptive Web Services , Autonomous and Adaptive Web Services, 2007
- Klaus R. Dittrich and Umeshwar Dayal. 1986 International Workshop on Object-Oriented Database Systems, September 23-26, 1986, Asilomar Conference Center, Pacific Grove, California, USA, Proceedings , 1986
- Jacek Jankowski, Sebastian Ryszard Kruk. 2lip: the step towards the web3d , WWW pp.1137-1138, 2008
- . 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden , 2005
- . 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 5-7 June 2006, London, Ontario, Canada , 2006
- . 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy , 2007
- . 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA , 2008
- Kemafor Anyanwu, Amit P. Sheth. ?-Queries: enabling querying for semantic associations on the semantic web , WWW pp.690-699, 2003
- Seraphin B. Calo, Jorge Lobo. A Basis for Comparing Characteristics of Policy Systems , POLICY pp.183-194, 2006
- Paul Dagum, Eric Horvitz. A Bayesian Analysis of Randomized Approximation Procedures , Knowledge Systems, AI Laboratory, KSL-91-54,September 1991 [KSL-91-54]
- Paul Dagum, Eric Horvitz. A Bayesian Analysis of Simulation Algorithms for Inference in Belief Networks , Knowledge Systems, AI Laboratory, KSL-91-67, 1993 [KSL-91-67]
- Harold P. Lehmann. A Bayesian Computer-Based Approach to the Physician's Use of the Clinical Research Literature , Knowledge Systems, AI Laboratory, KSL-91-76,December 1991 [KSL-91-76]
- Gregory F. Cooper, Edward Herskovits. A Bayesian Method for the Induction of Probabilistic Networks from Data , Knowledge Systems, AI Laboratory, KSL-91-02,January 1991 [KSL-91-02]
- Rong Pan, Zhongli Ding, Yang Yu, Yun Peng. A Bayesian Network Approach to Ontology Mapping , International Semantic Web Conference pp.563-577, 2005
- David Heckerman, Holly Brügge Jimison. A Bayesian Perspective in Confidence , Knowledge Systems, AI Laboratory, KSL-89-59, 1989 [KSL-89-59]
- Geoffrey W. Rutledge, Stig K. Andersen, Jeanette X. Polaschek, Lawrence M. Fagan. A Belief Network Model for Interpretation of ICU Data , Knowledge Systems, AI Laboratory, KSL-90-49, 1990 [KSL-90-49]
- Fan Wang, Wei Zhao, Yong Xiong. A Bidirectional Adaptive Sequential Gaussian Approximation for MIMO Systems , VTC Fall pp.1-4, 2006
- Daniel J. M, Ell, Sheila A. McIlraith. A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation , Proceedings of the Twelfth International World Wide Web Conference Workshop on E-Services and the Semantic Web (ESSW'03),2003 2003 [KSL-03-11]
- John H. Gennari. A Brief Guide to MAITRE and MODEL: An Ontology Editor and a Frame-Based Knowledge Representation Language , Knowledge Systems, AI Laboratory, KSL-93-46,June 1993 [KSL-93-46]
- Michael Stollberg, Martin Hepp, J\"org Hoffmann. A Caching Mechanism for Semantic Web Service Discovery , ISWC/ASWC pp.480-493, 2007
- Shawn Bowers, Bertram Ludäscher. A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries , EDBT Workshops pp.712-723, 2006
- Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems , Proceedings of the 2007 AAAI Workshop on Explanation-aware Computing (ExaCt-2007) pp.42-48,July 2007 [KSL-07-05] [ download paper ]
- Yumi Iwasaki, Marcos Vescovi, Richard Fikes. A Causal Functional Representation Language with Behavior-Based Semantics , Knowledge Systems, AI Laboratory, KSL-94-10,February 1994 [KSL-94-10]
- Sean M. Falconer, Margaret-Anne D. Storey. A Cognitive Support Framework for Ontology Mapping , ISWC/ASWC pp.114-127, 2007
- Adam Cheyer, Joshua Levy. A Collaborative Programming Environment for Web Interoperability , SemWiki, 2006
- Alfio Massimiliano Gliozzo, Aldo Gangemi, Valentina Presutti, Elena Cardillo, Enrico Daga, Alberto Salvati, Gianluca Troiani. A Collaborative Semantic Web Layer to Enhance Legacy Systems , ISWC/ASWC pp.764-777, 2007
- Henri Jacques Suermondt, Gregory F. Cooper, David Heckerman. A Combination of Cutset Conditioning with Clique-Tree Propagation in the Pathfinder System , Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence pp.245-254, 1992 [KSL-90-47]
- Michael Stonebraker, Marti A. Hearst, Spyros Potamianos. A Commentary on the POSTGRES Rule System , SIGMOD Record 18 (3) pp.5-11, 1989
- Laura Pearlman, Von Welch, Ian T. Foster, Carl Kesselman, Steven Tuecke. A Community Authorization Service for Group Collaboration , CoRR Cs.DC/0306053 (), 2003
- David Ash, Barbara Hayes-Roth. A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance , Knowledge Systems, AI Laboratory, KSL-93-24, 1993 [KSL-93-24]
- Andrew Robert Golding, Paul S. Rosenbloom. A Comparison of Anapron with Seven Other Name-Pronounciation Systems , Knowledge Systems, AI Laboratory, KSL-91-26,April 1991 [KSL-91-26]
- Geoff Sutcliffe. A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems , LPAR pp.321-332, 1993
- Peter Haase, Jeen Broekstra, Andreas Eberhart, Raphael Volz. A Comparison of RDF Query Languages , International Semantic Web Conference pp.502-517, 2004
- Lucila Ohno-Machado, Mark A. Musen. A Comparison of Two Computer-Based Prognostic Systems for AIDS , Knowledge Systems, AI Laboratory, KSL-95-40,April 1995 [KSL-95-40]
- James Michaelis, Stephan Zednik, Li Ding, Deborah L. McGuinness. A Comparison of the OPM and PML Provenance Models , Tetherless World Constellation, TW-2009-21, 2009 [TW-2009-21]
- Amar K. Das, Mark A. Musen. A Comparison of the Temporal Expressiveness of Three Database Query Methods , Knowledge Systems, AI Laboratory, KSL-95-61, 1995 [KSL-95-61]
- Michael Stonebraker. A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System , ICSE pp.527-531, 1976
- Ian T. Foster, Stephen Taylor. A Compiler Approach to Scalable Concurrent-Program Design , ACM Trans. Program. Lang. Syst. 16 (3) pp.577-604, 1994
- Wei Zhao, Chang-Hyun Jo. A Compiler Design for the Agent-Based Programming Language , Computers and Their Applications pp.393-396, 2003
- Mark A. Musen, Samson W. Tu, Amar K. Das, Yuval Shahar. A Component-Based Approach to Automation of Protocol-Directed Therapy , Knowledge Systems, AI Laboratory, KSL-96-06,1996 1996 [KSL-96-06]
- Mark A. Musen, Samson W. Tu, Amar K. Das, Yuval Shahar. A Component-Based Architecture for Automation of Protocol-Directed Therapy , Knowledge Systems, AI Laboratory, KSL-95-28, 1995 [KSL-95-28]
- T. K. Satish Kumar. A Compositional Approach to Causality , Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000), 2000 [KSL-00-04]
- Helge Janicke, Antonio Cau, Fran\ccois Siewe, Hussein Zedan, Kevin Jones. A Compositional Event \& Time-Based Policy Model , POLICY pp.173-182, 2006
- Pieter J. Mosterman, Gautam Biswas. A Comprehensive Methodology for Building Hybrid Models of Physcial Systems , Knowledge Systems, AI Laboratory, KSL-99-06,June 1999 [KSL-99-06]
- Glenn D. Rennels. A Computational Model of Reasoning from the Clinical Literature , Knowledge Systems, AI Laboratory, KSL-86-74, 1986 [KSL-86-74]
- Glenn D. Rennels, Edward H. Shortliffe, Frank E. Stockdale, Perry L. Miller. A Computational Model of Reasoning from the Clinical Literature , Knowledge Systems, AI Laboratory, KSL-87-06,Spring 1987 [KSL-87-06]
- Jeanette X. Polaschek, Leslie A. Lenert, Alan M. Garber. A Computer Program for Statistically Based Decision Analysis , Knowledge Systems, AI Laboratory, KSL-90-50, 1990 [KSL-90-50]
- Gillian D. S, Ers, Douglas K. Owens, N. Padian, A. Cardinalli, A. Sullivan, Robert F. Nease Jr.. A Computer-Based Interview to Identify HIV Risk Behaviors and to Assess Patient Preferences for HIV-Related Health States , Knowledge Systems, AI Laboratory, KSL-94-34,November 1994 [KSL-94-34]
- Keith E. Campbell, Karen E. Wieckert, Lawrence M. Fagan, Mark A. Musen. A Computer-Based Tool for Generation of Progress Notes , Knowledge Systems, AI Laboratory, KSL-93-29, 1993 [KSL-93-29]
- Chris Preist. A Conceptual Architecture for Semantic Web Services , International Semantic Web Conference pp.395-409, 2004
- Rajendra Bose. A Conceptual Framework for Composing and Managing Scientific Data Lineage , SSDBM pp.15-19, 2002
- Chuang Liu, Ian T. Foster. A Constraint Language Approach to Matchmaking , RIDE pp.7-14, 2004
- Ahlem Ben Hassine, Shigeo Matsubara, Toru Ishida. A Constraint-Based Approach to Horizontal Web Service Composition , International Semantic Web Conference pp.130-143, 2006
- Hassine Moungla. A Context-Aware, Policy-Based Framework for Ambient Network , POLICY pp.203-206, 2008
- Antonis M. Hadjiantonis, Apostolos Malatras, George Pavlou. A Context-Aware, Policy-Based Framework for the Management of MANETs , POLICY pp.23-34, 2006
- Smadar Shiffman, William M. Detmer, Christopher D. Lane, Lawrence M. Fagan. A Continuous-Speech Interface to a Decision-Support System: I. Techniques to Accommodate for Misrecognized Input , Knowledge Systems, AI Laboratory, KSL-94-45, 1994 [KSL-94-45]
- William M. Detmer, Smadar Shiffman, Jeremy C. Wyatt, Charles P. Friedman, Christopher D. Lane, Lawrence M. Fagan. A Continuous-Speech Interface to a Decision-Support System: II. An Evaluation Using a Wizard-of-Oz Experiment , Knowledge Systems, AI Laboratory, KSL-94-38, 1994 [KSL-94-38]
- N. Serdar Uckun, Barbara Hayes-Roth. A Control Architecture for Intelligent Mobile Robots , Knowledge Systems, AI Laboratory, KSL-93-09,January 1993 [KSL-93-09]
- Jie Bao, Paul R. Smart, Dave Braines, Gareth Jones, Nigel R. Shadbolt. A Controlled Natural Language Interface for Semantic Media Wiki , Tetherless World Constellation, TW-2009-05, 2009 [TW-2009-05] [ download paper ]
- Jie Bao, Paul R. Smart, Dave Braines. A Controlled Natural Language Interface for Semantic Media Wiki Using the Rabbit Language , CNL pp.In Process, 2009 [TW-2009-03] [ download paper ]
- Thierry Barsalou, Gio Wiederhold. A Cooperative Hypertext Interface to Relational Databases , Knowledge Systems, AI Laboratory, KSL-89-18, 1989 [KSL-89-18]
- Carlos Pedrinaci, John Domingue, Ana Karla Alves de Medeiros. A Core Ontology for Business Process Analysis , ESWC pp.49-64, 2008
- Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto. A Critical Look at Critics in HTN Planning , IJCAI pp.1592-1598, 1995
- Sonia Bergamaschi, Francesco Guerra, Maurizio Vincini. A Data Integration Framework for e-Commerce Product Classification , International Semantic Web Conference pp.379-393, 2002
- Peter Buneman, Susan B. Davidson, Kyle Hart, G. Christian Overton, Limsoon Wong. A Data Transformation System for Biological Data Sources , VLDB pp.158-169, 1995
- Dave Braines, Yannis Kalfoglou, Paul R. Smart, Nigel R. Shadbolt, Jie Bao. A Data-Intensive Lightweight Semantic Wrapper Approach to Aid Information Integration , Fourth International Workshop on Contexts and Ontologies (C&O-2008), 2008 [TW-2008-21] [ download paper ]
- Michael Stonebraker. A Database Perspective , On Conceptual Modelling (Intervale) pp.457-458, 1982
- Raymond A. Lorie, Dan McNabb, Wil Plouffe, Klaus R. Dittrich. A Database System for Engineering Design , BTW pp.356-361, 1985
- Matei Ripeanu, Ian T. Foster. A Decentralized, Adaptive Replica Location Mechanism , HPDC pp.24-, 2002
- Rhea Tombropoulos, Smadar Shiffman, C. Davidson. A Decision Aid for Diagnosis of Liver Lesions on MRI , Knowledge Systems, AI Laboratory, KSL-93-36, 1993 [KSL-93-36]
- Curtis Langlotz. A Decision-Theoretic Approach to Heuristic Planning , Knowledge Systems, AI Laboratory, KSL-89-89,June 1989 [KSL-89-89]
- Harold P. Lehmann. A Decision-Theoretic Model for Using Scientific Data , Knowledge Systems, AI Laboratory, KSL-89-41, 1990 [KSL-89-41]
- Keith L. Clark, Ian T. Foster. A Declarative Environment for Concurrent Logic Programming , TAPSOFT, Vol.2 pp.212-242, 1987
- Sasa Buvac, Richard Fikes. A Declarative Formalization of Knowledge Translation , Knowledge Systems, AI Laboratory, KSL-94-59,August 1994 [KSL-94-59]
- Ian T. Foster. A Declarative State Transition System , J. Log. Program. 10 (1/2/3 \& 4) pp.45-67, 1991
- Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne. A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor , POLICY pp.225-227, 2008
- Arvind Arasu, Jennifer Widom. A Denotational Semantics for Continuous Queries over Streams and Relations , SIGMOD Record 33 (3) pp.6-12, 2004
- Jennifer Widom. A Denotational Semantics for the Starburst Production Rule Language , SIGMOD Record 21 (3) pp.4-9, 1992
- Deborah L. McGuinness, Peter Fox, Luca Cinquini, Patrick West, Jose M. Garcia, James L. Benedict, Don Middleton. A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory , Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07) Intelligent Systems Track,July 2007 [KSL-07-02] [ download paper ]
- Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Charles Lee Isbell, Matt Parker, Christopher A. Welty. A Description Logic Based Configurator for the Web , SIGART Bulletin, 9(2),Fall 1998 [KSL-98-26]
- Ian Horrocks, Alan L. Rector, Carole A. Goble. A Description Logic Based Schema for the Classification of Medical Data , KRDB, 1996
- Carole A. Goble, Andrzej J. Glowinski, W. A. Nowlan, Alan L. Rector. A Descriptive Semantic Formalism for Medicine , ICDE pp.624-631, 1993
- Andreas Geppert, Stella Gatziu, Klaus R. Dittrich. A Designer's Benchmark for Active Database Management Systems: oo7 Meets the BEAST , Rules in Database Systems pp.309-326, 1995
- Gregory F. Cooper. A Diagnostic Method That Uses Casual Knowledge and Linear Programming in the Application of Bayes' Formula , Knowledge Systems, AI Laboratory, KSL-86-09, 1986 [KSL-86-09]
- Steven Fitzgerald, Ian T. Foster, Carl Kesselman, Gregor von Laszewski, Warren Smith, Steven Tuecke. A Directory Service for Configuring High-Performance Distributed Computations , HPDC pp.365-376, 1997
- Berthe Y. Choueiry, Guevara Noubir. A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets , Knowledge Systems, AI Laboratory,August 1998 [KSL-98-23]
- Michael Stonebraker, Erich J. Neuhold. A Distributed Database Version of INGRES , Berkeley Workshop pp.19-36, 1977
- Luc Moreau. A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects , ICFP pp.204-215, 1998
- Miguel Alves, Carlos Viegas Dam\'asio, Wolfgang Nejdl, Daniel Olmedilla. A Distributed Tabling Algorithm for Rule Based Policy Systems , POLICY pp.123-132, 2006
- Peter Buneman, Atsushi Ohori. A Domain Theoretic Approach to Higher-Order Relations , ICDT pp.91-104, 1986
- Barbara Hayes-Roth, Karl Pfleger, Philippe Lal, A, Philippe Morignot, Marko Balabanovic. A Domain-Specific Software Architecture for Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-94-11, 1994 [KSL-94-11]
- Barbara Hayes-Roth, Jan Eric Larsson. A Domain-Specific Software Architecture for a Class of Intelligent Patient Monitoring Agents , Knowledge Systems, AI Laboratory, KSL-94-20, 1994 [KSL-94-20]
- G. Byrd, Russell Nakano, Bruce A. Delagi. A Dynamic, Cut-Through Communications Protocol with Multicast , Knowledge Systems, AI Laboratory, KSL-87-44,August 1987 [KSL-87-44]
- Ajith Ranabahu, Meenakshi Nagarajan, Amit P. Sheth, Kunal Verma. A Faceted Classification Based Approach to Search and Rank Web APIs , ICWS pp.177-184, 2008
- Barbara Rieche, Klaus R. Dittrich. A Federated DBMS-Based Integrated Environment for Molecular Biology , SSDBM pp.118-127, 1994
- Jeffrey D. Ullman, Jennifer Widom. A First Course in Database Systems , Prentice-Hall, 1997
- Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, Cl\'audio T. Silva. A First Study on Clustering Collections of Workflow Graphs , IPAW pp.160-173, 2008
- Richard Fikes, Deborah L. McGuinness, Richard J. Waldinger. A First-Order Logic Semantics for Semantic Web Markup Languages , Knowledge Systems, AI Laboratory, Stanford University, KSL-02-01,January 2002 [KSL-02-01] [ download paper ]
- Juliana Freire, Maya Ramanath, Lingzhi Zhang. A Flexible Infrastructure for Gathering XML Statistics and Estimating Query Cardinality , ICDE pp.857, 2004
- Walter Sujansky, Russ B. Altman. A Formal Evaluation of the TransFER Model for Bridging Heterogeneous Databases , Knowledge Systems, AI Laboratory,May 1995 [KSL-95-49]
- Freddy L\'ecu\'e. A Formal Model for Semantic Web Service Composition , International Semantic Web Conference pp.385-398, 2006
- Pascal Auillans, Patrice Ossona de Mendez, Pierre Rosenstiehl, Bernard Vatant. A Formal Model for Topic Maps , International Semantic Web Conference pp.69-83, 2002
- Dale Skeen, Michael Stonebraker. A Formal Model of Crash Recovery in a Distributed System , IEEE Trans. Software Eng. 9 (3) pp.219-228, 1983
- Yuval Shahar, Manfred Aben, Mark A. Musen. A Framework for Acquiring Temporal-Abstraction Knowledge , Knowledge Systems, AI Laboratory, KSL-93-02,January 1993 [KSL-93-02]
- Yogesh L. Simmhan, Beth Plale, Dennis Gannon. A Framework for Collecting Provenance in Data-Centric Scientific Workflows , ICWS pp.427-436, 2006
- Eric Horvitz, David Heckerman, Curtis Langlotz. A Framework for Comparing Alternative Formalisms for Plausible Reasoning , AAAI pp.210-214, 1986 [KSL-86-25]
- Kuo Chu Lee, William H. Mansfield, Amit P. Sheth. A Framework for Controlling Cooperative Agents , IEEE Computer 26 (7) pp.8-16, 1993
- Vlad Grigore Dabija, Barbara Hayes-Roth. A Framework for Deciding When to Plan to React , Knowledge Systems, AI Laboratory, KSL-93-10, 1993 [KSL-93-10]
- Norman Murray, Carole A. Goble, Norman W. Paton. A Framework for Describing Visual Interfaces to Databases , J. Vis. Lang. Comput. 9 (4) pp.429-456, 1998
- David A. Klein, Edward H. Shortliffe. A Framework for Explaining Decision-Theoretic Advice , Knowledge Systems, AI Laboratory, KSL-91-29, 1991 [KSL-91-29]
- Peter Haase, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure. A Framework for Handling Inconsistency in Changing Ontologies , International Semantic Web Conference pp.353-367, 2005
- Yuval Shahar. A Framework for Knowledge-Based Temporal Abstraction , Knowledge Systems, AI Laboratory, KSL-95-29,March 1995 [KSL-95-29]
- Lei Zhang, Alexander Brodsky, Vipin Swarup, Sushil Jajodia. A Framework for Maximizing Utility of Sanitized Documents Based on Meta-labeling , POLICY pp.181-188, 2008
- Bertram Ludäscher, Yannis Papakonstantinou, Pavel Velikhov. A Framework for Navigation-Driven Lazy Mediators , WebDB (Informal Proceedings) pp.85-90, 1999
- Natalya Fridman Noy, Abhita Chugh, William Liu, Mark A. Musen. A Framework for Ontology Evolution in Collaborative Environments , International Semantic Web Conference pp.544-558, 2006
- David A. Klein, Martin Weber, Edward H. Shortliffe. A Framework for Refining Multiattribute Value Functions in Computer-Based Decision Aids , Knowledge Systems, AI Laboratory, KSL-91-04, 1991 [KSL-91-04]
- Cartic Ramakrishnan, Krys Kochut, Amit P. Sheth. A Framework for Schema-Driven Relationship Discovery from Unstructured Text , International Semantic Web Conference pp.583-596, 2006
- Tim Berners-Lee, Wendy Hall, James A. Hendler, Kieron O'Hara, Nigel Shadbolt, Daniel J. Weitzner. A Framework for Web Science , Foundations and Trends in Web Science 1 (1) pp.1-130, 2006
- Ilkay Altintas, Adam Birnbaum, Kim Baldridge, Wibke Sudholt, Mark A. Miller, C\'eline Amoreira, Yohann Potier, Bertram Ludäscher. A Framework for the Design and Reuse of Grid Workflows , SAG pp.120-133, 2004
- Richard Lin, Leslie A. Lenert, Blackford Middleton, Smadar Shiffman. A Free-Text Processing System to Capture Physical Findings: Canonical Phrase Identification System (CAPIs) , Knowledge Systems, AI Laboratory, KSL-91-27, 1991 [KSL-91-27]
- Aurona Gerber, Alta van der Merwe, Andries Barnard. A Functional Semantic Web Architecture , ESWC pp.273-287, 2008
- Javier Rubio-Loyola, Joan Serrat, Marinos Charalambides, Paris Flegkas, George Pavlou. A Functional Solution for Goal-Ooriented Policy Refinement , POLICY pp.133-144, 2006
- Michael Stonebraker. A Functional View of Data Independence , SIGMOD Workshop, Vol. 1 pp.63-81, 1974
- Joan D. Walton, Edward H. Shortliffe. A Future View of the Physician's Workstation , Knowledge Systems, AI Laboratory, KSL-89-74, 1989 [KSL-89-74]
- Geoff Sutcliffe. A General Clause Theorem Prover , CADE pp.675-676, 1990
- Gerhard Friedrich, Kostyantyn M. Shchekotykhin. A General Diagnosis Method for Ontologies , International Semantic Web Conference pp.232-246, 2005
- Vipin Kumar, Dana S. Nau, Laveen N. Kanal. A Generalization of the AO* Algorithm , Annual IEEE International Computer Software and Applications Conference (COMPSAC-85), 1985
- Markus Luczak-R\"osch, Ralf Heese. A Generic Corporate Ontology Lifecycle , SemWiki, 2008
- J. Christopher Beck, Mark S. Fox. A Generic Framework for Constraint-Directed Search and Scheduling , AI Magazine 19 (4) pp.101-130, 1998
- Suzanne M. Paley, Peter D. Karp. A Generic Knowledge-base Browser and Editor , Proceedings of IAAI - 97,February 1997 [KSL-97-11]
- Mary F. Fern\'andez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum. A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers , PADL pp.133-149, 2008
- Wang Chiew Tan, Ke Wang, Limsoon Wong. A Graphical Interface to Genome Multidatabases , J. Database Manag. 9 (1) pp.24-32, 1998
- James F. Brinkley, Bruce G. Buchanan, Russ B. Altman, Bruce S. Duncan, Craig Cornelius. A Heuristic Refinement Method for Spatial Constraint Satisfaction Problems , Knowledge Systems, AI Laboratory, KSL-87-05,January 1987 [KSL-87-05]
- Yingwei Luo, Li Ding, Xiaolin Wang, Wenjun Wang, Zhuoqun Xu. A Hierarchical Component-based WebGIS and Its Key Technologies , Computers and Artificial Intelligence 24 (3), 2005
- Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek. A High-Performance Parallel Theorem Prover , CADE pp.649-650, 1990
- Amar K. Das, Samson W. Tu, Mark A. Musen. A Historical Relational Data Model for Managing Temporal Data , Knowledge Systems, AI Laboratory, KSL-91-77, 1992 [KSL-91-77]
- Kevin Johnson, Alex Poon, Smadar Shiffman, Richard Lin, Lawrence M. Fagan. A History-Taking System that Uses Continuous Speech Recognition , Knowledge Systems, AI Laboratory, KSL-92-23, 1992 [KSL-92-23]
- Edward Herskovits. A Hybrid Classifier for Automated Radiologic Diagnosis: Preliminary Results and Clinical Applications , Knowledge Systems, AI Laboratory, KSL-90-46, 1990 [KSL-90-46]
- Gregor von Laszewski, Ian T. Foster, Jarek Gawor, Peter Lane. A Java commodity grid kit , Concurrency and Computation: Practice and Experience 13 (8-9) pp.645-662, 2001
- Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna V\"olker. A Kernel Revision Operator for Terminologies - Algorithms and Evaluation , International Semantic Web Conference pp.419-434, 2008
- G. Nakano, Sanjay Bhansali. A Knowledge-Based Approach for Consistency Checking Mechanism in Software Design , Knowledge Systems, AI Laboratory, KSL-93-26, 1993 [KSL-93-26]
- Yuval Shahar. A Knowledge-Based Method for Temporal Abstraction of Clinical Data , Knowledge Systems, AI Laboratory, KSL-94-64,October 1994 [KSL-94-64]
- Paolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich. A Large Scale Taxonomy Mapping Evaluation , International Semantic Web Conference pp.67-81, 2005
- Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan. A Layered Architecture for Querying Dynamic Web Content , SIGMOD Conference pp.491-502, 1999
- James A. Hendler. A Letter from the Editor: Avoiding Rejection , IEEE Intelligent Systems 20 (5) pp.2-4, 2005
- Ian T. Foster, David R. Kohr Jr., Rakesh Krishnaiyer, Alok N. Choudhary. A Library-Based Approach to Task Parallelism in a Data-Parallel Language , J. Parallel Distrib. Comput. 45 (2) pp.148-158, 1997
- He Yuan Huang, Huafang Tan, Jun Zhu, Wei Zhao. A Lightweight Approach to Partially Reuse Existing Component-Based System in Service-Oriented Environment , ICSR pp.245-256, 2008
- Heather Brown, Peter J. Brown, Les Carr, Wendy Hall, Wendy Milne, Luc Moreau. A Link-Oriented Comparison of Hyperdocuments and Programs , DDEP/PODDP pp.1-12, 2000
- Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. A Little Semantic Web Goes a Long Way in Biology , International Semantic Web Conference pp.786-800, 2005
- Yong Zhao, Shiyong Lu. A Logic Programming Approach to Scientific Workflow Provenance Querying , IPAW pp.31-44, 2008
- J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt. A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice , PLAN-X pp.80-90, 2007
- Zeinab Iranmanesh, Morteza Amini, Rasool Jalili. A Logic for Multi-domain Authorization Considering Administrators , POLICY pp.189-196, 2008
- Keith E. Campbell, Amar K. Das, Mark A. Musen. A Logical Foundation for Representation of Clinical Data , Knowledge Systems, AI Laboratory, KSL-94-02, 1994 [KSL-94-02]
- Bertram Ludäscher, Ulrich Hamann, Georg Lausen. A Logical Framework for Active Rules , COMAD pp.0-, 1995
- Ian T. Foster, Anthony J. Kusalik. A Logical Treatment of Secondary Storage , SLP pp.58-67, 1986
- Martine De Cock, Paulo Pinheiro da Silva. A Many Valued Representation and Propagation of Trust and Distrust , Knowledge Systems, AI Laboratory, KSL-05-09, 2005 [KSL-05-09]
- Luc Moreau, Norliza Zaini, Jing Zhou, Nicholas R. Jennings, Yan Zheng Wei, Wendy Hall, David de Roure, Ian Gilchrist, Mark O'Dell, Siegfried Reich, Tobias Berka, Claudia Di Napoli. A Market-Based Recommender System , AOISAAMAS, 2002
- Henry M. Kim, Arijit Sengupta, Mark S. Fox, Mehmet M. Dalkilic. A Measurement Ontology Generalizable for Emerging Domain Applications on the Semantic Web , J. Database Manag. 18 (1) pp.20-42, 2007
- Carole A. Goble, Peter Crowther, Danny Solomon. A Medical Terminology Server , DEXA pp.661-670, 1994
- Brian Phillips, James A. Hendler. A Message-Passing Control Structure For Text Understanding , COLING pp.307-312, 1982
- Werner Dreyer, Klaus R. Dittrich. A Meta Model and an Infrastructure for the Non-Transparent Replication of Object Databases , CIKM pp.344-351, 2000
- Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. A Meta-Modeling Approach to Web Services , ICWS pp.796-799, 2004
- Mark van Assem, Maarten R. Menken, Guus Schreiber, Jan Wielemaker, Bob J. Wielinga. A Method for Converting Thesauri to RDF/OWL , International Semantic Web Conference pp.17-31, 2004
- Willem Robert van Hage, Hap Kolb, Guus Schreiber. A Method for Learning Part-Whole Relations , International Semantic Web Conference pp.723-735, 2006
- He Tan, Patrick Lambrix. A Method for Recommending Ontology Alignment Strategies , ISWC/ASWC pp.494-507, 2007
- Gregory F. Cooper, Eric Horvitz, David Heckerman. A Method for Temporal Probabilistic Reasoning , Knowledge Systems, AI Laboratory, KSL-88-30,October 1990 [KSL-88-30]
- Geoffrey W. Rutledge, Ross D. Shachter. A Method for the Dynamic Selection of Models Under Time Constraints , Selecting Models from Data: Artificial Intelligence and Statistics IV, P Cheeseman and RW Oldford, eds () pp.79-88, 1994 [KSL-92-75]
- Willem Robert van Hage, Sophia Katrenko, Guus Schreiber. A Method to Combine Linguistic Ontology-Mapping Techniques , International Semantic Web Conference pp.732-744, 2005
- Alvaro Graves, Sibel Adali, James A. Hendler. A Method to Rank Nodes in an RDF Graph , International Semantic Web Conference (Posters \& Demos), 2008 [TW-2008-15]
- Samson W. Tu, Carol A. Kemper, Nancy M. Lane, R. Carlson, Mark A. Musen. A Methodology for Determining Patients' Eligibility for Clinical Trials , Knowledge Systems, AI Laboratory, KSL-92-78,November 1992 [KSL-92-78]
- Curtis Langlotz, Edward H. Shortliffe, Lawrence M. Fagan. A Methodology for Generating Computer-Based Explanations of Decision-Theoretic Advice , Knowledge Systems, AI Laboratory, KSL-86-57,November 1988 [KSL-86-57]
- Donald W. Rucker, Edward H. Shortliffe. A Methodology for Implementing Clinical Algorithms Using Expert System an Database Tools , Knowledge Systems, AI Laboratory, KSL-89-19, 1989 [KSL-89-19]
- Chris Wroe, Robert Stevens, Carole A. Goble, Michael Ashburner. A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL , Pacific Symposium on Biocomputing pp.624-635, 2003
- Guus Schreiber, Inger I. Blok, Daan Carlier, Wouter P. C. van Gent, Jair Hokstam, Uri Roos. A Mini-experiment in Semantic Annotation , International Semantic Web Conference pp.404-408, 2002
- Jinghai Rao, Dimitar Dimitrov, Paul Hofmann, Norman M. Sadeh. A Mixed Initiative Semantic Web Framework for Process Composition , International Semantic Web Conference pp.873-886, 2006
- Saartje Brockmans, Robert M. Colomb, Peter Haase, Elisa F. Kendall, Evan K. Wallace, Christopher A. Welty, Guo Tong Xie. A Model Driven Approach for Building OWL DL and OWL Full Ontologies , International Semantic Web Conference pp.187-200, 2006
- Jeff Heflin, Zhengxiang Pan. A Model Theoretic Semantics for Ontology Versioning , International Semantic Web Conference pp.62-76, 2004
- Selene Makarios. A Model Theory for a Quantified Generalized Logic of Contexts , Knowledge Systems, AI Laboratory, KSL-06-08, 2006 [KSL-06-08]
- J. van der Lei, Mark A. Musen. A Model for Critiquing Based on Automated Medical Records , Knowledge Systems, AI Laboratory, KSL-91-18, 1991 [KSL-91-18]
- Meiyappan Nagappan, Mladen A. Vouk. A Model for Sharing of Confidential Provenance Information in a Query Based System , IPAW pp.62-69, 2008
- Catalin Dumitrescu, Michael Wilde, Ian T. Foster. A Model for Usage Policy-Based Resource Allocation in Grids , POLICY pp.191-200, 2005
- Shawn Bowers, Timothy M. McPhillips, Bertram Ludäscher, Shirley Cohen, Susan B. Davidson. A Model for User-Oriented Data Provenance in Pipelined Scientific Workflows , IPAW pp.133-147, 2006
- William M. Detmer, Edward H. Shortliffe. A Model of Clinical Query Management that Supports Integration of Biomedical Information Over the World Wide Web , Proceedings of the Nineteenth Annual Symposium on Computer Applications in Medical Care. pp.898-902, 1995 [KSL-95-45]
- David S. Frankel, Patrick J. Hayes, Elisa F. Kendall, Deborah L. McGuinness. A Model-Driven Semantic Web: Reinforcing Complimentary Strengths , MDA Journal, Business Process Trends (),July 2004
- Ilkay Altintas, Sangeeta Bhagwanani, David Buttler, Sandeep Chandra, Zhengang Cheng, Matthew Coleman, Terence Critchlow, Amarnath Gupta, Wei Han, Ling Liu, Bertram Ludäscher, Calton Pu, Reagan Moore, Arie Shoshani, Mladen A. Vouk. A Modeling and Execution Environment for Distributed Scientific Workflows , SSDBM pp.247-250, 2003
- Barbara Hayes-Roth, M. Johnson Jr., Alan Garvey, Micheal Hewett. A Modular and Layered Environment for Reasoning about Action , Knowledge Systems, AI Laboratory, KSL-86-38, 1987 [KSL-86-38]
- Vikram Manikonda, P. S. Krishnaprasad, James A. Hendler. A Motion Description Language and a Hybrid Architecture for Motion Planning. with Nonholonomic Robots , ICRA pp.2021-2028, 1995
- Wei Zhao, John A. Stankovic, Krithi Ramamritham. A Multi-Access Window Protocol for Transmission of Time Constrained Messages , ICDCS pp.384-392, 1988
- Barbara Hayes-Roth. A Multi-Processor Interrupt-Driven Architecture for Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-87-31,June 1987 [KSL-87-31]
- Francis St-Onge, David Kidston, Isabelle Labb\'e. A Multi-level Policy Representation for Management Services in Maritime Networks , POLICY pp.96-108, 2007
- Eric Horvitz. A Multiattribute Utility Approach to Inference Understandability and Explanation , Knowledge Systems, AI Laboratory, KSL-87-28, 1987 [KSL-87-28]
- Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk. A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids , CoRR Cs.DC/0206038 (), 2002 … further resultswarning.pngSome subquery has no valid condition.
1992
- Henri Jacques Suermondt, Gregory F. Cooper, David Heckerman. A Combination of Cutset Conditioning with Clique-Tree Propagation in the Pathfinder System , Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence pp.245-254, 1992 [KSL-90-47]
- Amar K. Das, Samson W. Tu, Mark A. Musen. A Historical Relational Data Model for Managing Temporal Data , Knowledge Systems, AI Laboratory, KSL-91-77, 1992 [KSL-91-77]
- Kevin Johnson, Alex Poon, Smadar Shiffman, Richard Lin, Lawrence M. Fagan. A History-Taking System that Uses Continuous Speech Recognition , Knowledge Systems, AI Laboratory, KSL-92-23, 1992 [KSL-92-23]
- Samson W. Tu, Carol A. Kemper, Nancy M. Lane, R. Carlson, Mark A. Musen. A Methodology for Determining Patients' Eligibility for Clinical Trials , Knowledge Systems, AI Laboratory, KSL-92-78,November 1992 [KSL-92-78]
- Angel R. Puerta, John W. Egar, Samson W. Tu, Mark A. Musen. A Multiple-Method Knowledge-Acquisition Shell for the Automatic Generation of Knowledge-Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-91-24, 1992 [KSL-91-24]
- Suzanne Backen Henry, J. G. Schreiner, David Borchelt, Mark A. Musen. A Needs Analysis for Computer-Based Telephone Triage in a Community AIDS Clinic , Knowledge Systems, AI Laboratory, KSL-92-52, 1992 [KSL-92-52]
- Edward A. Feigenbaum. A Personal View of Expert Systems: Looking Back and Looking Ahead , Knowledge Systems, AI Laboratory, KSL-92-41,April 1992 [KSL-92-41]
- Yuval Shahar, Samson W. Tu, Amar K. Das, Mark A. Musen. A Problem-Solving Architecture for Managing Temporal Data and Their Abstractions , AAAI, KSL-92-22, 1992 [KSL-92-22]
- Mark A. Musen, Samson W. Tu, Yuval Shahar. A Problem-Solving Model for Protocol-Based Care: From e-ONCOCIN to EON , Knowledge Systems, AI Laboratory, KSL-91-61, 1992 [KSL-91-61]
- Yuval Shahar, Mark A. Musen. A Temporal-Abstraction System for Patient Monitoring , Knowledge Systems, AI Laboratory, KSL-92-14, 1992 [KSL-92-14]
- Alon Y. Halevy, Yumi Iwasaki, Hiroshi Motoda. Acquiring (Ir)relevance Knowledge for Problem solving , Knowledge Systems, AI Laboratory, KSL-92-46,April 1992 [KSL-92-46]
- David Ash, Barbara Hayes-Roth. Action-Based Fault Hierarchies for Real-Time Response , Knowledge Systems, AI Laboratory, KSL-92-05, 1992 [KSL-92-05]
- Henri Jacques Suermondt, Gregory F. Cooper. An Evaluation of Explanations of Probabilistic Inference , Knowledge Systems, AI Laboratory, KSL-92-16, 1992 [KSL-92-16]
- David Heckerman, Bharat N. Nathwani. An Evaluation of the Diagnostic Accuracy of Pathfinder , Knowledge Systems, AI Laboratory, KSL-92-25, 1992 [KSL-92-25]
- Amar K. Das, Samson W. Tu, Gretchen P. Purcell, Mark A. Musen. An Extended SQL for Temporal Data Management in Clinical Decision-Support Systems , Knowledge Systems, AI Laboratory, KSL-92-24, 1992 [KSL-92-24]
- Alex Poon, Kevin Johnson, Lawrence M. Fagan. Augmented Transition Networks as a Representation for Knowledge-Based History-Taking System , Knowledge Systems, AI Laboratory, KSL-92-20, 1992 [KSL-92-20]
- Angel R. Puerta, John W. Egar, Mark A. Musen. Automated Generation of Knowledge-Acquisition Tools with Mecano , Knowledge Systems, AI Laboratory, KSL-91-62, 1992 [KSL-91-62]
- P. P, Urang Nayak. Automated Modeling of Physical Systems , Knowledge Systems, AI Laboratory, KSL-92-69, 1992 [KSL-92-69]
- Richard Washington. Back to the Future: Forward Versus Backward Search for Real-Time Planning , Knowledge Systems, AI Laboratory, KSL-92-79,December 1992 [KSL-92-79]
- Gregory F. Cooper. Bayesian Belief-Network Inference Using Recursive Decomposition , Knowledge Systems, AI Laboratory, KSL-90-05,July 1992 [KSL-90-05]
- P. P, Urang Nayak. Causal Approximations , Knowledge Systems, AI Laboratory, KSL-92-31, 1992 [KSL-92-31]
- Hirotoshi Maegawa. ConClass: A Framework for Real-Time Distributed Knowledge-Based Processing , Knowledge Systems, AI Laboratory, KSL-92-73,October 1992 [KSL-92-73]
- Alon Y. Halevy, Yehoshua Sagiv. Constraints and Redundancy in Datalog , Knowledge Systems, AI Laboratory, KSL-92-26, 1992 [KSL-92-26]
- Keith E. Campbell, Mark A. Musen. Creation of a Systematic Domain for Medical Care: The need for a Comprehensive Patient-Description Vocabulary , In Lun KC, Deguolet P, Piemme TE,Rienhoff O, eds. Proceedings of the Seventh World Congress on Medical Informatics (MEDINFO '92), 1992 [KSL-91-60]
- Thomas R. Gruber, Daniel M. Russell. Derivation and Use of Design Rationale Information as Expressed by Designers , Knowledge Systems, AI Laboratory, KSL-92-64,July 1992 [KSL-92-64]
- Yumi Iwasaki, B. Ch, Rasekaran. Design Verification Through Function- and Behavior-Oriented Representations , Proceedings Artificial Intelligence in Design Conference, 1992 [KSL-92-63]
- Chee Meng Low, Yumi Iwasaki. Device Modelling Environment: An Interactive Environment for Modelling Device Behaviour , Knowledge Systems, AI Laboratory, KSL-90-77, 1992 [KSL-90-77]
- John W. Egar, Angel R. Puerta, Mark A. Musen. Diagrammatic Acquisition of Medical Information for Clinical Trials , Knowledge Systems, AI Laboratory, KSL-91-59, 1992 [KSL-91-59]
- Mark A. Musen. Dimensions of Knowledge Sharing and Reuse , Knowledge Systems, AI Laboratory, KSL-91-65, 1992 [KSL-91-65]
- Frederick Hayes-Roth, Lee D. Erman, Allan Terry, Barbara Hayes-Roth. Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications , Knowledge Systems, AI Laboratory, KSL-92-33, 1992 [KSL-92-33]
- Edward H. Shortliffe. Doctors, Patients, and Computers: Will Information Technology Dehumanize Health-Care Delivery? , Knowledge Systems, AI Laboratory, KSL-92-82, 1992 [KSL-92-82]
- Paul Dagum, Adam Galper, Eric Horvitz. Dynamic Network Models for Forecasting , Knowledge Systems, AI Laboratory, KSL-92-51, 1992 [KSL-92-51]
- Edward A. Feigenbaum. Expert Systems: Principles and Practice , Knowledge Systems, AI Laboratory, KSL-91-79, 1992 [KSL-91-79]
- David Heckerman, Edward H. Shortliffe. From Certainty Factors to Belief Networks , Knowledge Systems, AI Laboratory, KSL-91-56, 1992 [KSL-91-56]
- Angel R. Puerta, Henrik Eriksson, John W. Egar, Mark A. Musen. Generation of Knowledge-Acquisition Tools from Reusable Domain Ontologies , Knowledge Systems, AI Laboratory, KSL-92-81,November 1992 [KSL-92-81]
- John W. Egar. Graph-Grammar Assistance for Knowledge Acquisition , Knowledge Systems, AI Laboratory, KSL-92-37,April 1992 [KSL-92-37]
- John W. Egar, Angel R. Puerta, Mark A. Musen. Graph-Grammar Assistance for Modeling of Decisions , Knowledge Systems, AI Laboratory, KSL-92-42, 1992 [KSL-92-42]
- John W. Egar, Mark A. Musen. Graph-Grammar Productions for the Modeling of Medical Dilemmas , Knowledge Systems, AI Laboratory, KSL-92-15, 1992 [KSL-92-15]
- David Ash, G. Gold, Adam Seiver, Barbara Hayes-Roth. Guaranteeing Real-Time Response with Limited Resources , Knowledge Systems, AI Laboratory, KSL-92-04, 1992 [KSL-92-04]
- Barbara Hayes-Roth, Richard Washington, David Ash, Rattikorn Hewett, Anne Collinot, A. Vina, Adam Seiver. Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring , Knowledge Systems, AI Laboratory, KSL-91-42, 1992 [KSL-91-42]
- David H. Millis, Edward H. Shortliffe. Integration of Case-Based and Model-Based Approaches for Reasoning about Legal Aspects of Medical Practice , Knowledge Systems, AI Laboratory, KSL-92-17, 1992 [KSL-92-17]
- Barbara Hayes-Roth. Intelligent Control , Knowledge Systems, AI Laboratory, KSL-92-68,September 1992 [KSL-92-68]
- Alon Y. Halevy. Irrelevance in Problem-Solving , Knowledge Systems, AI Laboratory, KSL-92-45, 1992 [KSL-92-45]
- Sanjay Bhansali, H. Penny Nii. KASE: An Integrated Environment for Software Design , Knowledge Systems, AI Laboratory, KSL-91-73, 1992 [KSL-91-73]
- Yuval Shahar, Samson W. Tu, Mark A. Musen. Knowledge Acquisition for Temporal-Abstraction Mechanisms , Knowledge Systems, AI Laboratory, KSL-91-23, 1992 [KSL-91-23]
- Michael R. Genesereth, Richard Fikes. Knowledge Interchange Format, Version 3.0 Reference Manual , Knowledge Systems, AI Laboratory, KSL-92-86,June 1992 [KSL-92-86]
- Adam Galper, Glenn D. Rennels, Edward H. Shortliffe, Ramesh S. Patil. Medicine, AI in , Knowledge Systems, AI Laboratory, KSL-90-37,April 1992 [KSL-90-37]
- Thomas R. Gruber. Model Formulation as a Problem Solving Task: Computer-assisted Engineering Modeling , Knowledge Systems, AI Laboratory, KSL-92-57, 1992 [KSL-92-57]
- Angel R. Puerta, Samson W. Tu, Mark A. Musen. Modeling Tasks with Mechanisms , Knowledge Systems, AI Laboratory, KSL-92-30, 1992 [KSL-92-30]
- Barbara Hayes-Roth. On Building Integrated Cognitive Agents: A Review of Allen Newell's Unified Theories of Cognition , Knowledge Systems, AI Laboratory, KSL-92-48,September 1992 [KSL-92-48]
- Thomas R. Gruber. Ontolingua: A Mechanism to Support Portable Ontologies , Knowledge Systems, AI Laboratory, KSL-91-66,November 1992 [KSL-91-66]
- Barbara Hayes-Roth. Opportunistic Control of Action in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-92-32, 1992 [KSL-92-32]
- P. P, Urang Nayak. Order of Magnitude Reasoning Using Logarithms , Knowledge Systems, AI Laboratory, KSL-92-29, 1992 [KSL-92-29]
- Walter Sujansky, David Zingmond, M. Toshiyuki, Thierry Barsalou. PENGUIN: An Intelligent System for Modeling and Sharing Declarative Knowledge Stored in Relational Databases , Knowledge Systems, AI Laboratory, KSL-92-83,November 1992 [KSL-92-83]
- Holly Brügge Jimison, Lawrence M. Fagan, Ross D. Shachter, Edward H. Shortliffe. Patient-Specific Explanation in Models of Chronic Disease , Knowledge Systems, AI Laboratory, KSL-92-60, 1992 [KSL-92-60]
- Eckart Walther, Henrik Eriksson, Mark A. Musen. Plug-and-Play: Construction of Task-Specific Expert-System Shells Using Sharable Context Ontologies , AAAI, KSL-92-40, 1992 [KSL-92-40]
- Richard Washington, Barbara Hayes-Roth. Practical Real-Time Planning , Knowledge Systems, AI Laboratory, KSL-92-80, 1992 [KSL-92-80]
- Michael Walker. Probability Estimation for Classification Trees , Knowledge Systems, AI Laboratory, KSL-92-01,January 1992 [KSL-92-01]
- Sanjay Bhansali, Pankaj K. Garg. Process Programming by Hindsight , Knowledge Systems, AI Laboratory, KSL-92-06, 1992 [KSL-92-06]
- Samson W. Tu, Yuval Shahar, Mark A. Musen. Protocol-Based Therapy Management for Graft-Versus-Host Disease , AAAI, KSL-92-39, 1992 [KSL-92-39]
- Kevin Johnson, Alex Poon, Smadar Shiffman, Richard Lin, Lawrence M. Fagan. Q-Med: A Spoken-Language System to Conduct Medical Interviews , Knowledge Systems, AI Laboratory, KSL-92-09,February 1992 [KSL-92-09]
- Paul Dagum, Eric Horvitz. Reformulating Inference Problems through Selective Conditioning , Knowledge Systems, AI Laboratory, KSL-92-50, 1992 [KSL-92-50]
- Alon Y. Halevy, Yumi Iwasaki, Hiroshi Motoda. Relevance Reasoning to Guide Compositional Modeling , Knowledge Systems, AI Laboratory, KSL-92-47, 1992 [KSL-92-47]
- Keith E. Campbell, Mark A. Musen. Representation of Clinical Data Using SNOMED III and Conceptual Graphs , Knowledge Systems, AI Laboratory, KSL-92-13, 1992 [KSL-92-13]
- Raymonde Guindon. Requirements and Design of Design Vision, an Object-Oriented Graphical Interface to an Intelligent Software Design Assistant , Knowledge Systems, AI Laboratory, KSL-92-03, 1992 [KSL-92-03]
- Michael Shwe, Walter Sujansky, Blackford Middleton. Reuse of Knowledge Represented in the Arden Syntax , Knowledge Systems, AI Laboratory, KSL-92-19, 1992 [KSL-92-19]
- Gretchen P. Purcell, D. Mar. SCOUT: Information Retrieval from Full-Text Medical Literature , Knowledge Systems, AI Laboratory, KSL-92-35, 1992 [KSL-92-35]
- Sanjay Bhansali, H. Penny Nii. Software Design by Reusing Architectures , Knowledge Systems, AI Laboratory, KSL-92-38, 1992 [KSL-92-38]
- Sanjay Bhansali, Mehdi T. Har, I. Synthesis of UNIX Programs using Derivational Analogy , Knowledge Systems, AI Laboratory, KSL-92-02, 1992 [KSL-92-02]
- Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen. Task Modeling with Reusable Problem-Solving Methods , Knowledge Systems, AI Laboratory, KSL-92-43,April 1992 [KSL-92-43]
- Edward H. Shortliffe. The Adolescence of AI in Medicine: Will the Field Come of Age in the '90's? , Knowledge Systems, AI Laboratory, KSL-92-76,November 1992 [KSL-92-76]
- Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Don Mckay, Tim Finin, Thomas R. Gruber, Robert Neches. The DARPA Knowledge Sharing Effort: Progress Report , Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference () pp.243-254, 1992 [KSL-93-23]
- Smadar Shiffman, Christopher D. Lane, Kevin Johnson, Lawrence M. Fagan. The Integration of a Continuous-Speech-Recognition System with the QMR Diagnostic Program , Knowledge Systems, AI Laboratory, KSL-92-18, 1992 [KSL-92-18]
- Angel R. Puerta, Samson W. Tu, Mark A. Musen. The New World of Mechanisms , Knowledge Systems, AI Laboratory, KSL-92-61, 1992 [KSL-92-61]
- Walter Sujansky, Michael Shwe. The SQLX System: Generating Explanations for Clinical Rules Encoded in SQL , Knowledge Systems, AI Laboratory, KSL-92-53, 1992 [KSL-92-53]
- David Heckerman, Eric Horvitz, Bharat N. Nathwani. Toward Normative Expert Systems: Part I The Pathfinder Project , Knowledge Systems, AI Laboratory, KSL-92-66, 1992 [KSL-92-66]
- David Heckerman, Bharat N. Nathwani. Toward Normative Expert Systems: Part II. Probability-Based Representations for Efficient Knowledge Acquisition and Inference , Knowledge Systems, AI Laboratory, KSL-92-62, 1992 [KSL-92-62]
- Thomas R. Gruber, Jay M. Tenenbaum, Jay C. Weber. Toward a knowledge medium for collaborative product development , Artificial Intelligence in Design (), 1992 [KSL-91-78]
- Thomas R. Gruber. Toward principles for the design of ontologies used for knowledge sharing , Knowledge Systems, AI Laboratory, KSL-93-04, 1992 [KSL-93-04]
- Jean-Charles Bonnet. Towards a Formal Representation of Device Functionality , Knowledge Systems, AI Laboratory, KSL-92-54,June 1992 [KSL-92-54]
- Alex, Er Borgida. Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed , Knowledge Systems, AI Laboratory, KSL-92-49, 1992 [KSL-92-49]
- Marc Linster, Mark A. Musen. Use of KADS to Create a Conceptual Model of the ONCOCIN Task , Knowledge Systems, AI Laboratory, KSL-92-36, 1992 [KSL-92-36]
- Henrik Eriksson, Angel R. Puerta, Mark A. Musen. User-Interface Design Based on Data Models for Application Programs , Knowledge Systems, AI Laboratory, KSL-92-70,September 1992 [KSL-92-70]
- Yuval Shahar, Samson W. Tu, Mark A. Musen. Using Temporal-Abstraction Mechanisms for Patient Monitoring , AAAI, KSL-92-07, 1992 [KSL-92-07]
1991
- Paul Dagum, Eric Horvitz. A Bayesian Analysis of Randomized Approximation Procedures , Knowledge Systems, AI Laboratory, KSL-91-54,September 1991 [KSL-91-54]
- Harold P. Lehmann. A Bayesian Computer-Based Approach to the Physician's Use of the Clinical Research Literature , Knowledge Systems, AI Laboratory, KSL-91-76,December 1991 [KSL-91-76]
- Gregory F. Cooper, Edward Herskovits. A Bayesian Method for the Induction of Probabilistic Networks from Data , Knowledge Systems, AI Laboratory, KSL-91-02,January 1991 [KSL-91-02]
- Andrew Robert Golding, Paul S. Rosenbloom. A Comparison of Anapron with Seven Other Name-Pronounciation Systems , Knowledge Systems, AI Laboratory, KSL-91-26,April 1991 [KSL-91-26]
- David A. Klein, Edward H. Shortliffe. A Framework for Explaining Decision-Theoretic Advice , Knowledge Systems, AI Laboratory, KSL-91-29, 1991 [KSL-91-29]
- David A. Klein, Martin Weber, Edward H. Shortliffe. A Framework for Refining Multiattribute Value Functions in Computer-Based Decision Aids , Knowledge Systems, AI Laboratory, KSL-91-04, 1991 [KSL-91-04]
- Richard Lin, Leslie A. Lenert, Blackford Middleton, Smadar Shiffman. A Free-Text Processing System to Capture Physical Findings: Canonical Phrase Identification System (CAPIs) , Knowledge Systems, AI Laboratory, KSL-91-27, 1991 [KSL-91-27]
- J. van der Lei, Mark A. Musen. A Model for Critiquing Based on Automated Medical Records , Knowledge Systems, AI Laboratory, KSL-91-18, 1991 [KSL-91-18]
- Samson W. Tu, Yuval Shahar, John Dawes, James Winkles, Angel R. Puerta, Mark A. Musen. A Problem-Solving Model for Episodic Skeletal-Plan Refinement , Knowledge Systems, AI Laboratory, KSL-91-22, 1991 [KSL-91-22]
- Edward H. Shortliffe. AI Meets Decision Science: Emerging Synergies for Decision Support , Advanced Models of Cognition for Medical Training and Practice (D.A. Evans and V.L. Patel, eds.), NATO Advanced Symposium Series (), 1991 [KSL-91-41]
- Edward Herskovits, Gregory F. Cooper. Algorithms for Bayesian Belief-Network Precomputation , Knowledge Systems, AI Laboratory, KSL-89-35, 1991 [KSL-89-35]
- T. Schwartz. An Approach to Generating Explanations in a Device Modeling System , Knowledge Systems, AI Laboratory, KSL-91-52,August 1991 [KSL-91-52]
- David Heckerman, Eric Horvitz, Blackford Middleton. An Approximate Nonmyopic Computation for Value of Information , Knowledge Systems, AI Laboratory, KSL-91-15, 1991 [KSL-91-15]
- Michael Shwe, Gregory F. Cooper. An Empirical Analysis of Likelihood-Weighting Simulation on a Large, Multiply-Connected Belief Network , Knowledge Systems, AI Laboratory, KSL-90-23, 1991 [KSL-90-23]
- Paul Dagum, R. Martin Chavez. Approximating Probabilistic Inference in Bayesian Belief Networks , Knowledge Systems, AI Laboratory, KSL-91-46, 1991 [KSL-91-46]
- Brad R. Farr. Assessment of Preferences through Simulated Decision Scenarios , Knowledge Systems, AI Laboratory, KSL-91-40,June 1991 [KSL-91-40]
- P. P, Urang Nayak, Leo Joskowicz, Sanjaya Addanki. Automated Model Selection using Context-Dependent Behaviors , Knowledge Systems, AI Laboratory, KSL-91-16,May 1991 [KSL-91-16]
- Smadar Shiffman, Alice W. Wu, Alex Poon, Christopher D. Lane, Blackford Middleton, R, Olph A. Miller, Fred E. Masarie Jr., Gregory F. Cooper, Edward H. Shortliffe, Lawrence M. Fagan. Building a Speech Interface to a Medical Diagnostic System , Knowledge Systems, AI Laboratory, KSL-90-70, 1991 [KSL-90-70]
- Michael G. Kahn, Lawrence M. Fagan, Lewis B. Sheiner. Combining Physiologic Models and Symbolic Methods to Interpret Time-Varying Patient Data , Knowledge Systems, AI Laboratory, KSL-91-63, 1991 [KSL-91-63]
- David A. Klein, Martin Weber, Edward H. Shortliffe. Computer-Based Explanation of Multiattribute Decisions , Knowledge Systems, AI Laboratory, KSL-91-36,June 1991 [KSL-91-36]
- Ramanathan V. Guha. Contexts: A Formalization and Some Applications , Knowledge Systems, AI Laboratory, KSL-91-74, 1991 [KSL-91-74]
- Blackford Middleton, J. Kovack, Maria A. Tovar. Cost-Effectiveness of a Medical Decision-Support System: A Pilot Study , Knowledge Systems, AI Laboratory, KSL-91-45,July 1991 [KSL-91-45]
- Thomas R. Gruber, Catherine Baudin, John H. Boose, Jay C. Weber. Design Rationale Capture as Knowledge Acquisition: Tradeoffs in the Design of Interactive Tools in Machine Learning , Machine Learning: Proceedings of the Eighth International Workshop, 1991 [KSL-91-47]
- Gregory F. Cooper, Edward Herskovits. Determination of the Entropy of a Belief Network is NP-Hard , Knowledge Systems, AI Laboratory, KSL-90-21,June 1991 [KSL-90-21]
- Yumi Iwasaki, Shirley G. Tessler, Kincho H. Law. Diagrammatic Reasoning in Problem Solving , Knowledge Systems, AI Laboratory, KSL-92-12,February 1991 [KSL-92-12]
- Geoffrey W. Rutledge. Dynamic Selection of Models Under Time Constraints , Knowledge Systems, AI Laboratory, KSL-91-09,February 1991 [KSL-91-09]
- A. Vina, David Ash, Barbara Hayes-Roth. Engineering Reactive Agents for Real-Time Control , Knowledge Systems, AI Laboratory, KSL-91-43, 1991 [KSL-91-43]
- James Rice, H. Penny Nii, Edward A. Feigenbaum. Expert Systems on Miltiprocessor Architectures: A Summary of Results, Observatinos and Lessons Learned , Knowledge Systems, AI Laboratory, KSL-91-07,January 1991 [KSL-91-07]
- Henri Jacques Suermondt. Explanation of Probabilistic Inference in Bayesian Belief Networks , Knowledge Systems, AI Laboratory, KSL-91-39,June 1991 [KSL-91-39]
- Alon Y. Halevy. Exploiting (Ir)relevance to Guide Problem-solving , Knowledge Systems, AI Laboratory, KSL-91-34,May 1991 [KSL-91-34]
- Michael G. Kahn, Lawrence M. Fagan, Samson W. Tu. Extensions to the Time-Oriented Database Model to Support Temporal Reasoning in Medical Expert Systems , Knowledge Systems, AI Laboratory, KSL-89-85, 1991 [KSL-89-85]
- John A. Drakopoulos. FPR: A Fuzzy Pattern Recognizer Based on Sigmoidals , Knowledge Systems, AI Laboratory, KSL-91-75,December 1991 [KSL-91-75]
- Jean-Charles Bonnet. Functional Representations: a Support for Enriched Reasoning Capabilities , Knowledge Systems, AI Laboratory, KSL-91-58,October 1991 [KSL-91-58]
- Renate Fruchter, Yumi Iwasaki, Kincho H. Law. Generating Qualitative Models for Structural Engineering Analysis and Design , Knowledge Systems, AI Laboratory, KSL-91-21, 1991 [KSL-91-21]
- Richard Fikes, Thomas R. Gruber, Yumi Iwasaki, Alon Y. Halevy, P. P, Urang Nayak. How Things Work Project Overview , Knowledge Systems, AI Laboratory, KSL-91-70,November 1991 [KSL-91-70]
- Rattikorn Hewett. Ice User Manual , Knowledge Systems, AI Laboratory, KSL-91-11,February 1991 [KSL-91-11]
- Thomas R. Gruber. In Search of Common Knowledge about How Things Work: A case Study in Collaborative Representation Design , Knowledge Systems, AI Laboratory, KSL-91-51, 1991 [KSL-91-51]
- Janet Leeann Murdock, Barbara Hayes-Roth. Intelligent Monitoring and Control of Semiconductor Manufacturing Equipment , Knowledge Systems, AI Laboratory, KSL-91-35,December 1991 [KSL-91-35]
- Thomas R. Gruber. Interactive Acquisition of Justifications: Learning "Why" by Being Told "What." , Knowledge Systems, AI Laboratory, KSL-91-17,August 1991 [KSL-91-17]
- David A. Klein, Edward H. Shortliffe. Interactive Diagnosis and Repair of Decision-Theoretic Models , Knowledge Systems, AI Laboratory, KSL-90-19, 1991 [KSL-90-19]
- H. Penny Nii, N. Aiello, Sanjay Bhansali, Raymonde Guindon, L. Peyton. Knowledge Assisted Software Engineering (KASE): An Introduction and Status-June 1991 , Knowledge Systems, AI Laboratory, KSL-91-28,July 1991 [KSL-91-28]
- Richard Fikes, Mark R. Cutkosky, Thomas R. Gruber, Jeffrey Van Baalen. Knowledge Sharing Technology Project Overview , Knowledge Systems, AI Laboratory, KSL-91-71,November 1991 [KSL-91-71]
- A. Vina, Barbara Hayes-Roth. Knowledge-Based Real Time Control: The Use of Abstraction to Satisfy Deadlines , Knowledge Systems, AI Laboratory, KSL-91-57,September 1991 [KSL-91-57]
- Thierry Barsalou, Walter Sujansky, L. Herezenberg, Gio Wiederhold. Management of Complex Immunogenetics Information Using an Enhanced Relational Model , Knowledge Systems, AI Laboratory, KSL-90-42, 1991 [KSL-90-42]
- Edward H. Shortliffe. Medical Informatics and Clinical Decision Making: The Science and the Pragmatics , Knowledge Systems, AI Laboratory, KSL-91-50, 1991 [KSL-91-50]
- Rattikorn Hewett. Model Aggregation on Model-Based Approach using Prime Models - A Preliminary Report , Knowledge Systems, AI Laboratory, KSL-91-12,February 1991 [KSL-91-12]
- Yumi Iwasaki, Chee Meng Low. Model Generation and Simulation of Device Behavior with Continuous and Discrete Changes , Knowledge Systems, AI Laboratory, KSL-91-69, 1991 [KSL-91-69]
- Paul Dagum, Ross D. Shachter, Lawrence M. Fagan. Modeling time in belief networks , Knowledge Systems, AI Laboratory, KSL-91-49,November 1991 [KSL-91-49]
- Edward H. Shortliffe, Paul C. Tang, Don E. Detmer. Patient Records and Computers , Knowledge Systems, AI Laboratory, KSL-91-55, 1991 [KSL-91-55]
- Chih-Chao Lam. Principal-Investigator-in-a-Box: The Executive , Knowledge Systems, AI Laboratory, KSL-91-06,January 1991 [KSL-91-06]
- Michael Shwe, Blackford Middleton, David Heckerman, Max Henrion, Eric Horvitz, Harold P. Lehmann, Gregory F. Cooper. Probabilistic Diagnosis Using a Reformulation of the INTERNIST-1 , Knowledge Systems, AI Laboratory, KSL-90-09, 1991 [KSL-90-09]
- Blackford Middleton, Michael Shwe, David Heckerman, Max Henrion, Eric Horvitz, Harold P. Lehmann, Gregory F. Cooper. Probabilistic Diagnosis Using a Reformulation of the INTERNIST-1 , Knowledge Systems, AI Laboratory, KSL-90-68, 1991 [KSL-90-68]
- Andrew Robert Golding. Pronouncing Names by a Combination of Rule-Based and Case-Based Reasoning , Knowledge Systems, AI Laboratory, KSL-92-34,October 1991 [KSL-92-34]
- Michael Wolverton, Barbara Hayes-Roth. Proposal: Performing Invention with Analogies to "Far-Flung" Concepts , Knowledge Systems, AI Laboratory, KSL-91-31,May 1991 [KSL-91-31]
- Brad R. Farr, Ross D. Shachter. Representation of Preferences in Decision-Support Systems , Knowledge Systems, AI Laboratory, KSL-91-20, 1991 [KSL-91-20]
- Barbara Hayes-Roth, Anne Collinot. Scalability of Real-Time Reasoning in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-91-08,Janury 1991 [KSL-91-08]
- Manu Thapar, Bruce A. Delagi. Simulation of Cache Coherence Protocols on an Instrumented Simulator , Knowledge Systems, AI Laboratory, KSL-91-01, 1991 [KSL-91-01]
- Mark A. Musen, R. Carlson, Lawrence M. Fagan, Stanley S. Deresinski. T-HELPER: Automated Support for Community-Based Clinical Research , Knowledge Systems, AI Laboratory, KSL-92-08, 1991 [KSL-92-08]
- Michael G. Kahn, Samson W. Tu, Lawrence M. Fagan. TQuery: A Context-Sensitive Temporal Query Language , Knowledge Systems, AI Laboratory, KSL-91-68, 1991 [KSL-91-68]
- Paul Dagum, Adam Galper, Eric Horvitz. Temporal Probabilistic Reasoning: Dynamic Network Models for Forecasting , Knowledge Systems, AI Laboratory, KSL-91-64,June 1991 [KSL-91-64]
- Yuval Shahar, Samson W. Tu, Mark A. Musen. Temporal-Abstraction Mechanisms in Management of Clinical Protocols , Knowledge Systems, AI Laboratory, KSL-91-19, 1991 [KSL-91-19]
- Maria A. Tovar, Geoffrey W. Rutledge, Leslie A. Lenert, Lawrence M. Fagan. The Design of a User Interface for Ventilator-Management Advisor , Knowledge Systems, AI Laboratory, KSL-91-25, 1991 [KSL-91-25]
- Nakul P. Saraiya, James Rice. The LAMINA Programming Model: A Worked Example , Knowledge Systems, AI Laboratory, KSL-90-82,January 1991 [KSL-90-82]
- Edward H. Shortliffe. The Networked Physician: Practitioner of the Future , Healthcare Information Management Systems: A Practical Guide (), 1991 [KSL-89-82]
- David Heckerman, Eric Horvitz, Bharat N. Nathwani. The Pathfinder Project: Update 1991 , Knowledge Systems, AI Laboratory, KSL-91-44,July 1991 [KSL-91-44]
- Thomas R. Gruber. The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Base , Proceeding of the Second International Conference on Principles of Knowledge Representation and Reasoning pp.601-602, 1991 [KSL-91-10]
- Eric Horvitz, Geoffrey W. Rutledge. Time-Dependent Utility and Action Under Uncertainty , Proceedings of the seventh conference on Uncertainty in artificial intelligence pp.151-158, 1991 [KSL-91-33]
- Rattikorn Hewett. Transferability of Model-Based Reasoning Using Prime Models in a Reactor Core Cooling Diagnostic System , Knowledge Systems, AI Laboratory, KSL-91-13,February 1991 [KSL-91-13]
- Marc Linster, Mark A. Musen. Use of the KADS Knowledge-Acquisition Method to Model the ONCOCIN task of Cancer-Chemotherapy Administration , Knowledge Systems, AI Laboratory, KSL-91-14, 1991 [KSL-91-14]
- P. P, Urang Nayak. Validating Approximate Equilibrium Models , Knowledge Systems, AI Laboratory, KSL-91-32,May 1991 [KSL-91-32]
- Geoffrey W. Rutledge, George E. Thomsen, Brad R. Farr, Maria A. Tovar, Lewis B. Sheiner, Lawrence M. Fagan. VentPlan: A Ventilator-Management Advisor , Knowledge Systems, AI Laboratory, KSL-91-37, 1991 [KSL-91-37]
1990
- Geoffrey W. Rutledge, Stig K. Andersen, Jeanette X. Polaschek, Lawrence M. Fagan. A Belief Network Model for Interpretation of ICU Data , Knowledge Systems, AI Laboratory, KSL-90-49, 1990 [KSL-90-49]
- Jeanette X. Polaschek, Leslie A. Lenert, Alan M. Garber. A Computer Program for Statistically Based Decision Analysis , Knowledge Systems, AI Laboratory, KSL-90-50, 1990 [KSL-90-50]
- Harold P. Lehmann. A Decision-Theoretic Model for Using Scientific Data , Knowledge Systems, AI Laboratory, KSL-89-41, 1990 [KSL-89-41]
- Edward Herskovits. A Hybrid Classifier for Automated Radiologic Diagnosis: Preliminary Results and Clinical Applications , Knowledge Systems, AI Laboratory, KSL-90-46, 1990 [KSL-90-46]
- Gregory F. Cooper, Eric Horvitz, David Heckerman. A Method for Temporal Probabilistic Reasoning , Knowledge Systems, AI Laboratory, KSL-88-30,October 1990 [KSL-88-30]
- Michael Shwe, Blackford Middleton, David Heckerman, Max Henrion, Eric Horvitz, Harold P. Lehmann, Gregory F. Cooper. A Probabilistic Reformulation of the Quick Medical Reference System , Knowledge Systems, AI Laboratory, KSL-90-11, 1990 [KSL-90-11]
- R. Martin Chavez, Gregory F. Cooper. A Randomized Approximation Algorithm for Logic Sampling , Knowledge Systems, AI Laboratory, KSL-90-36,May 1990 [KSL-90-36]
- Eric H. Sherman. A User-Adaptable Interface to Predict Users' Needs , Knowledge Systems, AI Laboratory, KSL-90-56, 1990 [KSL-90-56]
- David A. Klein, Harold P. Lehmann, Edward H. Shortliffe. A Value-Theoretic Expert System for Evaluating Randomized Clinical Trials , Knowledge Systems, AI Laboratory, KSL-90-20, 1990 [KSL-90-20]
- Richard Lin, Adam Galper, Ross Schachter. Abductive Inference Using Probabilistic Networks: Randomized Search Techniques , Knowledge Systems, AI Laboratory, KSL-90-73,November 1990 [KSL-90-73]
- Richard Washington, Barbara Hayes-Roth. Abstraction Planning in Real-Time , Knowledge Systems, AI Laboratory, KSL-90-15,March 1990 [KSL-90-15]
- Michael Walker, Gio Wiederhold. Acquisition and Validation of Knowledge from Data , Knowledge Systems, AI Laboratory, KSL-90-02, 1990 [KSL-90-02]
- David Ash, A. Vina, Adam Seiver, Barbara Hayes-Roth. Action-oriented diagnosis under real-time constraints , Knowledge Systems, AI Laboratory, KSL-90-39, 1990 [KSL-90-39]
- David Heckerman. An Empirical Comparison of Three Inference Methods , Knowledge Systems, AI Laboratory, KSL-88-38, 1990 [KSL-88-38]
- Yumi Iwasaki. An Integrated Scheme for Using First-Principle Physical Knowledge-Based Simulation , Knowledge Systems, AI Laboratory, KSL-90-58,August 1990 [KSL-90-58]
- Barbara Hayes-Roth. Architectural Foundations for Real-Time Performance in Intelligent Agents , Knowledge Systems, AI Laboratory, KSL-89-63, 1990 [KSL-89-63]
- Homer L. Chin. Automated Diagnosis in Medicine , Knowledge Systems, AI Laboratory, KSL-90-06, 1990 [KSL-90-06]
- Michael Walker. Automated Recognition of Brain Anatomy and Pathology in MRI and CT Images , Knowledge Systems, AI Laboratory, KSL-90-38,May 1990 [KSL-90-38]
- Harold P. Lehmann. Book Review Uncertainty in Artificial Intelligence: A Review in the Context of Recent Workshops , Knowledge Systems, AI Laboratory, KSL-89-13, 1990 [KSL-89-13]
- Eric Horvitz, Henri Jacques Suermondt. Bounded Conditioning: A Flexible Probabilistic Inference Algorithm , Knowledge Systems, AI Laboratory, KSL-88-36,October 1990 [KSL-88-36]
- Manu Thapar, Bruce A. Delagi. Cache Coherence for Large Scale Shared Memory Multiprocessors , Knowledge Systems, AI Laboratory, KSL-89-83, 1990 [KSL-89-83]
- Bruce A. Delagi, Nakul P. Saraiya, G. Byrd. Care User Manual , Knowledge Systems, AI Laboratory, KSL-88-53, 1990 [KSL-88-53]
- Iris D. Tommelein, Barbara Hayes-Roth, Raymond E. Levitt, T. Confrey. Comparing and Contrasting an Expert System and an AI System for Space Planning , Knowledge Systems, AI Laboratory, KSL-90-18,March 1990 [KSL-90-18]
- Eric Horvitz. Computation and Action Under Bounded Resource , Knowledge Systems, AI Laboratory, KSL-90-81,December 1990 [KSL-90-81]
- Eric Horvitz. Computation and Action Under Bounded Resources , Stanford University, KSL-90-76, 1990 [KSL-90-76]
- Thomas R. Gruber, Daniel M. Russell. Design Knowledge and Design Rationale: A Framework for Representation, Capture, and Use , Knowledge Systems, AI Laboratory, KSL-90-45,July 1990 [KSL-90-45]
- Manu Thapar, Bruce A. Delagi. Design and Implementation of a Distributed Cache Coherence Protocol , Knowledge Systems, AI Laboratory, KSL-89-72,April 1990 [KSL-89-72]
- Yumi Iwasaki, K. Doshi. Equation Model Generation: Where do Equations Come From? , Knowledge Systems, AI Laboratory, KSL-90-57,August 1990 [KSL-90-57]
- Eric H. Sherman. Evaluation of User Interfaces , Knowledge Systems, AI Laboratory, KSL-90-55,December 1990 [KSL-90-55]
- Thierry Barsalou, Walter Sujansky, Gio Wiederhold. Expert Data Systems in Biomedicine: The PENGUIN Project , Knowledge Systems, AI Laboratory, KSL-90-12, 1990 [KSL-90-12]
- David A. Klein, Edward H. Shortliffe. Explaining Decision-Theoretic Choices , Knowledge Systems, AI Laboratory, KSL-90-04, 1990 [KSL-90-04]
- A. Bennett. FormIKA: A Form-Based User Interface Management System for Knowledge Acquisition , Knowledge Systems, AI Laboratory, KSL-90-43,June 1990 [KSL-90-43]
- Holly Brügge Jimison. Generating Explanations of Decision Models Based on an Augmented Representation of Uncertainty , Knowledge Systems, AI Laboratory, KSL-90-07, 1990 [KSL-90-07]
- Thomas R. Gruber, Yumi Iwasaki. How Things Work: Knowledge-Based Modeling of Physical Devices , Knowledge Systems, AI Laboratory, KSL-90-51,August 1990 [KSL-90-51]
- Andrew Gans, T. Confrey, J. Harvey, Barbara Hayes-Roth. How WATCH Works: Documentation for the WATCH, NEWWATCH, and METAWATCH Programs , Knowledge Systems, AI Laboratory, KSL-90-03,March 1990 [KSL-90-03]
- Eric Horvitz, John S. Breese. Ideal Partition of Resources for Metareasoning , Knowledge Systems, AI Laboratory, KSL-90-26,March 1990 [KSL-90-26]
- John S. Breese, Eric Horvitz. Ideal Reformulation of Belief Networks , Association for Uncertainty in Artificial Intelligence, 1990 [KSL-90-28]
- David A. Klein, Edward H. Shortliffe. Integrating Artificial Intelligence and Decision Theory in Heuristic Process Control Systems , IBM, KSL-90-01,January 1990 [KSL-90-01]
- David A. Klein, Edward H. Shortliffe. Integrating Artificial Intelligence and Decision Theory to Forecast New Products , Knowledge Systems, AI Laboratory, KSL-90-25, 1990 [KSL-90-25]
- Guy A. Boy, Thomas R. Gruber. Intelligent Assistant Systems: Support for Integrated Human-Machine Systems , Knowledge Systems, AI Laboratory, KSL-90-61, 1990 [KSL-90-61]
- T. Confrey, Barbara Hayes-Roth. Knowledge Based Strategy Generalization , Knowledge Systems, AI Laboratory, KSL-89-45,March 1990 [KSL-89-45]
- Adam Galper, David H. Millis, Douglas L. Brutlag. Knowledge-Based Simulation of DNA Metabolism: Prediction of Action and Envisionment of Pathways , Knowledge Systems, AI Laboratory, KSL-90-71,October 1990 [KSL-90-71]
- Adam Galper, David H. Millis, Douglas L. Brutlag. Knowledge-Based Simulation on DNA Metabolism: Prediction of Action and Envisionment of Pathways , Knowledge Systems, AI Laboratory, KSL-90-72, 1990 [KSL-90-72]
- Edward Herskovits, Gregory F. Cooper. Kutato: An Entropy-Driven System for Construction of Probabilistic Expert Systems from Databases , Knowledge Systems, AI Laboratory, KSL-90-22,March 1990 [KSL-90-22]
- Edward A. Feigenbaum, Robert S. Engelmore, Thomas R. Gruber, Yumi Iwasaki. Large Knowledge Bases for Engineering: The How Things Work Project of the Knowledge Systems Laboratory , Knowledge Systems, AI Laboratory, KSL-90-83,November 1990 [KSL-90-83]
- Thomas R. Gruber. Model-based Explanation of Design Rationale , Knowledge Systems, AI Laboratory, KSL-90-33, 1990 [KSL-90-33]
- P. P, Urang Nayak, Sanjaya Addanki, Leo Joskowicz. Modeling with Context Dependent Behaviors , Knowledge Systems, AI Laboratory, KSL-90-65, 1990 [KSL-90-65]
- Andrew Gans, Barbara Hayes-Roth. NEWWATCH: Learning Interrupted Strategies by Observing Actions , Knowledge Systems, AI Laboratory, KSL-89-44,March 1990 [KSL-89-44]
- Yumi Iwasaki. On the Relationship Between Model Abstraction and Causality , Knowledge Systems, AI Laboratory, KSL-90-59,August 1990 [KSL-90-59]
- Thomas R. Gruber, Daneel Pang, James Rice. Ontolingua: A language to Support Shared Ontologies , Knowledge Systems, AI Laboratory, KSL-90-84,November 1990 [KSL-90-84]
- David H. Millis. PSY , Knowledge Systems, AI Laboratory, KSL-90-54, 1990 [KSL-90-54]
- Adam Galper, Douglas L. Brutlag. Parallel Similarity Search and Alignment with the Dynamic Programming Method , Knowledge Systems, AI Laboratory, KSL-90-74,October 1990 [KSL-90-74]
- John S. Breese, Eric Horvitz. Principles of Problem Reformulation Under Uncertainty , Knowledge Systems, AI Laboratory, KSL-90-27,September 1990 [KSL-90-27]
- David Heckerman. Probabilistic Similarity Networks , Knowledge Systems, AI Laboratory, KSL-90-30,June 1990 [KSL-90-30]
- David Heckerman, Eric Horvitz. Problem Formulation as the Reduction of a Decision Problem , Association for Uncertainty in Artificial Intelligence, 1990 [KSL-89-67]
- Anne Collinot, Barbara Hayes-Roth. Real-Time Control of Reasoning: Experiments with Two Control Models , Knowledge Systems, AI Laboratory, KSL-90-17,March 1990 [KSL-90-17]
- Yumi Iwasaki. Reasoning with Multiple Abstraction Models , Knowledge Systems, AI Laboratory, KSL-90-52,August 1990 [KSL-90-52]
- Thierry Barsalou, Arthur M. Keller, Gio Wiederhold. Relational Updates Through View Objects , Knowledge Systems, AI Laboratory, KSL-90-29, 1990 [KSL-90-29]
- Thierry Barsalou, R. Martin Chavez, Gio Wiederhold. Representing Probabilistic Knowledge in Relational Databases , Knowledge Systems, AI Laboratory, KSL-90-13, 1990 [KSL-90-13]
- Rattikorn Hewett, Barbara Hayes-Roth. Representing and reasoning about physical systems using prime models , Principles of Semantic Networks (), 1990 [KSL-90-40]
- Dan Geiger, David Heckerman. Separable and Transitive Graphoids , Knowledge Systems, AI Laboratory, KSL-90-32, 1990 [KSL-90-32]
- David Heckerman. Similarity Networks for the Construction of Multiple-Fault Belief Networks , Knowledge Systems, AI Laboratory, KSL-90-31, 1990 [KSL-90-31]
- Nakul P. Saraiya, Bruce A. Delagi, Sayuri Nishimura. Simple , Knowledge Systems, AI Laboratory, KSL-90-66,September 1990 [KSL-90-66]
- Eric Horvitz. Some Fundamental Problems and Opportunities From the Standpoint of Rational Agency , Knowledge Systems, AI Laboratory, KSL-89-30,October 1990 [KSL-89-30]
- Walter Sujansky, Thierry Barsalou, Gio Wiederhold. Structural Semantics and Complex Objects for the Coupling of Relational Databases and Knowledge-Based Systems , Knowledge Systems, AI Laboratory, KSL-90-44,July 1990 [KSL-90-44]
- Harold P. Lehmann, Edward H. Shortliffe. THOMAS: Building Bayesian Statistical Expert Systems to Aid in Clinical Decision Making , Knowledge Systems, AI Laboratory, KSL-90-10, 1990 [KSL-90-10]
- David Ash, Barbara Hayes-Roth. Temporal Representations in Blackboard Architectures , Knowledge Systems, AI Laboratory, KSL-90-16,March 1990 [KSL-90-16]
- Gregory F. Cooper. The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , Knowledge Systems, AI Laboratory, KSL-90-34, 1990 [KSL-90-34]
- Thomas R. Gruber. The Development of Large, Shared Knowledge-Bases: Collaborative Activities at Stanford , Knowledge Systems, AI Laboratory, KSL-90-62,August 1990 [KSL-90-62]
- Herbert A. Simon, Jayant Kalagnanam, Yumi Iwasaki. The Mathematical Bases for Qualitative Reasoning , Knowledge Systems, AI Laboratory, KSL-90-60,August 1990 [KSL-90-60]
- Hirotoshi Maegawa. The Parallel Solution of Classification Problems , Knowledge Systems, AI Laboratory, KSL-89-68,January 1990 [KSL-89-68]
- Thomas R. Gruber. The Role of Standard Knowledge Representation for Sharing Knowledge-Based Technology , Knowledge Systems, AI Laboratory, KSL-90-53,August 1990 [KSL-90-53]
- Thomas R. Gruber. The Use of Formally-Represented Engineering Knowledge to Support Human Communication and Memory , Knowledge Systems, AI Laboratory, KSL-89-87,March 1990 [KSL-89-87]
- David Heckerman, Eric Horvitz, Bharat N. Nathwani. Toward Normative Expert Systems: The Pathfinder Project , Knowledge Systems, AI Laboratory, KSL-90-08,February 1990 [KSL-90-08]
- Robert S. Engelmore, Jay M. Tenenbaum. Toward the Engineer's Associate: A National Computational Infrastructure for Engineering , Knowledge Systems, AI Laboratory, KSL-90-64,August 1990 [KSL-90-64]
- Yumi Iwasaki. Two Model Abstraction Techniques Based on Temporal Grain Size: Aggregation and Mixed Models , Knowledge Systems, AI Laboratory, KSL-90-63,August 1990 [KSL-90-63]
- Richard Washington, L. Boureau, Barbara Hayes-Roth. Using Knowledge for Real-Time Input Data Management , Knowledge Systems, AI Laboratory, KSL-90-14,March 1990 [KSL-90-14]
- Thierry Barsalou. View Objects for Relational Databases , Knowledge Systems, AI Laboratory, KSL-90-78,June 1990 [KSL-90-78]
1989
- David Heckerman, Holly Brügge Jimison. A Bayesian Perspective in Confidence , Knowledge Systems, AI Laboratory, KSL-89-59, 1989 [KSL-89-59]
- Thierry Barsalou, Gio Wiederhold. A Cooperative Hypertext Interface to Relational Databases , Knowledge Systems, AI Laboratory, KSL-89-18, 1989 [KSL-89-18]
- Curtis Langlotz. A Decision-Theoretic Approach to Heuristic Planning , Knowledge Systems, AI Laboratory, KSL-89-89,June 1989 [KSL-89-89]
- Joan D. Walton, Edward H. Shortliffe. A Future View of the Physician's Workstation , Knowledge Systems, AI Laboratory, KSL-89-74, 1989 [KSL-89-74]
- Donald W. Rucker, Edward H. Shortliffe. A Methodology for Implementing Clinical Algorithms Using Expert System an Database Tools , Knowledge Systems, AI Laboratory, KSL-89-19, 1989 [KSL-89-19]
- H. Penny Nii. A Proposed Research Initiative in Knowledge-Based CASE Tools: Biting the Silver Bullet , Knowledge Systems, AI Laboratory, KSL-89-75,October 1989 [KSL-89-75]
- R. Martin Chavez, Gregory F. Cooper. A Randomized Approximation Algorithm for Probabilistic Inference on Bayesian Belief Networks , Knowledge Systems, AI Laboratory, KSL-88-72,October 1989 [KSL-88-72]
- Nakul P. Saraiya. A Shared Memory Lisp Package for CARE , Knowledge Systems, AI Laboratory, KSL-88-85,January 1989 [KSL-88-85]
- David Heckerman. A Tractable Inference Algorithm for Diagnosing Multiple Diseases , Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence pp.163-172, 1989 [KSL-89-36]
- Bruce G. Buchanan, Edward H. Shortliffe. Advances in Expert Systems (A White Paper and Commentary) , Knowledge Systems, AI Laboratory, KSL-89-33, 1989 [KSL-89-33]
- Peter D. Karp. An Analysis of the Distinction Between Deep and Shallow Expert Systems , Knowledge Systems, AI Laboratory, KSL-89-10, 1989 [KSL-89-10]
- R. Martin Chavez, Gregory F. Cooper. An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference , Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence pp.191-208, 1989 [KSL-89-31]
- P. P, Urang Nayak. An Overview of Causal Reasoning , Knowledge Systems, AI Laboratory, KSL-89-27,June 1989 [KSL-89-27]
- Joan D. Walton, Edward H. Shortliffe. Automated Design of a User Interface , Knowledge Systems, AI Laboratory, KSL-88-17,November 1989 [KSL-88-17]
- Thomas R. Gruber. Automated Knowledge Acquisition for Strategic Knowledge , Knowledge Systems, AI Laboratory, KSL-89-12,May 1989 [KSL-89-12]
- Mark A. Musen. Automated Support for Building and Extending Expert Models , Knowledge Systems, AI Laboratory, KSL-89-26, 1989 [KSL-89-26]
- Eric Horvitz, Henri Jacques Suermondt, Gregory F. Cooper. Bounded Conditioning: Flexible Inference for Decisions Under Scarce Resources , Association for Uncertainty in Artificial Intelligence, 1989 [KSL-89-42]
- John O. Reed. Building Decision Models that Modify Decision Systems , Knowledge Systems, AI Laboratory, KSL-89-21, 1989 [KSL-89-21]
- Manu Thapar, Bruce A. Delagi. Cache Coherence for Large Scale Shared Memory Multiprocessors , Knowledge Systems, AI Laboratory, KSL-90-41, 1989 [KSL-90-41]
- Yumi Iwasaki. Causality and Model Abstraction , Knowledge Systems, AI Laboratory, KSL-89-80,March 1989 [KSL-89-80]
- John L. Mohammed. Combining Experiential and Theoretical Knowledge at Multiple Levels of Granularity in the Domain of Semiconductor Fabrication Processes , Knowledge Systems, AI Laboratory, KSL-89-76,November 1989 [KSL-89-76]
- Geoffrey W. Rutledge, George E. Thomsen, Ingo A. Beinlich, Brad R. Farr, Lewis B. Sheiner, Lawrence M. Fagan. Combining Qualitative and Quantitative Computation in a Ventilator Therapy Planner , Knowledge Systems, AI Laboratory, KSL-89-78, 1989 [KSL-89-78]
- Richard M. Keller, Catherine Baudin, Yumi Iwasaki, P. P, Urang Nayak, K. Tanaka. Compiling Diagnosis Rules and Redesign Plans from a Structure , Knowledge Systems, AI Laboratory, KSL-89-50,June 1989 [KSL-89-50]
- Richard M. Keller, Catherine Baudin, Yumi Iwasaki, P. P, Urang Nayak, K. Tanaka. Compiling Special-Purpose Rules from General-Purpose Device Modeling , Knowledge Systems, AI Laboratory, KSL-89-49,June 1989 [KSL-89-49]
- Edward Herskovits, Michael Walker. Computer-Aided Classification of Magnetic-Resonance Images , Knowledge Systems, AI Laboratory, KSL-89-47,May 1989 [KSL-89-47]
- Brad R. Farr. Decision-Theoretic Evaluation of Therapy Plans , Knowledge Systems, AI Laboratory, KSL-89-20, 1989 [KSL-89-20]
- Nakul P. Saraiya, Bruce A. Delagi, Sayuri Nishimura. Design and Performance Evaluation of a Parallel Report Integration System , Knowledge Systems, AI Laboratory, KSL-89-16, 1989 [KSL-89-16]
- Samson W. Tu, Michael G. Kahn, Mark A. Musen, Jay C. Ferguson, Edward H. Shortliffe, Lawrence M. Fagan. Episodic Skeletal-Plan Refinement Based on Temporal Data , Knowledge Systems, AI Laboratory, KSL-87-70, 1989 [KSL-87-70]
- K. Doshi. Equation Generation from Device Models , Knowledge Systems, AI Laboratory, KSL-89-57,June 1989 [KSL-89-57]
- Russ B. Altman. Exclusion Methods for the Determination of Protein Structure from Experimental Data , Stanford University, KSL-89-88, 1989 [KSL-89-88]
- H. Penny Nii, N. Aiello, James Rice. Experiments on Cage and Poligon: Measuring the Performance of Parallel Blackboard Systems , () pp.319-383, 1989 [KSL-88-66]
- Mark A. Musen. Generation of Visual Languages for Development of Knowledge-Based Systems , Plenum, KSL-88-73, 1989 [KSL-88-73]
- Eric Horvitz, David Heckerman, Keung-Chi Ng, Bharat N. Nathwani. Heuristic Abstraction in the Decision-Theoretic Pathfinder System , Knowledge Systems, AI Laboratory, KSL-89-24, 1989 [KSL-89-24]
- R. Martin Chavez. Hypermedia and Randomized Algorithms for Medical Expert Systems , Knowledge Systems, AI Laboratory, KSL-89-14, 1989 [KSL-89-14]
- Thierry Barsalou, R. Martin Chavez, Gio Wiederhold. Hypertext Interfaces for Decision-Support Systems: A Case Study , Knowledge Systems, AI Laboratory, KSL-89-03, 1989 [KSL-89-03]
- Peter D. Karp. Hypothesis Formation and Qualitative Reasoning in Molecular Biology , Knowledge Systems, AI Laboratory, KSL-89-52,June 1989 [KSL-89-52]
- Peter D. Karp. Hypothesis Formation as Design , Knowledge Systems, AI Laboratory, KSL-89-11, 1989 [KSL-89-11]
- Edward H. Shortliffe, S. Hubbard. Information in Oncology , Knowledge Systems, AI Laboratory, KSL-87-66,June 1989 [KSL-87-66]
- Henri Jacques Suermondt, Gregory F. Cooper. Initialization for the Method of Conditioning in Bayesian Belief Networks , Knowledge Systems, AI Laboratory, KSL-89-61, 1989 [KSL-89-61]
- Richard Washington, Barbara Hayes-Roth. Input Data Management in Real-Time AI Systems , Knowledge Systems, AI Laboratory, KSL-89-06,May 1989 [KSL-89-06]
- Barbara Hayes-Roth, Richard Washington, Rattikorn Hewett, Micheal Hewett, Adam Seiver. Intelligent Real-Time Monitoring and Control , Knowledge Systems, AI Laboratory, KSL-89-05,January 1989 [KSL-89-05]
- Mark A. Musen, J. van der Lei. Knowledge Engineering for Clinical Consultation Programs: Modeling the Application Area , Knowledge Systems, AI Laboratory, KSL-89-28,March 1989 [KSL-89-28]
- Thierry Barsalou, Gio Wiederhold. Knowledge-Directed Mediation Between Application Objects and Base Data , Knowledge Systems, AI Laboratory, KSL-89-60, 1989 [KSL-89-60]
- Mark A. Musen. Languages for Knowledge Acquisition: Building and Extending Models , Knowledge Systems, AI Laboratory, KSL-89-07, 1989 [KSL-89-07]
- Curtis Langlotz, Edward H. Shortliffe. Logical and Decision-Theoretic Methods for Planning Under Uncertainty , Knowledge Systems, AI Laboratory, KSL-87-17,Spring 1989 [KSL-87-17]
- Robert A. Greenes, Edward H. Shortliffe. Medical Informatics: An Emerging Discipline with Academic and Institutional Perspectives , Knowledge Systems, AI Laboratory, KSL-87-26,February 1989 [KSL-87-26]
- Yumi Iwasaki. Model Abstraction in Qualitative Reasoning , Knowledge Systems, AI Laboratory, KSL-89-79,November 1989 [KSL-89-79]
- Michael G. Kahn, Lewis B. Sheiner. Model-Based Interpretation of Time-Varying Medical Data , Knowledge Systems, AI Laboratory, KSL-89-34, 1989 [KSL-89-34]
- G. Byrd, Nakul P. Saraiya, Bruce A. Delagi. Multicast Communication in Multiprocessor Systems , Knowledge Systems, AI Laboratory, KSL-88-81, 1989 [KSL-88-81]
- Janice Anne Rohn. ONCOCIN User's Manual , Knowledge Systems, AI Laboratory, KSL-89-38,April 1989 [KSL-89-38]
- Guido Haymann-Haber. PI in a Box: The Design of an Expert Protocol Manager , Knowledge Systems, AI Laboratory, KSL-89-55,July 1989 [KSL-89-55]
- D. Muliawan. Performance Evaluation of a Parallel Knowledge-Based System , Knowledge Systems, AI Laboratory, KSL-89-51,June 1989 [KSL-89-51]
- Richard Acuff. Performance of Two Common Lisp Programs on Several Systems , Knowledge Systems, AI Laboratory, KSL-89-02,January 1989 [KSL-89-02]
- Henri Jacques Suermondt, Gregory F. Cooper. Probabilistic Inference in Multiply Connected Brief Networks Using Loop Cutsets , Knowledge Systems, AI Laboratory, KSL-89-17, 1989 [KSL-89-17]
- Henri Jacques Suermondt, Michael Amylon. Probabilistic Prediction of the Outcome of Bone-Marrow Transplantation , Knowledge Systems, AI Laboratory, KSL-89-23, 1989 [KSL-89-23]
- Eric Horvitz. Rational Metareasoning and Compilation for Optimizing Decisions under Bounded Resources , Knowledge Systems, AI Laboratory, KSL-89-81, 1989 [KSL-89-81]
- P. P, Urang Nayak. Reasoning with Multiple Models , Knowledge Systems, AI Laboratory, KSL-89-56,June 1989 [KSL-89-56]
- Eric Horvitz, David Heckerman, Gregory F. Cooper. Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study , Knowledge Systems, AI Laboratory, KSL-89-01, 1989 [KSL-89-01]
- Bruce G. Buchanan. Research Directions in Knowledge-Based Systems , Knowledge Systems, AI Laboratory, KSL-89-71, 1989 [KSL-89-71]
- Edward H. Shortliffe, Lawrence M. Fagan. Research Training in Medical Informatics: The Stanford Experience , Knowledge Systems, AI Laboratory, KSL-88-83, 1989 [KSL-88-83]
- George E. Thomsen, Lewis B. Sheiner. SIMV: An application of Mathematical Modeling in Ventilator Management , Knowledge Systems, AI Laboratory, KSL-89-70, 1989 [KSL-89-70]
- James Rice, N. Aiello. See How They Run... The Architecture and Performance of Two Concurrent Blackboard Systems , Knowledge Systems, AI Laboratory, KSL-89-08, 1989 [KSL-89-08]
- H. Penny Nii, James Rice. Signal Understanding and Problem Solving: A Concurrent Approach to Soft Real-Time Systems , Knowledge Systems, AI Laboratory, KSL-89-73, 1989 [KSL-89-73]
- G. Byrd, Bruce A. Delagi. Support for Fine-Grained Message Passing in Shared Memory Multiprocessors , Knowledge Systems, AI Laboratory, KSL-89-15, 1989 [KSL-89-15]
- Edward H. Shortliffe. Testing Reality: The Introduction of Decision- Support Technologies for Physicians , Knowledge Systems, AI Laboratory, KSL-88-82, 1989 [KSL-88-82]
- Ingo A. Beinlich, Henri Jacques Suermondt, R. Martin Chavez, Gregory F. Cooper. The ALARM Monitoring System: A Case Study with Two Probablistic Inference Techniques for Belief Networks , Knowledge Systems, AI Laboratory, KSL-88-84, 1989 [KSL-88-84]
- James Rice. The Advanced Architectures Project , Knowledge Systems, AI Laboratory, KSL-88-71,March 1989 [KSL-88-71]
- N. Aiello. The CAGE System User Manual , Knowledge Systems, AI Laboratory, KSL-89-86,December 1989 [KSL-89-86]
- David Heckerman, John S. Breese, Eric Horvitz. The Compilation of Decision Models , Knowledge Systems, AI Laboratory, KSL-89-58, 1989 [KSL-89-58]
- Curtis Langlotz, Edward H. Shortliffe. The Critiquing Approach to Automated Advice and Explanation: Rationale and Examples , Ellis Horwood, KSL-89-46, 1989 [KSL-89-46]
- James Rice. The Design and Implementation of Poligon, a High-Performance, Concurrent Blackboard System Shell , Knowledge Systems, AI Laboratory, KSL-89-37,November 1989 [KSL-89-37]
- Curtis Langlotz. The Feasibility of Axiomatically-Based Expert Systems , Knowledge Systems, AI Laboratory, KSL-89-77, 1989 [KSL-89-77]
- James Rice. The Poligon User Manual , Knowledge Systems, AI Laboratory, KSL-86-10, 1989 [KSL-86-10]
- Lawrence M. Fagan, Carl E. Wulfman, Monica Rua, Ellen Isaacs, Christopher D. Lane, Janice Anne Rohn, Bonnie L. Webber, Edward H. Shortliffe. The Practical Application of Continuous-Speech Recognition to the Task of Medical Recordkeeping , Knowledge Systems, AI Laboratory, KSL-89-54, 1989 [KSL-89-54]
- Mark A. Musen. The Strained Quality of Medical Data , Knowledge Systems, AI Laboratory, KSL-89-69, 1989 [KSL-89-69]
- Thierry Barsalou, Douglas L. Brutlag. Toward Linear Run-Time: A Review of Sequence-Alignment Algorithms , Knowledge Systems, AI Laboratory, KSL-89-39,April 1989 [KSL-89-39]
- T. Cheng. Towards a Formalization of Partial Domain Theories, Landmark Value Selection and Incremental Learning for Inductive Learning Systems , Knowledge Systems, AI Laboratory, KSL-89-53,June 1989 [KSL-89-53]
- David Heckerman, Eric Horvitz, Bharat N. Nathwani. Update on the Pathfinder Project , Knowledge Systems, AI Laboratory, KSL-89-25, 1989 [KSL-89-25]
- Michael Shwe, Samson W. Tu, Lawrence M. Fagan. Validating the Knowledge Base of a Therapy-Planning System , Knowledge Systems, AI Laboratory, KSL-88-70, 1989 [KSL-88-70]
- Geoffrey W. Rutledge, George E. Thomsen, Ingo A. Beinlich, Brad R. Farr, Michael G. Kahn, Lewis B. Sheiner, Lawrence M. Fagan. VentPlan: An Architecture for Combining Qualitative and Quantitative Computation , Knowledge Systems, AI Laboratory, KSL-89-04, 1989 [KSL-89-04]
- Mark A. Musen. Widening the Knowledge-Acquisition Bottleneck: Automated Tools for Building and Extending Clinical Methods , Knowledge Systems, AI Laboratory, KSL-89-09, 1989 [KSL-89-09]
1988
- Curtis Langlotz, Edward H. Shortliffe, Lawrence M. Fagan. A Methodology for Generating Computer-Based Explanations of Decision-Theoretic Advice , Knowledge Systems, AI Laboratory, KSL-86-57,November 1988 [KSL-86-57]
- G. Byrd, Bruce A. Delagi. A Performance Comparison of Shared Variables vs. Message Passing , Knowledge Systems, AI Laboratory, KSL-88-10,February 1988 [KSL-88-10]
- Peter D. Karp. A Process-Oriented Model of Bacterial Gene Regulation , Knowledge Systems, AI Laboratory, KSL-88-18,June 1988 [KSL-88-18]
- Holly Brügge Jimison. A Representation for Gaining Insight into Clinical Decision Models , Knowledge Systems, AI Laboratory, KSL-88-75,November 1988 [KSL-88-75]
- Holly Brügge Jimison. A Representation of Uncertainty to Aid Insight into Decision Models , Knowledge Systems, AI Laboratory, KSL-89-62, 1988 [KSL-89-62]
- L. Peyton. A Transformational Approach to Software Redesign , Knowledge Systems, AI Laboratory, KSL-88-37,May 1988 [KSL-88-37]
- Barbara Hayes-Roth, Micheal Hewett, M. Johnson Jr., Alan Garvey. ACCORD: A Framework for a Class of Design Tasks , Knowledge Systems, AI Laboratory, KSL-88-19,March 1988 [KSL-88-19]
- Beverley Kane, Donald W. Rucker. AI in Medicine , Knowledge Systems, AI Laboratory, KSL-88-74,November 1988 [KSL-88-74]
- A. Noble, E. Rogers. AIRTRAC Path Association: Development of a Knowledge-Based System for a Multiprocessor , Knowledge Systems, AI Laboratory, KSL-88-41,June 1988 [KSL-88-41]
- Curtis Langlotz, Edward H. Shortliffe. An Analysis of Categorical and Quantitative Methods for Planning under Uncertainty , Knowledge Systems, AI Laboratory, KSL-88-63, 1988 [KSL-88-63]
- Alan Garvey, Barbara Hayes-Roth. An Empirical Analysis of Explicit vs. Implicit Control Architectures , Knowledge Systems, AI Laboratory, KSL-88-21,March 1988 [KSL-88-21]
- Thierry Barsalou. An Object-Based Architecture for Biomedical Expert Database Systems , Knowledge Systems, AI Laboratory, KSL-88-60, 1988 [KSL-88-60]
- Thierry Barsalou, Gio Wiederhold. Applying a Semantic Model to an Immunology Database , Knowledge Systems, AI Laboratory, KSL-87-23, 1988 [KSL-87-23]
- N. Aiello. Cage: The Performance of a Concurrent Blackboard Environment , Knowledge Systems, AI Laboratory, KSL-88-80,December 1988 [KSL-88-80]
- Homer L. Chin. Case-Based Tutoring from a Medical Knowledge Base , Knowledge Systems, AI Laboratory, KSL-88-77, 1988 [KSL-88-77]
- Gregory F. Cooper. Computer-Based Medical Diagnosis Using Belief Networks and Bounded Probabilities , Knowledge Systems, AI Laboratory, KSL-87-48, 1988 [KSL-87-48]
- Mark A. Musen. Conceptual Models of Interactive Knowledge- Acquisition Tools , Knowledge Systems, AI Laboratory, KSL-88-16,March 1988 [KSL-88-16]
- Peter D. Karp, P. Friedl. Coordinating the Use of Qualitative and Quantitative Knowledge in Declarative Device Modeling , Knowledge Systems, AI Laboratory, KSL-87-09,January 1988 [KSL-87-09]
- Eric Horvitz, John S. Breese, Max Henrion. Decision Theory in Expert Systems and Artificial Intelligence , Journal of Approximate Reasoning, Special Issue on Uncertainty in Artificial Intelligence () pp.247-302, 1988 [KSL-88-13]
- Barbara Hayes-Roth, Rattikorn Hewett, Adam Seiver. Diagnostic Explanation using Models , Knowledge Systems, AI Laboratory, KSL-88-20,March 1988 [KSL-88-20]
- Barbara Hayes-Roth, Micheal Hewett, Richard Washington, Rattikorn Hewett, Adam Seiver. Distributing Intelligence Within an Individual , Distributed artificial intelligence: vol. 2 () pp.385-412, 1988 [KSL-88-50]
- A. Noble. ELMA Programmers Guide , Knowledge Systems, AI Laboratory, KSL-88-42,August 1988 [KSL-88-42]
- Bruce A. Delagi, Nakul P. Saraiya. Elint in Lamina, Application of a Object Language , Knowledge Systems, AI Laboratory, KSL-88-33, 1988 [KSL-88-33]
- Gregory F. Cooper. Expert Systems Based on Belief Networks - Current Research Directions , Knowledge Systems, AI Laboratory, KSL-87-51,February 1988 [KSL-87-51]
- Andrew Gelman, Susan Altman, Matt Pallakoff, K. Doshi, Catherine Manago, Thomas C. Rindfleisch, Bruce G. Buchanan. FRM: An Intelligent Assistant for Financial Resource Management , Knowledge Systems, AI Laboratory, KSL-88-29,April 1988 [KSL-88-29]
- H. Penny Nii, N. Aiello, James Rice. Frameworks for Concurrent Problem Solving: A Report on Cage and Poligon , Knowledge Systems, AI Laboratory, KSL-88-02,March 1988 [KSL-88-02]
- D. Combs, Samson W. Tu, Mark A. Musen, Lawrence M. Fagan. From Expert Models to Expert Systems: Translation of an Intermediate Knowledge Representation , Knowledge Systems, AI Laboratory, KSL-88-58,August 1988 [KSL-88-58]
- Bruce G. Buchanan, Reid G. Smith. Fundamentals of Expert Systems , Knowledge Systems, AI Laboratory, KSL-88-09,March 1988 [KSL-88-09]
- T. Confrey, Francois Daube. GS2D: A 2D Geometry Systems , Knowledge Systems, AI Laboratory, KSL-88-15,March 1988 [KSL-88-15]
- Mark A. Musen. Generation of Knowledge-Acquisition Tools from Clinical-Trial Models , Knowledge Systems, AI Laboratory, KSL-88-26, 1988 [KSL-88-26]
- Mark A. Musen. Generation of Model-Based Knowledge- Acquisition Tools for Clinical-Trial Advice Systems , Knowledge Systems, AI Laboratory, KSL-88-06, 1988 [KSL-88-06]
- Leslie A. Lenert, Lewis B. Sheiner, Terrence F. Blaschke. Improving Drug Dosing in Hospitalized Patients: Automated Modeling of Pharmacokinetcs for Individualization of Drug Dosing Regimens , Knowledge Systems, AI Laboratory, KSL-88-76, 1988 [KSL-88-76]
- Carl E. Wulfman, Ellen Isaacs, Bonnie L. Webber, Lawrence M. Fagan. Integration Discontinuity: Interfacing Users and Systems , Knowledge Systems, AI Laboratory, KSL-88-12,February 1988 [KSL-88-12]
- R. Martin Chavez, Gregory F. Cooper. KNET: Integrating Hypertext and Normative Bayesian Modeling , Knowledge Systems, AI Laboratory, KSL-88-47, 1988 [KSL-88-47]
- Harold P. Lehmann. Knowledge Acquisition for Probabilistic Expert Systems , Knowledge Systems, AI Laboratory, KSL-88-40, 1988 [KSL-88-40]
- William J. Clancey. Knowledge Engineering Methodology: An Annotated Bibliography of NEOMYCIN Research , Knowledge Systems, AI Laboratory, KSL-87-58, 1988 [KSL-87-58]
- Richard M. Keller. Learning Approximate Concept Descriptions , Knowledge Systems, AI Laboratory, KSL-88-57,July 1988 [KSL-88-57]
- Max Hailperin. Load Balancing for Massively-Parallel Soft Real-Time Systems , Knowledge Systems, AI Laboratory, KSL-88-62,August 1988 [KSL-88-62]
- Barbara Hayes-Roth. Making Intelligent Systems Adaptive , Knowledge Systems, AI Laboratory, KSL-88-64,September 1988 [KSL-88-64]
- Edward H. Shortliffe. Medical Knowledge and Decision Making , Knowledge Systems, AI Laboratory, KSL-88-61,September 1988 [KSL-88-61]
- G. Byrd. Modeling a Bus-Based Multiprocessor Using the CARE Simultation System , Knowledge Systems, AI Laboratory, KSL-88-25,March 1988 [KSL-88-25]
- Mark A. Musen, J. van der Lei. Of Brittleness and Bottlenecks Challenges in the Creation of Pattern-Recognition and Expert-System Models , Knowledge Systems, AI Laboratory, KSL-88-59,August 1988 [KSL-88-59]
- Richard M. Keller. Operationality and Generality in Explanation-Based Learning: Separate dimensions or opposite endpoints? , Knowledge Systems, AI Laboratory, KSL-88-11, 1988 [KSL-88-11]
- Hiroshi G. Okuna, Anoop Gupta. Parallel Execution of OPS5 in QLISP , Knowledge Systems, AI Laboratory, KSL-87-43, 1988 [KSL-87-43]
- R. Schulman, Barbara Hayes-Roth. Plan-Based Construction of Strategic Explanations , Knowledge Systems, AI Laboratory, KSL-88-23,March 1988 [KSL-88-23]
- James Rice. Problems with Problem-Solving in Parallel: The Poligon System , Knowledge Systems, AI Laboratory, KSL-88-04,January 1988 [KSL-88-04]
- Perry L. Miller, Glenn D. Rennels. Prose Generation from Expert Systems. An Applied Computational Approach , Knowledge Systems, AI Laboratory, KSL-88-86,Fall 1988 [KSL-88-86]
- J. Sullivan. RL3: An Approach to Incremental Rule Learning , Knowledge Systems, AI Laboratory, KSL-88-52,June 1988 [KSL-88-52]
- Micheal Hewett, Barbara Hayes-Roth. Real-Time I , Knowledge Systems, AI Laboratory, KSL-88-22,November 1988 [KSL-88-22]
- Eric Horvitz. Reasoning Under Varying and Uncertain Resource Constraints , Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI) pp.111-116, 1988 [KSL-88-35]
- Susan Altman. Representing and Editing Constraints: A Case Study in Financial Resource Management , Knowledge Systems, AI Laboratory, KSL-88-45,June 1988 [KSL-88-45]
- A. Zygmont. SOLACE: Systems Optimization Laboratory's Automated Computational Expertise , Knowledge Systems, AI Laboratory, KSL-88-39,May 1988 [KSL-88-39]
- Mark E. Frisse. Searching for Information in a Hypertext Medical Handbook: The Washington University Dynamic Medical Handbook Project , Knowledge Systems, AI Laboratory, KSL-87-50, 1988 [KSL-87-50]
- Homer L. Chin, Gregory F. Cooper. Stochastic Simulation of Casual Bayesian Models , International Journal of Approximate Reasoning, Volume 2 () pp.331, 1988 [KSL-87-22]
- Donald W. Rucker, David J. Maron, Edward H. Shortliffe. Temporal Representations of Clinical Algorithms Using Expert-System and Database Tools , Knowledge Systems, AI Laboratory, KSL-88-67,February 1988 [KSL-88-67]
- James Rice. The Elint Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System , Knowledge Systems, AI Laboratory, KSL-88-69,December 1988 [KSL-88-69]
- James F. Brinkley. The Potential for Intelligent Three-Dimensional Ultrasound , Knowledge Systems, AI Laboratory, KSL-88-24, 1988 [KSL-88-24]
- Henri Jacques Suermondt, Gregory F. Cooper. Updating Probabilities in Multiply Connected Belief Networks , Knowledge Systems, AI Laboratory, KSL-88-27,March 1988 [KSL-88-27]
1987
- Glenn D. Rennels, Edward H. Shortliffe, Frank E. Stockdale, Perry L. Miller. A Computational Model of Reasoning from the Clinical Literature , Knowledge Systems, AI Laboratory, KSL-87-06,Spring 1987 [KSL-87-06]
- G. Byrd, Russell Nakano, Bruce A. Delagi. A Dynamic, Cut-Through Communications Protocol with Multicast , Knowledge Systems, AI Laboratory, KSL-87-44,August 1987 [KSL-87-44]
- James F. Brinkley, Bruce G. Buchanan, Russ B. Altman, Bruce S. Duncan, Craig Cornelius. A Heuristic Refinement Method for Spatial Constraint Satisfaction Problems , Knowledge Systems, AI Laboratory, KSL-87-05,January 1987 [KSL-87-05]
- Barbara Hayes-Roth, M. Johnson Jr., Alan Garvey, Micheal Hewett. A Modular and Layered Environment for Reasoning about Action , Knowledge Systems, AI Laboratory, KSL-86-38, 1987 [KSL-86-38]
- Barbara Hayes-Roth. A Multi-Processor Interrupt-Driven Architecture for Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-87-31,June 1987 [KSL-87-31]
- Eric Horvitz. A Multiattribute Utility Approach to Inference Understandability and Explanation , Knowledge Systems, AI Laboratory, KSL-87-28, 1987 [KSL-87-28]
- David Heckerman, Holly Brügge Jimison. A Perspective on Confidence and Its Use in Focusing Attention during Knowledge Acquisition , Knowledge Systems, AI Laboratory, KSL-87-45, 1987 [KSL-87-45]
- G. Byrd, Russell Nakano, Bruce A. Delagi. A Point-to-Point Multicast Communications Protocol , Knowledge Systems, AI Laboratory, KSL-87-02,January 1987 [KSL-87-02]
- Glenn D. Rennels, Edward H. Shortliffe. Advanced Computing for Medicine , Knowledge Systems, AI Laboratory, KSL-87-33, 1987 [KSL-87-33]
- Curtis Langlotz. Advice Generation in an Axiomatically-Based Expert System , Knowledge Systems, AI Laboratory, KSL-87-52, 1987 [KSL-87-52]
- Gregory F. Cooper. An Algorithm for Computing Propositions , Knowledge Systems, AI Laboratory, KSL-87-21,June 1987 [KSL-87-21]
- L. Selig. An Expert System Using Numerical Simulation and Optimization To Find Particle Beam Line Errors , Knowledge Systems, AI Laboratory, KSL-87-36,May 1987 [KSL-87-36]
- Bruce A. Delagi, Nakul P. Saraiya, Sayuri Nishimura, G. Byrd. An Instrumented Architectural Simulation System , Knowledge Systems, AI Laboratory, KSL-86-36,January 1987 [KSL-86-36]
- Thierry Barsalou. An Object-Based Interface to a Relational Database System , Knowledge Systems, AI Laboratory, KSL-87-41,June 1987 [KSL-87-41]
- Bruce G. Buchanan. Artificial Intelligence As An Experimental Science , Knowledge Systems, AI Laboratory, KSL-87-03, 1987 [KSL-87-03]
- Leslie E. Perreault. Automatic Test Case Generation by Modeling Patient States and Physician Actions , Knowledge Systems, AI Laboratory, KSL-87-63,October 1987 [KSL-87-63]
- Alan Garvey, Craig Cornelius, Barbara Hayes-Roth. Computational Costs versus Benefits of Control Reasoning , Knowledge Systems, AI Laboratory, KSL-87-11,June 1987 [KSL-87-11]
- Edward H. Shortliffe. Computer Programs To Support Clinical Decision Making , Knowledge Systems, AI Laboratory, KSL-87-30, 1987 [KSL-87-30]
- Isabelle de Zegher-Geets, Andrew G. Freeman, Michael Walker, Robert B. Blum, Gio Wiederhold. Computer-Aided Summarization of a Time-Oriented Medical Database , Knowledge Systems, AI Laboratory, KSL-87-18,February 1987 [KSL-87-18]
- Edward H. Shortliffe. Computers in Support of Clinical Decision Making , Knowledge Systems, AI Laboratory, KSL-87-25, 1987 [KSL-87-25]
- G. Byrd, Bruce A. Delagi. Considerations for Multiprocessor Topologies , Knowledge Systems, AI Laboratory, KSL-87-07,January 1987 [KSL-87-07]
- David E. Smith. Controlling Backward Inference , Knowledge Systems, AI Laboratory, KSL-86-68,March 1987 [KSL-86-68]
- Richard M. Keller. Defining Operationality for Explanation-Based Learning , Knowledge Systems, AI Laboratory, KSL-87-60, 1987 [KSL-87-60]
- William J. Clancey. Diagnosis, Teaching, and Learning: An Overview of GUIDON2 Research , Knowledge Systems, AI Laboratory, KSL-87-32,April 1987 [KSL-87-32]
- Barbara Hayes-Roth. Dynamic Control Planning in Adaptive Intelligent Systems , Knowledge Systems, AI Laboratory, KSL-87-67,November 1987 [KSL-87-67]
- John A. Brugge, Bruce G. Buchanan. Evolution of a Knowledge- Based System for Determining Structural Components of Proteins , Knowledge Systems, AI Laboratory, KSL-87-62,October 1987 [KSL-87-62]
- R. Schulman, Barbara Hayes-Roth. ExAct: A Module for Explaining Actions , Knowledge Systems, AI Laboratory, KSL-87-08,January 1987 [KSL-87-08]
- Russell Nakano. Experiments with a Knowledge- Based System on a Multiprocessor: Preliminary Airtrac-Lamina Qualitative Results , Knowledge Systems, AI Laboratory, KSL-87-34,June 1987 [KSL-87-34]
- Russell Nakano, Masafumi Minami. Experiments with a Knowledge-Based System on a Multiprocessor , Knowledge Systems, AI Laboratory, KSL-87-61,October 1987 [KSL-87-61]
- Masafumi Minami. Experiments with the Knowledge- Based System on a Multiprocessor: Preliminary Airtrac-Lamina Quantitative Results , Knowledge Systems, AI Laboratory, KSL-87-35,June 1987 [KSL-87-35]
- Hiroshi G. Okuna, Nobuyasu Osato, Ikuo Takeuchi. Firmware Approach to Fast Lisp Interpreter , ACM, KSL-87-57, 1987 [KSL-87-57]
- David C. Wilkins. Formulation of Cognitive Diagnosis as Heuristic Classification , Knowledge Systems, AI Laboratory, KSL-86-71, 1987 [KSL-86-71]
- Joshua Lederberg. How DENDRAL Was Conceived and Born , National Library of Medicine, KSL-87-54, 1987 [KSL-87-54]
- Isabelle de Zegher-Geets. IDEFIX: Intelligent Summarization of a Time-Oriented Medical Database , Knowledge Systems, AI Laboratory, KSL-88-34, 1987 [KSL-88-34]
- Alan Garvey, Barbara Hayes-Roth. Implementing Diverse Forms of Control Knowledge in Multiple Controls , Knowledge Systems, AI Laboratory, KSL-87-40,June 1987 [KSL-87-40]
- Eric Horvitz. Inference under Varying Resource Limitations , Knowledge Systems, AI Laboratory, KSL-87-16, 1987 [KSL-87-16]
- Bruce A. Delagi, Nakul P. Saraiya, Sayuri Nishimura, G. Byrd. Instrumented Architectural Simulation , Knowledge Systems, AI Laboratory, KSL-87-65,November 1987 [KSL-87-65]
- David C. Wilkins, William J. Clancey, Bruce G. Buchanan. Knowledge Base Refinement Using Abstract Control Knowledge , Knowledge Systems, AI Laboratory, KSL-87-01,January 1987 [KSL-87-01]
- S. Barnhouse. Knowledge Base Tours: Introducing a Knowledge Based System to a Novice User , Knowledge Systems, AI Laboratory, KSL-87-73,December 1987 [KSL-87-73]
- Homer L. Chin, Gregory F. Cooper. Knowledge-Based Patient Simulation , Knowledge Systems, AI Laboratory, KSL-87-24, 1987 [KSL-87-24]
- Bruce A. Delagi, Nakul P. Saraiya, G. Byrd. LAMINA: CARE APPLICATIONS INTERFACE , Knowledge Systems, AI Laboratory, KSL-86-67,November 1987 [KSL-86-67]
- Michael G. Kahn. Model-Based Interpretation of Time-Ordered Data , Knowledge Systems, AI Laboratory, KSL-87-20,March 1987 [KSL-87-20]
- David Heckerman, Eric Horvitz. On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty , Knowledge Systems, AI Laboratory, KSL-87-53, 1987 [KSL-87-53]
- Gregory F. Cooper. Probabilistic Inference Using Belief Networks Is NP-Hard , Knowledge Systems, AI Laboratory, KSL-87-27, 1987 [KSL-87-27]
- Eric Horvitz. Problem-Solving Design: Reasoning about Computational Value, Tradeoffs, and Resources , Knowledge Systems, AI Laboratory, KSL-87-64, 1987 [KSL-87-64]
- A. Round. QSOPS: A Workbench Environment For The Qualitative Simulation of Physical Processes , Knowledge Systems, AI Laboratory, KSL-87-37, 1987 [KSL-87-37]
- Matthew L. Ginsberg, David E. Smith. Reasoning About Action I: A Possible Worlds Approach , Knowledge Systems, AI Laboratory, KSL-86-65,May 1987 [KSL-86-65]
- Matthew L. Ginsberg, David E. Smith. Reasoning About Action II: The Qualification Problem , Knowledge Systems, AI Laboratory, KSL-86-66,May 1987 [KSL-86-66]
- Eric Horvitz. Reasoning About Beliefs and Actions Under Computational Resource Constraints , Proceedings of the Third Workshop on Uncertainty in Artificial Intelligence pp.429-444, 1987 [KSL-86-55]
- Mark E. Frisse, Gio Wiederhold. Retrieving Information from Hypertext Systems , Knowledge Systems, AI Laboratory, KSL-87-49,August 1987 [KSL-87-49]
- Iris D. Tommelein, M. Johnson Jr., Barbara Hayes-Roth, Raymond E. Levitt. SightPlan: An Expert System for the Layout of Temporary Facilities on a Construction Site , Proceedings of the IFIP WG5.2 Working Conference on Expert Systems in Computer-Aided Design, 1987 [KSL-86-45]
- Micheal Hewett, Barbara Hayes-Roth. The BB1 Architecture: A Software Engineering View , Knowledge Systems, AI Laboratory, KSL-87-10,February 1987 [KSL-87-10]
- William J. Clancey. The Knowledge Engineer as Student: Metacognitive bases for asking good questions , Knowledge Systems, AI Laboratory, KSL-87-12, 1987 [KSL-87-12]
- Curtis Langlotz, Edward H. Shortliffe. The Relationship between Decision Theory and Default Reasoning , Knowledge Systems, AI Laboratory, KSL-87-19,February 1987 [KSL-87-19]
- Michael P. Wellman, David Heckerman. The Role of Calculi in Uncertain Reasoning , Knowledge Systems, AI Laboratory, KSL-87-46, 1987 [KSL-87-46]
- Naomi Rodolitz, G. Manage. Tutoring for Strategic Knowledge , Knowledge Systems, AI Laboratory, KSL-87-38,June 1987 [KSL-87-38]
- Glenn D. Rennels, Edward H. Shortliffe, Frank E. Stockdale, Perry L. Miller. Updating an expert knowledge base as medical knowledge evolves: Examples from oncology management , Knowledge Systems, AI Laboratory, KSL-87-39, 1987 [KSL-87-39]
- Iris D. Tommelein, Raymond E. Levitt, Barbara Hayes-Roth. Using Expert Systems for the Layout of Temporary Facilities on Construction Sites , E. and F.N. Spon, KSL-87-47, 1987 [KSL-87-47]
- David C. Wilkins, William J. Clancey, Bruce G. Buchanan. Using and Evaluating Differential Modeling in Intelligent Tutoring and Apprentice Learning Systems , Knowledge Systems, AI Laboratory, KSL-86-62, 1987 [KSL-86-62]
- J. McLaughlin. Utility-Directed Presentation of Simulation Results , Knowledge Systems, AI Laboratory, KSL-87-59,December 1987 [KSL-87-59]
1986
- Glenn D. Rennels. A Computational Model of Reasoning from the Clinical Literature , Knowledge Systems, AI Laboratory, KSL-86-74, 1986 [KSL-86-74]
- Gregory F. Cooper. A Diagnostic Method That Uses Casual Knowledge and Linear Programming in the Application of Bayes' Formula , Knowledge Systems, AI Laboratory, KSL-86-09, 1986 [KSL-86-09]
- Eric Horvitz, David Heckerman, Curtis Langlotz. A Framework for Comparing Alternative Formalisms for Plausible Reasoning , AAAI pp.210-214, 1986 [KSL-86-25]
- Oleg Jardetzky, Andrew Lane, Jean-Francois Lefevre, Olivier Lichtarge, Barbara Hayes-Roth, Russ B. Altman, Bruce G. Buchanan. A New Method for the Determination of Protein Structures in Solution from NMR , Knowledge Systems, AI Laboratory, KSL-86-42, 1986 [KSL-86-42]
- Stephen M. Downs. A Program for Automated Summarization of On-Line Medical Records , Knowledge Systems, AI Laboratory, KSL-86-44, 1986 [KSL-86-44]
- Nakul P. Saraiya. AIDE: A Distributed Environment for Design and Simulation , Knowledge Systems, AI Laboratory, KSL-86-56,June 1986 [KSL-86-56]
- Peter D. Karp, David C. Wilkins. An Analysis of the Deep , Knowledge Systems, AI Laboratory, KSL-86-32, 1986 [KSL-86-32]
- David Heckerman. An Axiomatic Framework for Belief Updates , Knowledge Systems, AI Laboratory, KSL-86-16,February 1986 [KSL-86-16]
- H. Brown, Eric Schoen, Bruce A. Delagi. An Experiment in Knowledge-Base Signal Understanding Using Parallel Architectures , Knowledge Systems, AI Laboratory, KSL-86-69, 1986 [KSL-86-69]
- Gio Wiederhold, Robert L. Blum, Michael Walker. An Integration of Knowledge and Data Representation , Springer Topics In Information Systems, On knowledge base management systems: integrating artificial intelligence and d atabase technologies () pp.431-444, 1986 [KSL-86-13]
- James F. Brinkley, Craig Cornelius, Russ B. Altman, Barbara Hayes-Roth, Olivier Lichtarge, Bruce S. Duncan, Bruce G. Buchanan, Oleg Jardetzky. Application of Constraint Satisfaction Techniques to the Determination of Protein Tertiary Structure , Knowledge Systems, AI Laboratory, KSL-86-28,March 1986 [KSL-86-28]
- Stephen M. Downs, Michael Walker, Robert L. Blum. Automated Summarization of On-Line Medical Records , Knowledge Systems, AI Laboratory, KSL-86-06, 1986 [KSL-86-06]
- Alan Garvey, Micheal Hewett, M. Johnson Jr., R. Schulman, Barbara Hayes-Roth. BB1 User Manual - Common Lisp Version , Knowledge Systems, AI Laboratory, KSL-86-61, 1986 [KSL-86-61]
- Alan Garvey, Micheal Hewett, M. Johnson Jr., R. Schulman, Barbara Hayes-Roth. BB1 User Manual - Interlisp Version , Knowledge Systems, AI Laboratory, KSL-86-60, 1986 [KSL-86-60]
- H. Penny Nii. Blackboard Systems , Knowledge Systems, AI Laboratory, KSL-86-18, 1986 [KSL-86-18]
- H. Penny Nii. CAGE and POLIGON: Two Frameworks for Blackboard-based Concurrent Problem Solving , Knowledge Systems, AI Laboratory, KSL-86-41, 1986 [KSL-86-41]
- Byron Davies. CAREL: A Visible Distributed Lisp , Knowledge Systems, AI Laboratory, KSL-86-14,March 1986 [KSL-86-14]
- Curtis Langlotz, Lawrence M. Fagan, Samson W. Tu, Branimir Sikic, Edward H. Shortliffe. Combining Artificial Intelligence and Decision Analysis for Automated Therapy Planning Assistance , Knowledge Systems, AI Laboratory, KSL-86-03, 1986 [KSL-86-03]
- Michael G. Kahn, Lawrence M. Fagan, Edward H. Shortliffe. Context-Specific Interpretation of Patient Records for a Therapy Advice System , Knowledge Systems, AI Laboratory, KSL-86-04, 1986 [KSL-86-04]
- D. Scales. Efficient Matching Algorithms for the SOAR , Knowledge Systems, AI Laboratory, KSL-86-47,June 1986 [KSL-86-47]
- Mark A. Musen, Lawrence M. Fagan, D. Combs, Edward H. Shortliffe. Facilitating Knowledge Entry for an Oncology Therapy Advisor Using a Model of the Application Area , Knowledge Systems, AI Laboratory, KSL-86-01, 1986 [KSL-86-01]
- William J. Clancey. From Guidon to Neomycin and Heracles in Twenty Short Lessons , Knowledge Systems, AI Laboratory, KSL-86-11,August 1986 [KSL-86-11]
- William J. Clancey, M. Richer, David C. Wilkins, S. Barnhouse, C. Kapsner, D. Leserman, J. Macias, A. Merchant, Naomi Rodolitz. Guidon-Debug: The Student as Knowledge Engineer , Knowledge Systems, AI Laboratory, KSL-86-34,April 1986 [KSL-86-34]
- Robert S. Engelmore, Craig Cornelius. Heuristic Programming Project, October 1982 - September 1985, Final Report , Knowledge Systems, AI Laboratory, KSL-86-17,February 1986 [KSL-86-17]
- Michael Walker. How Feasible is Automated Discovery? , Knowledge Systems, AI Laboratory, KSL-86-35, 1986 [KSL-86-35]
- M. Johnson Jr., Barbara Hayes-Roth. Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture , Knowledge Systems, AI Laboratory, KSL-86-76,December 1986 [KSL-86-76]
- William J. Clancey. Intelligent Tutoring Systems: A Tutorial Survey , Knowledge Systems, AI Laboratory, KSL-86-58, 1986 [KSL-86-58]
- David C. Wilkins. Knowledge Base Debugging Using Apprenticeship Learning Techniques , Knowledge Systems, AI Laboratory, KSL-86-63,October 1986 [KSL-86-63]
- Paul S. Rosenbloom, John E. Laird. Mapping Explanation-Based Generalization onto Soar , Knowledge Systems, AI Laboratory, KSL-86-46, 1986 [KSL-86-46]
- Edward H. Shortliffe. Medical Expert Systems Research at Stanford University , Knowledge Systems, AI Laboratory, KSL-86-53,September 1986 [KSL-86-53]
- Edward H. Shortliffe. Medical Expert Systems: Knowledge Tools for Physicians , Knowledge Systems, AI Laboratory, KSL-86-52,September 1986 [KSL-86-52]
- Edward H. Shortliffe. Medical Informatics: The Emergence of a Discipline , Knowledge Systems, AI Laboratory, KSL-86-54,September 1986 [KSL-86-54]
- John R. Delaney. Multi-System Report Integration Using Blackboards , Knowledge Systems, AI Laboratory, KSL-86-20, 1986 [KSL-86-20]
- Matthew L. Ginsberg. Multi-valued logics , Knowledge Systems, AI Laboratory, KSL-86-29, 1986 [KSL-86-29]
- Mark A. Musen, D. Combs, Joan D. Walton, Edward H. Shortliffe, Lawrence M. Fagan. OPAL: Toward the Computer-Aided Design of Oncology Advice Systems , Knowledge Systems, AI Laboratory, KSL-86-49, 1986 [KSL-86-49]
- David C. Wilkins, Bruce G. Buchanan. On Debugging Rule Sets When Reasoning Under Uncertainty , Knowledge Systems, AI Laboratory, KSL-86-30, 1986 [KSL-86-30]
- Barbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Micheal Hewett, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky. PROTEAN: Deriving protein structure from constraints , Knowledge Systems, AI Laboratory, KSL-86-51, 1986 [KSL-86-51]
- James Rice. Poligon, A System for Parallel Problem Solving , Knowledge Systems, AI Laboratory, KSL-86-19, 1986 [KSL-86-19]
- Matthew L. Ginsberg. Possible Worlds Planning , Knowledge Systems, AI Laboratory, KSL-86-37, 1986 [KSL-86-37]
- William J. Clancey. Qualitative Student Models , Knowledge Systems, AI Laboratory, KSL-86-15, 1986 [KSL-86-15]
- Glenn D. Rennels, Edward H. Shortliffe, Frank E. Stockdale, Perry L. Miller. Reasoning from the Clinical Literature: The Roundsman System , Knowledge Systems, AI Laboratory, KSL-86-05, 1986 [KSL-86-05]
- William J. Clancey. Review of Winograd and Flores' "Understanding Computers and Cognition: A New Foundation for Design , Knowledge Systems, AI Laboratory, KSL-86-48, 1986 [KSL-86-48]
- John E. Laird, Allen Newell, Paul S. Rosenbloom. Soar: An Architecture for General Intelligence , Knowledge Systems, AI Laboratory, KSL-86-70, 1986 [KSL-86-70]
- Eric Schoen. The CAOS System , Knowledge Systems, AI Laboratory, KSL-86-22,March 1986 [KSL-86-22]
- David Heckerman, Eric Horvitz. The Myth of Modularity in Rule-Based Systems for Reasoning with Uncertainty , Knowledge Systems, AI Laboratory, KSL-86-33, 1986 [KSL-86-33]
- Christopher D. Lane. The Ozone Reference Manual , Knowledge Systems, AI Laboratory, KSL-86-40,July 1986 [KSL-86-40]
- William J. Clancey. The Science and Engineering of Qualitative Models , Knowledge Systems, AI Laboratory, KSL-86-27, 1986 [KSL-86-27]
- Eric Horvitz, David Heckerman, Bharat N. Nathwani, Lawrence M. Fagan. The Use of a Heuristic Problem-Solving Hierarchy to Facilitate the Explanation of Hypothesis-Directed Reasoning , Knowledge Systems, AI Laboratory, KSL-86-02, 1986 [KSL-86-02]
- Ross D. Shachter, David Heckerman. Thinking Backward for Knowledge Acquisition , Knowledge Systems, AI Laboratory, KSL-86-50,Fall 1986 [KSL-86-50]
- Eric Horvitz. Toward a Science of Expert Systems , Knowledge Systems, AI Laboratory, KSL-86-75, 1986 [KSL-86-75]
- Michael Walker, Robert L. Blum. Towards Automated Discovery from Clinical Databases: the RADIX Project , Knowledge Systems, AI Laboratory, KSL-86-07, 1986 [KSL-86-07]
- David Heckerman, R, Olph A. Miller. Towards a Better Understanding of the INTERNIST-1 Knowledge Base , Knowledge Systems, AI Laboratory, KSL-86-08, 1986 [KSL-86-08]
- Edward H. Shortliffe. Update on Oncocin: A Chemotherapy Advisor for Clinical Oncology , Knowledge Systems, AI Laboratory, KSL-86-43, 1986 [KSL-86-43]
- N. Aiello. User-Directed Control of Parallelism, The CAGE System , Knowledge Systems, AI Laboratory, KSL-86-31, 1986 [KSL-86-31]
- Curtis Langlotz, Edward H. Shortliffe, Lawrence M. Fagan. Using Decision Theory to Justify Heuristics , Knowledge Systems, AI Laboratory, KSL-86-26, 1986 [KSL-86-26]
- Mark A. Musen, Lawrence M. Fagan, D. Combs, Edward H. Shortliffe. Using a Domain Model to Drive An Interactive Knowledge Editing Tool , Knowledge Systems, AI Laboratory, KSL-86-24, 1986 [KSL-86-24]
- Donald Henager. Window-Driven Object-Oriented Calculator , Knowledge Systems, AI Laboratory, KSL-86-64,March 1986 [KSL-86-64]
1985
- Edward H. Shortliffe. Artificial Intelligence in Management Decisions: ONCOCIN , Knowledge Systems, AI Laboratory, KSL-86-39, 1985 [KSL-86-39]

