Knowledge Systems Lab Reports By Report Number
Knowledge Systems Lab Reports By Report Number
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
This document contains a list of KSL Technical Reports organized
by report number. Select a number to move to that section in this document:
07 06 05 04 03 02 01 00 99 98 97 96 95 94 93 92 91 90 89 88 87 86
KSL-07-xx Reports
- KSL-07-01
- McGuinness, D.L.; Fox, P.; Cinquini, L.; West, P.; Garcia, J.; Benedict, J.L.; Middleton, D.
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),
Vancouver, British Columbia, Canada,
July 22-26,
2007.
- KSL-07-02
- McGuinness, D.L.; Fox, P.; Cinquini, L.; West, P.; Garcia, J.; Benedict, J.L.; Middleton, D.
A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory.
Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07) Intelligent Systems Track,
Vancouver, British Columbia, Canada,
July 22-26,
2007.
- KSL-07-03
- McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P.
Explaining Task Processing in Cognitive Assistants that Learn.
Proceedings of the 20th International FLAIRS Conference (FLAIRS-20),
Key West, Florida,
May 7-9,
2007.
- KSL-07-04
- Glass, A.; McGuinness, D.L.; Wolverton, M.
Toward Establishing Trust in Adaptive Agents.
Proceedings of the 2008 International Conference on Intelligent User Interfaces (IUI2008),
Canary Islands, Spain,
January 13-16,
2008.
- KSL-07-05
- McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P.
A Categorization of Explanation Questions for Task Processing Systems.
Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007),
Vancouver, Canada,
July 22-23,
2007.
- KSL-07-06
- Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L.; Deshwal, P.; Narayanan, D.; Carvalho, J.; Pinheiro, V.; Chang, C.
Abstracting Web Agent Proofs into Human-Level Justifications.
Proceedings of the 20th International FLAIRS Conference (FLAIRS-20),
Key West, Florida,
May 7-9,
2007.
- KSL-07-07
- McGuinness, D.L.; Ding, L.; Pinheiro da Silva, P.; Chang, C.
PML 2: A Modular Explanation Interlingua.
Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007),
Vancouver, Canada,
July 22-23,
2007.
- KSL-07-08
- Kendall, E.F.; Jacobs, J.; McGuinness, D.L.; Schwab, S.
Policies for Public Domain Ontologies for the Intelligence Community.
Proceedings of the Ontology for the Intelligence Community Conference,
Columbia, Maryland,
November 28-29,
2007.
- KSL-07-09
- Fox, P.; McGuinness, D.L.; Raskin, R.; Sinha, K.
A Volcano Erupts: Semantically Mediated Integration of Heterogeneous Volcanic and Atmospheric Data.
Proceedings of the First Workshop on Cyberinfrastructure: Information Management in eScience, co-located with the ACM Conference on Information and Knowledge Management,
Lisbon, Portugal,
November 9,
2007.
KSL-06-xx Reports
- KSL-06-01
- Zeng, H.; McIlraith, S.
Experimental Results on the Satisfiable Core in Random 3SAT.
Ninth International Symposium on Artificial Intelligence and Mathematics,
January 4-6, 2006, Fort Lauderdale, Florida
2006.
- KSL-06-02
- Cowell, A.; McGuinness, D.L.; Varley, C.; Thurman, D.
Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems.
In the Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia.
2006.
- KSL-06-03
- Weitzner, D.J.; Abelson, H.; Berners-Lee, T.; Hanson, C.P.; Hendler, J.; Kagal, L.; McGuinness, D.L.; Sussman, G.J.; Waterman, K.K. Transparent Accountable Data Mining: New Strategies for Privacy Protection. Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment. AAAI Press, Stanford University, Stanford, CA, USA, 2006.
- KSL-06-04
- Glass, A.; McGuinness, D.L. Introspective Predicates for Explaining Task Execution in CALO. Technical Report. 2006.
- KSL-06-05
- McGuinness, D.L.; Zeng, H.; Pinheiro da Silva, P.; Ding, L.; Narayanan, D.; Bhaowal, M. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study.
The Workshop on the Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006.
2006.
- KSL-06-06
- McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P.
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-07
- Makarios, S.; Heuer, K.; Fikes, R.
Computational Context Logic and Species of $ist$.
2006.
- KSL-06-08
- Makarios, S.
A Model Theory for a Quantified Generalized Logic of Contexts.
2006.
- KSL-06-09
- Makarios, S.; Heuer, K.
Building-In New Inference Rules for Computational Context Logic.
2006.
- KSL-06-10
- Makarios, S.; Guha, R.V.
Any $ist_{AON}$ Quantified Context Logic has a First-Order Semantics.
2006.
- KSL-06-11
- Makarios, S.; Heuer, K.
Any $ist_{AO}$ Quantified Context Logic has a First-Order Semantics.
2006.
- KSL-06-12
- Zeng, H.; Alhossaini, M.; Ding, L.; Fikes, R.; McGuinness, D.L.
Computing Trust from Revision History.
The 2006 International Conference on Privacy, Security and Trust (PST 2006)
Markham, Ontario, Canada
October 30 -- November 1,
2006.
- KSL-06-13
- Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L.
WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems.
The 18th International Conference on Software Engineering and Knowledge Engineering
2006.
- KSL-06-14
- McGuinness, D.L.; Ding, L.; Glass, A.; Chang, C.; Zeng, H.; Furtado, V.
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-15
- Ding, L.; Finin, T.
Characterizing the Semantic Web on the Web.
Proceedings of the Fifth International Semantic Web Conference (ISWC06)
Athens, GA
November 5-9,
2006.
- KSL-06-16
- Zeng, H.; Alhossaini, M.; Fikes, R.; McGuinness, D.L.
Mining Revision History to Assess Trustworthiness of Article Fragments.
The 2nd International Conference on Collaborative Computing:
Networking, Applications and Worksharing (collaboratecom'06)
Atlanta, Georgia, USA,
November 17th - 20th,
2006.
- KSL-06-17
- Murdock, J. W.; McGuinness, D.L.; Pinheiro da Silva, P.; Welty, C.; Ferrucci, D.
Explaining Conclusions from Diverse Knowledge Sources.
the 5th International Semantic Web Conference (ISWC2006)
Athens, Georgia, USA,
November 5th - 9th,
2006.
- KSL-06-18
- McGuinness, D.L.; Fox, P.; Cinquini, L.; West, P.; Benedict, J.; Darnell, J.A.; Garcia, J.; Middleton, D.
Semantically-Enabled Virtual Observatories.
OWL: Experiences and Direction (OWLED-2006) workshop,
Athens, Georgia, USA,
November 10th - 11th,
2006.
- KSL-06-19
- Fox, P.; McGuinness, D.L.; Middleton, D.; Cinquini, L.; Darnell, J.A.; Garcia, J.; West, P.; Benedict, J.; Solomon, S.
Semantically-Enabled Large-Scale Science Data Repositories.
the 5th International Semantic Web Conference (ISWC06),
Athens, Georgia, USA,
November 5th - 9th,
2006.
- KSL-06-20
- McGuinness, D.L; Fox, P.; Cinquini, L.; Darnell, T.; West, P.; Benedict, J.; Garcia, J.; Middleton, D.
Ontology-Enabled Virtual Observatories: Semantic Integration in Practice.
the 5th International Semantic Web Conference Poster Session (ISWC06),
Athens, Georgia, USA,
November 5th - 9th,
2006.
- KSL-06-21
- Martin, D.; Burstein, M.; McDermott, D.; McGuinness, D.L.; McIlraith, S.; Paolucci, M.; Sirin, E.; Srinivasan, N.; Sycara, K.
Bringing Semantics to Web Services with OWL-S.
World Wide Web Journal (to appear).
2006.
KSL-05-xx Reports
- KSL-05-01
- Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; Fikes, R.; & Deshwal, P. Towards Checking Hybrid Proofs. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.
- KSL-05-02
- Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D. L. Explaining Problem Solver Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.
- KSL-05-03
- McGuinness, D.L.; Pinheiro da Silva, P.; Murdock, J. W.; & Ferrucci, D. Exposing Extracted Knowledge Supporting Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.
- KSL-05-04
- Zeng, H.; Fikes, R.
Explaining Data Incompleteness in Knowledge Aggregation.
Technical Report, Knowledge Systems, AI Laboratory, Stanford University.
2005.
- KSL-05-05
- Welty, C.; Murdock, J. W.; Pinheiro da Silva, P.; McGuinness, D.L.; Ferrucci, D.; Fikes, R.
Tracking Information Extraction from Intelligence Documents.
In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005.
2005.
- KSL-05-06
- Ding, L.; Finin, T.; Peng, Y.; Pinheiro da Silva, P.; McGuinness, D.L.
Tracking RDF Graph Provenance using RDF Molecules.
Proceedings of the Fourth International Semantic Web Conference, November 2005.
2005.
- KSL-05-07
- Zeng, H.; Fikes, R. Extracting Assumptions from Missing Data.
Context representation and reasoning 2005, proceedings of the first international workshop
2005.
- KSL-05-08
- Zeng, H.; McGuinness, D.L.; Pinheiro da Silva, P.; Fikes, R.
Explaining Results from Information Retrieval and Integration.
International Symposium on
Explanation-aware Computing,
AAAI Symposium, Washington, D.C., November 3-6, 2005
2005.
- KSL-05-09
- Martine De Cock; Pinheiro da Silva, P.
A Many Valued Representation and Propagation of Trust and Distrust.
Technical Report, Knowledge Systems, AI Laboratory, Stanford University.
2005.
- KSL-05-10
- Zeng, H.; McIlraith, S.
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 1-5, 2005, Barcelona, Spain.
2005.
- KSL-05-11
- McGuinness, D.L.; Pinheiro da Silva, P.; Wolverton, M.
Plan for Explaining Task Execution in CALO.
Technical Report.
2005.
KSL-04-xx Reports
- KSL-04-01
- Pinheiro da Silva, P.; McGuinness, D. L.; & Fikes, R. E. A Proof Markup Language for Semantic Web Services. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004.
- KSL-04-02
- Shvaiko, P.; Giunchiglia, F.; Pinheiro da Silva, P.; & McGuinness, D. L. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), pp 303-317, 2004.
- KSL-04-03
- McGuinness, D.L.; Pinheiro da Silva, P. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics Vol.1 No.4, pages 397-413, October 2004.
- KSL-04-04
- Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; & Fikes, R. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004, 2004.
- KSL-04-05
- Fikes, R. & Makarios, S. KANI Time Ontology. Knowledge Systems Laboratory, June, 2004.
- KSL-04-06
- Murdock, J. W.; Pinheiro da Silva, P.; Ferrucci, D.; Welty, C.; & McGuinness, D. L. Encoding Extraction as Inferences. 2004.
- KSL-04-08
- Zaihrayeu, I.; Pinheiro da Silva, P.; & McGuinness, D. L. IWTrust: Improving User Trust in Answers from the Web. Rocquencourt, France, 2005., 2004.
KSL-03-xx Reports
- KSL-03-01
- Fikes, R.; Jenkins, J.; & Frank, G. JTP: A System Architecture and Component Library for Hybrid Reasoning. Knowledge Systems Laboratory, 2003.
- KSL-03-02
- McGuinness, D.L.; Pinheiro da Silva, P. Inference Web: Portable Explanations for the Web. Knowledge Systems Laboratory, January, 2003.
- KSL-03-03
- McGuinness, D.L.; Pinheiro da Silva, P. Registry-Based Support for Information Integration. Knowledge Systems Laboratory, March, 2003.
- KSL-03-04
- Pinheiro da Silva, P.; McGuinness, D.L.; Fikes, R. Combinable Proof Fragments for the Web. Knowledge Systems Laboratory, January, 2003.
- KSL-03-05
- Fikes, R.; Jenkins, J.; & Zhou, Q. Including Domain-Specific Reasoners with Reusable Ontologies. Knowledge Systems Laboratory, March, 2003.
- KSL-03-06
- Sanner, S. P. Towards Practical Taxonomic Classification for Description Logics on the Semantic Web. Knowledge Systems Laboratory, 2003.
- KSL-03-07
- McCool, R.; Fikes, R.; & McGuinness, D. Semantic Web Tools for Enhanced Authoring. KSL, 2003.
- KSL-03-08
- Kumar, T. K. S. Incremental Computation of Resource-Envelopes in Producer-Consumer Models. The Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), September, 2003.
- KSL-03-09
- McGuinness, D. L. Knowledge Representation for Question Answering. In the Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA., March 2003., 2003.
- KSL-03-10
- McGuinness, D.L.; Pinheiro da Silva, P. Inference Web: Portable and Shareable Explanations for Question Answering. In the Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA., March 2003, 2003.
- KSL-03-11
- Mandell, D. & McIlraith, S. A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation. In the Proceedings of the Twelfth International World Wide Web Conference Workshop on E-Services and the Semantic Web (ESSW'03). Budapest, 2003, 2003.
- KSL-03-12
- MacCartney, B.; McIlraith, S.; Amir, E.; & Uribe, T. Practical Partition-Based Theorem Proving for Large Knowledge Bases. Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03), August 2003., 2003.
- KSL-03-13
- Mandell, D. J. & McIlraith, S. A. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. The Proceedings of the Second International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, 2003, 2003.
- KSL-03-14
- Fikes, R.; Hayes, P.; & Horrocks, I. OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford, CA, 2003.
- KSL-03-15
- McCool, R.; Fikes, R.; & Guha, R. Semantic Issues in Web-Scale Knowledge Aggregation. Knowledge Systems Laboratory, 2003.
- KSL-03-16
- Fikes, R.; Marwick, A.; & Thurman, D. Knowledge Associates for Novel Intelligence (KANI). Knowledge Systems Laboratory, October, 2003.
- KSL-03-17
- Hsu, E.; McGuinness, D.L. Wine Agent: Semantic Web Testbed Application. Proceedings of the Workshop on Description Logics, Rome, Italy, 2003.
KSL-02-xx Reports
- KSL-02-01
- Fikes, R.; McGuinness, D.L.; & Waldinger, R. A First-Order Logic Semantics for Semantic Web Markup Languages. Knowledge Systems Laboratory, January, 2002.
- KSL-02-02
- Pfleger, K. On-Line Learning of Undirected Sparse n-grams. Knowledge Systems Laboratory, 2002.
- KSL-02-03
- Fadel, R. M. Planning with Complex Actions. 2002.
- KSL-02-04
- Pinheiro da Silva, P. & Paton, N. W. Improving UML Support for User Interface Design: A Metric Assessment of UMLi. Stanford University, 2002.
- KSL-02-05
- Fikes, R.; Hayes, P.; & Horrocks, I. DQL - A Query Language for the Semantic Web. Knowledge Systems Laboratory, 2002.
- KSL-02-06
- McGuinness, D. L.; Fikes, R.; Hendler, J.; & Stein, L. A. DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intelligent Systems, Vol. 17, No. 5, September/October 2002, 2002.
- KSL-02-07
- Kendall, E. F.; Dutra, M. E.; & McGuinness, D.L. Towards A Commercial Ontology Development Environment. In International Semantic Web Conference Late Breaking Topics Sardinia, Italy, June 9-12, 2002., 2002.
- KSL-02-08
- Lerner, U.; Moses, B.; Scott, M.; McIlraith, S.; & Koller, S. Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net. The Proceedings of the Eighteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2002), Edmonton, Canada, August, 2002, 2002.
- KSL-02-09
- McGuinness, D. L. Description Logic for Configuration. In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2002, 2002.
- KSL-02-10
- McGuinness, D. L. & Patel-Schneider, P. From Description Logic Provers to Knowledge Representation Systems. In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2002, 2002.
- KSL-02-11
- Horrocks, I.; McGuinness, D.L.; & Welty, C. Digital Libraries and Web-Based Information Systems. In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press., 2002, 2002.
- KSL-02-12
- McGuinness, D. L. Ontologies Come of Age. In Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002, 2002.
- KSL-02-13
- McGuinness, D. L.; Fikes, R.; Stein, L. A.; & Hendler, J. DAML-ONT: An Ontology Language for the Semantic Web. In Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002, 2002.
- KSL-02-14
- Ankolekar, A.; Burstein, M.; Hobbs, J.; Lassila, O.; Martin, D.; McDermott, D.; McIlraith, S.; Narayanan, S.; Paolucci, M.; Payne, T.; & Sycara, K. DAML-S: Web Service Description for the Semantic Web. Proceedings of the International Semantic Web Conference (ISWC), July 2002, 2002.
- KSL-02-15
- McIlraith, S. & Son, T. Adapting Golog for Composition of Semantic Web Services. Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), April, 2002, 2002.
- KSL-02-16
- Narayanan, S. & McIlraith, S. Simulation, Verification and Automated Composition of Web Services. The Proceedings of the Eleventh International World Wide Web Conference (WWW-11), May, 2002, 2002.
KSL-01-xx Reports
- KSL-01-01
- Fikes, R. & McGuinness, D.L. An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL. Knowledge Systems Laboratory, January, 2001.
- KSL-01-02
- Lassila, O. & McGuinness, D.L. The Role of Frame-Based Representation on the Semantic Web. Knowledge Systems Laboratory, January, 2001.
- KSL-01-03
- McGuinness, D. L. Ontologies and Online Commerce. IEEE Intelligent Systems, Vol. 16, No. 1, January/ February, 2001.
- KSL-01-04
- McIlraith, S. A. & Amir, E. Theorem Proving with Structed Theories (Full Report). Knowledge Systems Laboratory, April 6, 2001.
- KSL-01-05
- Noy, N. F. & McGuinness, D. L. Ontology Development 101: A Guide to Creating Your First Ontology. Knowledge Systems Laboratory, March, 2001.
- KSL-01-06
- McGuinness, D. L.; Fensel, D.; Horrocks, I.; Harmelen, F. v.; & Patel-Schneider, P. F. OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems, Vol. 16, No. 2, March/April, 2001.
- KSL-01-07
- McGuinness, D. L. Ontologies Come of Age. Knowledge Systems Laboratory, 2001.
- KSL-01-08
- McGuinness, D. L.; Fikes, R.; Stein, L. A.; & Hendler, J. DAML-ONT: An Ontology Language for the Semantic Web. Knowledge Systems Laboratory, 2001.
- KSL-01-09
- Das, A.; Wu, W.; & McGuinness, D.L. Industrial Strength Ontology Management. In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah L. McGuinness, eds. The Emerging Semantic Web, 2001, 2001.
- KSL-01-10
- Pfleger, K. Learning Predictive Compositional Hierarchies. Knowledge Systems Laboratory, June, 2001.
- KSL-01-11
- Fensel, D.; Horrocks, I.; Harmelen, F. v.; McGuinness, D.L.; & Patel-Schneider., P. F. OIL: An Ontology Infrastructure for the Semantic Web. In IEEE Intelligent Systems, Vol. 16, No. 2, March/April 2001, 2001.
- KSL-01-12
- McGuinness, D. L. Ontologies and Online Commerce. In IEEE Intelligent Systems, Vol. 16, No. 1, January/February 2001, 2001.
- KSL-01-13
- Son, T.; Baral, C.; & McIlraith, S. 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, 2001.
- KSL-01-14
- McIlraith, S.; Son, T.; & Zeng, H. Mobilizing the Web with DAML-Enabled Web Services. The Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10., May 2001, 2001.
- KSL-01-15
- McIlraith, S. & Son, T. Adapting Golog for Programming the Semantic Web. Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001), May 2001., 2001.
- KSL-01-16
- Amir, E. & McIlraith, S. 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, 2001.
- KSL-01-17
- Ankolekar, A.; Burstein, M.; Hobbs, J.; Lassila, O.; Martin, D.; McIlraith, S.; Narayanan, S.; Paolucci, M.; Payne, T.; Sycara, K.; & Zeng, H. DAML-S: Semantic Markup for Web Services. Proceedings of the International Semantic Web Working Symposium (SWWS), July 30-August 1, 2001., 2001.
- KSL-01-18
- Son, T. C.; Baral, C.; & McIlraith, S. 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), Vienna, Austria, September 17-19, 2001, 2001.
KSL-00-xx Reports
- KSL-00-01
- Zhou, Q. & Fikes, R. A Reusable Time Ontology. Knowledge Systems Laboratory, February, 2000.
- KSL-00-02
- Amir, E. & McIlraith, S. A. Partition-Based Logical Reasoning. Knowledge Systems Laboratory, February, 2000.
- KSL-00-03
- Kumar, T. K. S. Reinterpretation of Causal Order Graphs Towards Effective Explanation Generation Using Compositional Modeling. The Fourteenth International Workshop on Qualitative Reasoning, Mexico, 2000.
- KSL-00-04
- Kumar, T. K. S. A Compositional Approach to Causality. The Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000), Austin, Texas, 2000.
- KSL-00-05
- Fikes, R. Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases. Knowledge Systems Laboratory, June, 2000.
- KSL-00-06
- McGuinness, D. L. Conceptual Modeling for Distributed Ontology Environments. In Proceedings of the Eighth International Conference on Conceptual Structures Logical, Linguistic, and Computational Issues, Darmstadt, Germany, August, 2000.
- KSL-00-07
- Neller, T. W. Simulation-Based Search for Hybrid System Control and Analysis. 2000.
- KSL-00-08
- McGuinness, D. L.; Fikes, R.; Rice, J.; & Wilder, S. An Environment for Merging and Testing Large Ontologies. Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, April, 2000.
- KSL-00-09
- McGuinness, D. L.; Fikes, R.; Rice, J.; & Wilder, S. The Chimaera Ontology Environment. Proceedings of the The Seventeenth National Conference on Artificial Intelligence (AAAI 2000), July 30-August 3, 2000.
- KSL-00-10
- Hendler, J. & McGuinness, D.L. The DARPA Agent Markup Language. IEEE Intelligent Systems Vol. 15 No. 6, November/December, 2000.
KSL-99-xx Reports
- KSL-99-01
- McIlraith, S. A.; Biswas, G.; Clancy, D.; & Gupta, V. Towards Diagnosing Hybrid Systems. Knowledge Systems Laboratory, February, 1999.
- KSL-99-02
- Mosterman, P. J. & Biswas, G. Diagnosis of Continuous Valued Systems in Transient Operating Regions. Knowledge Systems Laboratory, November, 1999.
- KSL-99-03
- Mosterman, P. J. & Biswas, G. Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. Knowledge Systems Laboratory, March, 1999.
- KSL-99-04
- Mosterman, P. J. & Biswas, G. Deriving Discontinuous State Changes
for Reduced Order Systems and the effect on Compositionality. Knowledge Systems Laboratory, June, 1999.
- KSL-99-05
- Manders, E. J.; Mosterman, P. J.; & Biswas, G. Signal to Symbol Transformation Techniques for Robust Diagnosis in TRANSCEND. Knowledge Systems Laboratory, June, 1999.
- KSL-99-06
- Mosterman, P. J. & Biswas, G. A Comprehensive Methodology for Building Hybrid Models of Physcial Systems. Knowledge Systems Laboratory, June, 1999.
- KSL-99-07
- McGuinness, D. L. Ontologies for Electronic Commerce. Proceedings of the AAAI '99 Artificial Intelligence for Electronic Commerce Workshop, Orlando, Florida, July, 1999.
- KSL-99-08
- McGuinness, D. L. 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, Phoenix, Arizona, December, 1999.
- KSL-99-09
- Howley, B.; Cutkosky, M.; & Biswas, G. Composing and Sharing Dynmaic Models in an Agent-Based Concurrent Engineering Environment. Knowledge Systems Laboratory, June, 1999.
- KSL-99-10
- Ozawa, M.; Biswas, G.; & Zhu, L. Task Distribution and Lumped Parameter Modeling in Multi-Disciplinary Product Development. Knowledge Systems Laboratory, June, 1999.
- KSL-99-11
- Sun, Y. & Fikes, R. Creating Open, Sharable XML DTDs for Knowledge Representation And Bringing Enhanced Semantics to XML. Knowledge Systems Laboratory, August, 1999.
- KSL-99-12
- Brachman, R. J.; Borgida, A.; McGuinness, D.L.; & Patel-Schneider, P. F. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artificial Intelligence 114 (1-2), October, 1999.
- KSL-99-13
- Baader, F.; Borgida, A.; Kuesters, R.; & McGuinness, D.L. Matching in Description Logics. Journal of Logic and Computation -- Special Issue on Description Logics. Volume 9, number 3, June, 1999.
- KSL-99-14
- Franconi, E.; Giacomo, G. d.; Horrocks, I.; McGuinness, D.L.; Nutt, W.; Patel-Schneider, P.; & Welty, C. Report on the 1998 International Workshop on Description Logics DL'98. Journal of Logic and Computation - Special Issue on Description Logics, Volume 9, number 3, Linköping, Sweden, June, 1999.
- KSL-99-15
- Borgida, A.; Franconi, E.; Horrocks, I.; McGuinness, D.L.; & Patel-Schneider, P. Explaining ALC subsumption. Proceedings of the International Workshop on Description Logics - DL-99, Linköping, Sweden, July, 1999.
- KSL-99-16
- MacGregor, R. & McGuinness, D. L. DARPA's High Performance Knowledge Base (HPKB) Program. Proceedings for the International Workshop on Description Logics - DL - 99, Linköping, Sweden, July, 1999.
- KSL-99-17
- Fikes, R. & Rice, J. The Stanford KSL Knowledge Base Merging Critical Component Experiment. Knowledge Systems Laboratory, October, 1999.
KSL-98-xx Reports
- KSL-98-01
- Isbister, K. & Hayes-Roth, B. Social Implications of Using Synthetic Characters: An Examination of a Role-Specific Intelligent Agent. Knowledge Systems Laboratory, January, 1998.
- KSL-98-02
- Pfleger, K. & Hayes-Roth, B. Using Abstract Plans to Guide Behavior. Knowledge Systems Laboratory, January, 1998.
- KSL-98-03
- Pfleger, K. & Hayes-Roth, B. An Introduction to Blackboard-Style Systems Organization. Knowledge Systems Laboratory, January, 1998.
- KSL-98-04
- Pfleger, K. & Hayes-Roth, B. Learning of Compositional Hierarchies for the modeling of context effects. Knowledge systems Laboratory, January, 1998.
- KSL-98-05
- Pfleger, K. & Hayes-Roth, B. Categorical Boltzmann Machines. Knowledge Systems Laboratory, January, 1998.
- KSL-98-06
- Chaudhri, V. K.; Farquhar, A.; Fikes, R.; Karp, P. D.; & Rice, J. P. Open Knowledge Base Connectivity 2.0. Knowledge Systems Laboratory, January, 1998.
- KSL-98-07
- Hayes-Roth, B. Interacting with Animate Characters: Puppets, Bartenders, and Auto Salespersons. Knowledge Systems Laboratory, January, 1998.
- KSL-98-08
- V. Chaudhri, A. F., R. Fikes, P. Karp, J. Rice. OKBC: A Programmatic Foundation for Knowledge Base Interoperability. Proceedings of AAAI-98, Madison, Wisconsin, February, 1998.
- KSL-98-11
- Huard, R. Character Mastery with the Improvisational Puppets Program. Knowledge Systems Laboratory, February, 1998.
- KSL-98-12
- Neller, T. W. Heuristic Optimization and Dynamical System Safety
Verification. Center for Continuing Education, Univ of Notre Dame, Univ. of Notre Dame, South Bend, IN, 1997.
- KSL-98-13
- Neller, T. W. Information-Based Optimization Approaches to Dynamical System Safety Verification. Knowledge Systems Laboratory, March, 1998.
- KSL-98-14
- Loeser, T.; Iwasaki, Y.; & Fikes, R. Safety Verification Proofs for Physical Systems. Knowledge Systems Laboratory, March, 1998.
- KSL-98-15
- Rice, J. Writing an OKBC Application--A Case Study. Knowledge Systems Laboratory, May, 1998.
- KSL-98-16
- Frank, G.; Farquhar, A.; & Fikes, R. Building a Large Knowledge Base from a Structured Source: The CIA World Fact Book. Knowledge Systems Laboratory, April, 1998.
- KSL-98-17
- Iwasaki, Y.; Farquhar, A.; Fikes, R.; & Rice, J. A Web-based Compositional Modeling System for Sharing of Physical Knowledge. Morgan Kaufmann, Nagoya, Japan, 1997.
- KSL-98-18
- Choueiry, B. Y.; McIlraith, S. A.; Iwasaki, Y.; Loeser, T.; Neller, T.; Engelmore, R.; & Fikes, R. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. Knowledge Systems Laboratory, June, 1998.
- KSL-98-19
- McIlraith, S. A. Logic-Based Abductive Inference. Knowledge Systems Laboratory, July, 1998.
- KSL-98-20
- McIlraith, S. A. Towards Exploiting Generic Procedures in Model-Based Computing. Knowledge Systems Laboratory, July, 1998.
- KSL-98-21
- McIlraith, S. A. Explanatory Diagnosis: Conjecturing actions to explain observations. Knowledge Systems Laboratory, July, 1998.
- KSL-98-22
- McIlraith, S.; Biswas, G.; Fromherz, M.; Howe, J.; Fikes, R.; Bobrow, D.; Cutkosky, M.; Engelmore, R.; & Neller, T. Model-Enabled Control of Hybrid Systems. Knowledge Systems Laboratory, July, 1998.
- KSL-98-23
- Choueiry, B. Y. & Noubir, G. A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets. Knowledge Systems Laboratory, August, 1998.
- KSL-98-24
- Choueiry, B. Y. & Noubir, G. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. Knowledge Systems Laboratory, October, 1998.
- KSL-98-25
- McGuinness, D. L. & Wright, J. Conceptual Modeling for Configuration: A Description Logic-based Approach. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing Journal - Special Issue on Configuration, 1998.
- KSL-98-26
- McGuinness, D.; Patel-Schnedier, P.; Resnick, L. A.; Isbell, C.; Parker, M.; & Welty, C. A Description Logic Based Configurator for the Web. SIGART Bulletin, 9(2), Fall, 1998.
- KSL-98-27
- Darr, T.; Fox, M.; & McGuinness, D.L. Special Configuration Issue of the Artificial
Intelligence for Engineering Design, Analysis, and Manufacturing Journal. Artificial Intelligence for Engineering, Design, Analysis, and Manufacturing Journal, 1998.
- KSL-98-28
- McGuinness, D. L. & Wright, J. An Industrial Strength Description Logic-based Configurator Platform. IEEE Intelligent Systems. Vol 13, No. 4, July/August, 1998.
- KSL-98-29
- J. Rice, A. F. OKBC, A Rich API on the Cheap. Knowledge Systems Laboratory, Palo Alto, CA, April, 1998.
- KSL-98-30
- Rice, J. Writing an OKBC Application - A Case Study. Knowledge Systems Laboratory, Palo Alto, CA, April, 1998.
KSL-97-xx Reports
- KSL-97-01
- Farquhar, A. & Buvac, S. Putting Context Logic into Practice. Knowledge Systems Laboratory, January, 1997.
- KSL-97-02
- Fikes, R. & Farquhar, A. Large-Scale Repositories of Highly Expressive Reusable Knowledge. Knowledge Systems Laboratory, April, 1997.
- KSL-97-03
- Fikes, R.; Farquhar, A.; & Rice, J. Tools for Assembling Modular Ontologies in Ontolingua. Knowledge Systems Laboratory, April, 1997.
- KSL-97-04
- Doyle, P. & Hayes-Roth, B. Guided Exploration of Virtual Worlds. Knowledge Systems Laboratory, May, 1997.
- KSL-97-05
- Chaudhri, V.; Farquhar, A.; Fikes, R.; Karp, P.; & Rice, J. The Generic Frame Protocol 2.0. Knowledge Systems Laboratory, August, 1997.
- KSL-97-06
- Rousseau, D. & Hayes-Roth, B. Interacting with Personality-Rich Characters. Knowledge Systems Laboratory, September, 1997.
- KSL-97-07
- Rousseau, D. & Hayes-Roth, B. A Social-Psychological Model for Synthetic Actors. Knowledge Systems Laboratory, September, 1997.
- KSL-97-08
- Maldonado, H.; Picard, A.; Doyle, P.; & Hayes-Roth, B. Tigrito: A Multi-Mode Interactive Improvisational Agent. Knowledge Systems Laboratory, December, 1997.
- KSL-97-09
- Doyle, P. & Hayes-Roth, B. Agents in Annotated Worlds. Knowledge Systems Laboratory, December, 1997.
- KSL-97-10
- Rousseau, D. & Hayes-Roth, B. Improvisational Synthetic Actors with Flexible Personalities. Knowledge Systems Laboratory, December, 1997.
- KSL-97-11
- S. Paley, J. L., P. Karp. A Generic Knowledge-base Browser and Editor. Proceedings of IAAI - 97, Menlo Park, CA, February, 1997.
KSL-96-xx Reports
- KSL-96-01
- Shahar, Y. Dynamic Induction of Temporal Interpretation Contexts. Knowledge Systems Laboratory, Medical Computer Science, January, 1996.
- KSL-96-02
- Shahar, Y. Knowledge-Based Temporal Interpolation. Knowledge Systems Laboratory, Medical Computer Science, January, 1996.
- KSL-96-03
- Shiffman, S.; Rubin, G. D.; & Napel, S. Semiautomated editing of computed tomography angiography for visualization of vasculature. Knowledge Systems Laboratory, Medical Computer Science, January, 1996.
- KSL-96-04
- Shiffman, S. & Shortliffe, E. H. Biomedical Imaging and the Evolution of Medical Informatics. Knowledge Systems Laboratory, Medical Computer Science, January, 1996.
- KSL-96-05
- Hayes-Roth, B. & Gent, R. v. Story-Making with Improvisational Puppets and Actors. Knowledge Systems Laboratory, January, 1996.
- KSL-96-06
- Musen, M.; Tu, S.; Das, A.; & Shahar, Y. A Component-Based Approach to Automation of Protocol-Directed Therapy. Knowledge Systems Laboratory, Medical Computer Science, 1996, 1996.
- KSL-96-07
- Fensel, D.; Eriksson, H.; Musen, M. A.; & Studer, R. Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A
Case Study. Knowledge Systems Laboratory, Medical Computer Science, February, 1996.
- KSL-96-08
- Ketting, C. H.; Austin-Seymour, M. M.; Kalet, I. J.; Jacky, J. P.; Kromhout-Schiro, S. E.; Hummel, S. M.; Unger, J. M.; & Fagan, L. M. Evaluation of an Expert System Producing Geometric Solids as Output. Knowledge Systems Laboratory, Medical Computer Science, February, 1996.
- KSL-96-09
- Hayes-Roth, B. & Gent, R. v. Improvisational Puppets, Actors, and Avatars. Knowledge Systems Laboratory, February, 1996.
- KSL-96-10
- Ohno-Machado, L. & Musen, M. A. Sequential versus standard neural networks for temporal pattern recognition: An example using the domain of coronary heart disease. Knowledge Systems Laboratory, Medical Computer Science, February, 1996.
- KSL-96-11
- Ohno-Machado, L. & Musen, M. A. Modular Neural Networks for Medical Prognosis: Quantifying the Benefits of Combining Neural Networks for Survival Prediction. Knowledge Systems Laboratory, Medical Computer Science, February, 1996.
- KSL-96-12
- Shahar, Y. & Molina, M. Knowledge-Based Spatiotemporal Abstraction. Knowledge Systems Laboratory, Medical Computer Science, March, 1996.
- KSL-96-13
- Hayes-Roth, B.; Gent, R. v.; & Huber, D. Acting in Character. Knowledge Systems Laboratory, March, 1996.
- KSL-96-14
- Miksch, S.; Cheng, K.; & Hayes-Roth, B. Patient Advocate: Cooperative Agents to Support Patient-Centered Needs and Demands. Knowledge Systems Laboratory, March, 1996.
- KSL-96-15
- Shahar, Y.; Miksch, S.; & Johnson, P. An Intention-Based Language for Sharing Clinical Guidelines. Knowledge Systems Laboratory, Medical Computer Science, March, 1996.
- KSL-96-16
- T. Gruber, S. V., J. Rice. Model-Based Virtual Document Generation. Knowledge Systems Laboratory, Palo Alto, California, May, 1996.
- KSL-96-17
- Huard, R. & Hayes-Roth, B. Children's Collaborative Playcrafting. Knowledge Systems Laboratory, May, 1996.
- KSL-96-18
- Fikes, R.; Farquhar, A.; & Pratt, W. Information Brokers: Gathering Information from Heterogeneous Information Sources. Eckerd College, Key West, Florida, 1996.
- KSL-96-19
- Miksch, S.; Chang, K.; & Hayes-Roth, B. An Intelligent Assistant for Patient Health Care. Knowledge Systems Laboratory, July, 1996.
- KSL-96-20
- Doyle, P. & Hayes-Roth, B. An Intelligent Guide for Virtual Environments. Knowledge Systems Laboratory, July, 1996.
- KSL-96-21
- Rousseau, D. & Hayes-Roth, B. Personality in Synthetic Agents. Knowledge Systems Laboratory, July, 1996.
- KSL-96-22
- Morignot, P. & Hayes-Roth, B. Motivated Agents. Knowledge Systems Laboratory, July, 1996.
- KSL-96-23
- Hayes-Roth, B.; Gent, R. v.; & Huber, D. Directing Synthetic Actors. Knowledge Systems Laboratory, July, 1996.
- KSL-96-24
- Hayes-Roth, B. & Gent, R. v. Story-Making with Improvisational Puppets. Knowledge Systems Laboratory, July, 1996.
- KSL-96-25
- Larsson, J. E.; Hayes-Roth, B.; & Gaba, D. Guardian: Final Evaluation. Knowledge Systems Laboratory, August, 1996.
- KSL-96-26
- Farquhar, A.; Fikes, R.; & Rice, J. The Ontolingua Server: A Tool for Collaborative Ontology Construction. Knowledge Systems Laboratory, September, 1996.
- KSL-96-27
- Huard, R. D. & Hayes-Roth, B. Children's Play with Improvisational Puppets. Knowledge Systems Laboratory, November, 1996.
- KSL-96-28
- Rousseau, D. & Hayes-Roth, B. Personality in Synthetic Actors. Knowledge Systems Laboratory, December, 1996.
KSL-95-xx Reports
- KSL-95-01
- Morignot, P. & Hayes-Roth, B. Adaptable Motivational Profiles for Autonomous Agents. Knowledge Systems Laboratory, January, 1995.
- KSL-95-02
- Ash, D. & Hayes-Roth, B. Using Action-Based Hierarchies for Real-Time Diagnosis. Knowledge Systems Laboratory, January, 1995.
- KSL-95-02
- Ash, D. & Hayes-Roth, B. Using Action-Based Hierarchies for Real-Time Diagnosis. 1996.
- KSL-95-03
- Murdock, L. Model-Matching and Individuation for Model-Based Diagnosis. Ph.D Thesis, Stanford University, 1995.
- KSL-95-04
- Hayes-Roth, B.; Brownston, L.; & Sincoff, E. Directed Improvisation by Computer Characters. Knowledge Systems Laboratory, January, 1995.
- KSL-95-05
- Unruh, A. Using Automatic Abstraction for Problem-Solving and Learning. Ph.D Thesis, Stanford University, 1995.
- KSL-95-06
- Shahar, Y. & Purcell, G. The Context-Sensitive Pattern-Matching Task. Montreal, Quebec, Canada, 1995.
- KSL-95-07
- Larsson, J. E. Hyperfast Algorithms for Model-Based Diagnosis. Knowledge Systems Laboratory, January, 1995.
- KSL-95-08
- Larsson, J. E. A Toolbox for Fast Model-Based Diagnosis. Knowledge Systems Laboratory, January, 1995.
- KSL-95-09
- Larsson, J. E. Model-Based Diagnosis of the Human Body. Knowledge Systems Laboratory, January, 1995.
- KSL-95-10
- Gomez-Perez, A. Criteria to Verify Knowledge Sharing Technology. Knowledge Systems Laboratory, January, 1995.
- KSL-95-11
- Altman, R. B.; Weiser, B.; & Noller, H. F. Constraint Satisfaction Techniques for Modeling Large Complexes: Application to the Central Domain of 16S Ribosomal RNA. Knowledge Systems Laboratory, Medical Computer Science, California, 1995.
- KSL-95-12
- Farquhar, A.; Dappert, A.; Fikes, R.; & Pratt, W. Integrating Information Sources Using Context Logic. Knowledge Systems Laboratory, January, 1995.
- KSL-95-13
- Fikes, R.; Engelmore, R.; Farquhar, A.; & Pratt, W. Network-based Information Brokers. Knowledge Systems Laboratory, January, 1995.
- KSL-95-14
- Shortliffe, E. H. Computers in Support of Clinical Decision Making. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-15
- Piernot, P. P.; Felciano, R. M.; Stancel, R.; Marsh, J.; & Yvon, M. Designing the PenPal: Blending Hardware and Software in a User-Interface for Children. Knowledge Systems Laboratory, January, 1995.
- KSL-95-16
- Felciano, R. M.; Harris, M.; Rindfleisch, T.; Strain, J.; & Shortliffe, E. H. Using Paper Prototypes as Interface Design Tools for Building Clinical Information Systems. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-17
- Altman, R. B. & Gerstein, M. Finding an average core structure: Application to the globins. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-18
- Altman, R. B. A Probabilistic Approach to Determining Biological Structure: Integrating Uncertain Data Sources. 1995.
- KSL-95-18
- Altman, R. B. A Probabilistic Approach to Determining Biological Structure: Integrating Uncertain Data Sources. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-19
- Chen, R.; Fink, D.; & Altman, R. B. Computing the Structure of Large Complexes: Applying Constraint Satisfaction Techniques to Modeling the 16S Ribosomal RNA. Knowledge Systems Laboratory, Medical Computer Science Group, May, 1995.
- KSL-95-20
- J. Rice, A. F., P. Piernot, T. Gruber. Using the Web Instead of a Window System. Knowledge Systems Laboratory, Vancouver, Canada, September, 1995.
- KSL-95-21
- Greenleaf, W. J. & Tovar, M. A. Augmenting Reality in Rehabilitation Medicine. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-22
- Harris, M. Z.; Felciano, R. M.; Strain, J. J.; Rindfleisch, T. C.; Shortliffe, E. H.; & Saxberg, B. E. H. RightRX: Decision Support for the Optimization of Prescribing Practice. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-23
- Shahar, Y. & Musen, M. A. Knowledge-Based Temporal Abstraction in Clinical Domains. Knowledge Systems Laboratory, Medical Computer Science, February, 1995.
- KSL-95-24
- Norman, J. Building the Computer-Based Patient Record. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-25
- Altman, R. B. & Gerstein, M. B. Average Core Structures and Variability Measures for Protein Families: Application to the Immunoglobulins. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-25
- Gerstein, M. B. & Altman, R. B. Average Core Structures and Variability Measures for Protein Families: Application to the Immunoglobulins. 1995.
- KSL-95-26
- Altman, R. B.; Hughes, C.; & Gerstein, M. B. Methods for Displaying Macromolecular Structural Uncertainty: Application to the Globins. 1995.
- KSL-95-26
- Altman, R. B.; Hughes, C.; & Gerstein, M. B. Methods for Displaying Macromolecular Structural Uncertainty: Application to the Globins. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-27
- Shortliffe, E. H. Medical Informatics Training at Stanford University School of Medicine. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-28
- Musen, M. A.; Tu, S. W.; Das, A. K.; & Shahar, Y. A Component-Based Architecture for Automation of Protocol-Directed Therapy. Knowledge Systems Laboratory, Medical Computer Science, 1995.
- KSL-95-29
- Shahar, Y. A Framework for Knowledge-Based Temporal Abstraction. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-31
- Bagley, S. C.; Wei, L.; Cheng, C.; & Altman, R. B. Characterizing oriented protein structural sites using biochemical properties. Cambridge, England, 1995.
- KSL-95-31
- Bagley, S. C.; Wei, L.; Cheng, C.; & Altman, R. B. Characterizing oriented protein structural sites using biochemical properties. Knowledge Systems Laboratory, Medical Computer Science, March, 1995.
- KSL-95-32
- Wolverton, M. & Hayes-Roth, B. Finding Analogues for Innovative Design. Knowledge Systems Laboratory, March, 1995.
- KSL-95-35
- Hayes-Roth, B.; Pfleger, K.; Morignot, P.; & Lalanda, P. Plans and Behavior in Intelligent Agents. Knowledge Systems Laboratory, March, 1995.
- KSL-95-36
- Shortliffe, E. H. Medical Informatics Meets Medical Education. 1995.
- KSL-95-37
- Rutledge, G. W. Dynamic Selection of Models. Ph.D. Thesis, Stanford University, 1995.
- KSL-95-38
- Lei, J. v. d. & Musen, M. A. The Separation of Reviewing Knowledge from Medical Knowledge. April, 1995.
- KSL-95-39
- Shahar, Y. & Musen, M. A. Plan Recognition and Revision in Protocol-Based Care. Knowledge Systems Laboratory, Medical Computer Science, April, 1995.
- KSL-95-40
- Ohno-Machado, L. & Musen, M. A. A Comparison of Two Computer-Based Prognostic Systems for AIDS. New Orleans, LA, 1995.
- KSL-95-40
- Ohno-Machado, L. & Musen, M. A. A Comparison of Two Computer-Based Prognostic Systems for AIDS. Knowledge Systems Laboratory, Medical Computer Science, April, 1995.
- KSL-95-41
- Gennari, J. H.; Oliver, D. E.; Pratt, W.; Rice, J.; & Musen, M. A. A Web-Based Architecture for a Medical Vocabulary Server. 1995.
- KSL-95-41
- Gennari, J. H.; Oliver, D. E.; & Musen, M. A. An HTTP-Based Architecture for Interaction with a Vocabulary Server. Knowledge Systems Laboratory, Medical Computer Science, April, 1995.
- KSL-95-42
- Shortliffe, E. H. The changing nature of telecommunications and the information infrastructure for health care. National Academy Press, Washington D.C., 1995.
- KSL-95-43
- Shortliffe, E. H. When Decision Support Doesn't Support. 1995.
- KSL-95-44
- Sim, I. & Rennels, G. A Trial Bank Model for the Publication of Clinical Trials. New Orleans, LA, 1995.
- KSL-95-44
- Sim, I. & Rennels, G. A Trial Bank Model for the Publication of Clinical Trials. Knowledge Systems Laboratory, Medical Computer Science, April, 1995.
- KSL-95-45
- Detmer, W. M. & Shortliffe, E. H. A Model of Clinical Query Management that Supports Integration of Biomedical Information Over the World Wide Web. New Orleans, LA, 1995.
- KSL-95-45
- Detmer, W. M. & Shortliffe, E. H. A Model of Clinical Query Management that Supports Integration of Biomedical Information Over the World Wide Web. Knowledge Systems Laboratory
Medical Computer Science, April, 1995.
- KSL-95-46
- Musen, M. A.; Gennari, J. H.; & Wong, W. W. A Rational Reconstruction of INTERNIST-I using PROTEGE-II. New Orleans, LA, 1995.
- KSL-95-46
- Musen, M. A.; Gennari, J. H.; & Wong, W. W. A Rational Reconstruction of INTERNIST-I using PROTEGE-II. Knowledge Systems Laboratory, Medical Computer Science, April, 1995.
- KSL-95-48
- Purcell, G. P. & Shortliffe, E. H. Contextual Models of Clinical Publications for Enhancing Retrieval from Full-Text Databases. Knowledge Systems Laboratory, Medical Computer Science, May, 1995.