]> 2009-11-23T16:20:46+00:00 Publication TW Technical Report Book Chapter Proceeding Paper Journal Paper In Collection Paper Technical Report News Article email:0000000057 email:0000000058 email:0000000060 email:0000000062 email:0000000063 email:0000000064 email:0000000065 email:0000000068 email:0000000069 email:0000000070 email:0000000071 email:0000000458 PhD Dissertation Master Thesis Position Paper Demo Paper Poster Paper TW Technical Report Book Chapter Proceeding Paper Journal Paper In Collection Paper Technical Report News Article tw:TW Website KASE: An Integrated Environment for Software Design Registry-Based Support for Information Integration IWTrust: Improving User Trust in Answers from the Web Industrial Strength Ontology Management "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance Planning from First Principles for Geometric Constraint Satisfaction Tools for Assembling Modular Ontologies in Ontolingua Computational Costs versus Benefits of Control Reasoning Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering FRM: An Intelligent Assistant for Financial Resource Management Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring Automated Model Selection for Simulation Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture Using Decision Theory to Justify Heuristics Causal Approximations Mapping Explanation-Based Generalization onto Soar On Debugging Rule Sets When Reasoning Under Uncertainty Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation A Declarative Formalization of Knowledge Translation Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools Agents on Stage: Advancing the State of the Art of AI Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study How Things are Intended to Work: Capturing Functional Knowledge in Device Design 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 A Many Valued Representation and Propagation of Trust and Distrust Explaining Data Incompleteness in Knowledge Aggregation Temporal Abstraction Mechanisms as KADS Inferences Performance of Two Common Lisp Programs on Several Systems User-Directed Control of Parallelism, The CAGE System Cage: The Performance of a Concurrent Blackboard Environment The CAGE System User Manual Exclusion Methods for the Determination of Protein Structure from Experimental Data A Probabilistic Algorithm for Calculating Structure: Borrowing from Simulated Annealing Probabilistic Structure Calculations: A Three-Dimensional tRNA Structure from Sequence Correlation Data Probabilistic Constraint Satisfaction with Structural Models: Application to Organ Modeling by Radial Contours Compositional Characteristic of Disordered Regions in Proteins Probabilistic Constraint Satisfaction: Application to Radiosurgery Constraint Satisfaction Techniques for Modeling Large Complexes: Application to the Central Domain of 16S Ribosomal RNA Finding an average core structure: Application to the globins A Programming Course in Bioinformatics for Computer and Information Science Students Probabilistic Constraint Satisfaction with Non-Gaussian Noise A Probabilistic Approach to Determining Biological Structure: Integrating Uncertain Data Sources Average Core Structures and Variability Measures for Protein Families: Application to the Immunoglobulins Methods for Displaying Macromolecular Structural Uncertainty: Application to the Globins Representing and Editing Constraints: A Case Study in Financial Resource Management Temporal Representations in Blackboard Architectures Action-oriented diagnosis under real-time constraints Guaranteeing Real-Time Response with Limited Resources Action-Based Fault Hierarchies for Real-Time Response Diagnosis using Action-Based Hierarchies for Optimal Real-Time Performance Using Action-Based Hierarchies for Real-Time Diagnosis Characterizing the Microenvironment Surrounding Protein Sites Characterizing oriented protein structural sites using biochemical properties Knowledge Base Tours: Introducing a Knowledge Based System to a Novice User An Object-Based Interface to a Relational Database System 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 View Objects for Relational Databases 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 Software Synthesis using Generic Architectures Architecture-driven Reuse of Code in KASE 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 Application of Constraint Satisfaction Techniques to the Determination of Protein Tertiary Structure Has topic Scientific Document