]> 2012-02-10T14:10:06-05:00 Technical Report KSL Technical Report Provenance Store Evaluation KASE: An Integrated Environment for Software Design Reconciling Inconsistencies Between Package-extended Ontology Modules Ontology Language Extensions to Support Localized Semantics, Modular Reasoning, and Collaborative Ontology Design and Ontology Reuse Potential Function Explain of the Quick Algorithm of Synergetic Neural Network Short-term Load Forecasting based on Neural network and Moving Average A Proof Theory for Preferential Default Description Logics Preferential Default Description Logics The EU Provenance Project: Enabling and Supporting Provenance in Grids for Complex Problems The Open Provenance Model Context Representation and Usage for the Semantic Web: A State of the Art RDF Model Theory Maintaining RDF Views RDF Semantics RDF Vocabulary Description Language 1.0: RDF Schema NashProp in Graphic Game with Additive Utility Project Report Yesir Project - An online information integration and publication agent Information Filtering based on Behavior Evolutional Genetic Algorithm Privacy-Preserving Reasoning for Hypergraphs Collaborative Building and Integration of Ontology Extended Data Sources Causal Approximations A Declarative Formalization of Knowledge Translation Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study Motivated Agents Input Data Management in Real-Time AI Systems Queries Independent of Updates A Model Theory for a Quantified Generalized Logic of Contexts Building-In New Inference Rules for Computational Context Logic Computational Context Logic and Species of $ist$ Introspective Predicates for Explaining Task Execution in CALO Plan for Explaining Task Execution in CALO Temporal Abstraction Mechanisms as KADS Inferences Performance of Two Common Lisp Programs on Several Systems User-Directed Control of Parallelism, The CAGE System The CAGE System User Manual Temporal Representations in Blackboard Architectures Action-oriented diagnosis under real-time constraints Action-Based Fault Hierarchies for Real-Time Response Using Action-Based Hierarchies for Real-Time Diagnosis Applying a Semantic Model to an Immunology Database An Object-Based Architecture for Biomedical Expert Database Systems Hypertext Interfaces for Decision-Support Systems: A Case Study A Cooperative Hypertext Interface to Relational Databases Toward Linear Run-Time: A Review of Sequence-Alignment Algorithms Knowledge-Directed Mediation Between Application Objects and Base Data Expert Data Systems in Biomedicine: The PENGUIN Project Representing Probabilistic Knowledge in Relational Databases Relational Updates Through View Objects Management of Complex Immunogenetics Information Using an Enhanced Relational Model The ALARM Monitoring System: A Case Study with Two Probablistic Inference Techniques for Belief Networks FormIKA: A Form-Based User Interface Management System for Knowledge Acquisition Process Programming by Hindsight Synthesis of UNIX Programs using Derivational Analogy Software Design by Reusing Architectures Functional Representations: a Support for Enriched Reasoning Capabilities Towards a Formal Representation of Device Functionality Towards the Systematic Development of Terminological Reasoners: CLASP reconstructed Intelligent Assistant Systems: Support for Integrated Human-Machine Systems Principles of Problem Reformulation Under Uncertainty The Potential for Intelligent Three-Dimensional Ultrasound BBK Manual Artificial Intelligence As An Experimental Science Fundamentals of Expert Systems Research Directions in Knowledge-Based Systems A Performance Comparison of Shared Variables vs. Message Passing Multicast Communication in Multiprocessor Systems Support for Fine-Grained Message Passing in Shared Memory Multiprocessors Representation of Clinical Data Using SNOMED III and Conceptual Graphs Potential Accrual of Patients to Prospective Clinical Trials The Generic Frame Protocol 2.0 Open Knowledge Base Connectivity 2.0 KNET: Integrating Hypertext and Normative Bayesian Modeling A Randomized Approximation Algorithm for Probabilistic Inference on Bayesian Belief Networks Hypermedia and Randomized Algorithms for Medical Expert Systems A Randomized Approximation Algorithm for Logic Sampling Towards a Formalization of Partial Domain Theories, Landmark Value Selection and Incremental Learning for Inductive Learning Systems Case-Based Tutoring from a Medical Knowledge Base Automated Diagnosis in Medicine Diagnosis, Teaching, and Learning: An Overview of GUIDON2 Research Knowledge Engineering Methodology: An Annotated Bibliography of NEOMYCIN Research Real-Time Control of Reasoning: Experiments with Two Control Models From Expert Models to Expert Systems: Translation of an Intermediate Knowledge Representation GS2D: A 2D Geometry Systems Knowledge Based Strategy Generalization An Algorithm for Computing Propositions Probabilistic Inference Using Belief Networks Is NP-Hard The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks A Bayesian Method for the Induction of Probabilistic Networks from Data Determination of the Entropy of a Belief Network is NP-Hard Bayesian Belief-Network Inference Using Recursive Decomposition Approximating Probabilistic Inference in Bayesian Belief Networks A Bayesian Analysis of Randomized Approximation Procedures Modeling time in belief networks Dynamic Network Models for Forecasting Reformulating Inference Problems through Selective Conditioning Additive Belief-Network Models Uncertain Reasoning and Forecasting Approximating Probabilistic Inference in Bayesian Belief Networks is NP-Hard Publication