]> 2012-02-10T02:28:24-05: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 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 Practical Partition-Based Theorem Proving for Large Knowledge Bases Input Data Management in Real-Time AI Systems Queries Independent of Updates An initial investigation on evaluating semantic web instance data Toward Establishing Trust in Adaptive Agents User Interfaces for Portable Proofs Presenting TSTP Proofs with Inference Web Tools MultiRank: Reputation Ranking for Generic Semantic Social Networks Semantic Provenance for Image Data Processing Trustable Task Processing Systems Inference Web in Action: Lightweight Use of Proof Markup Language The TW Wine Agent: A Social Semantic Web Demo Rtest Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems A Volcano Erupts: Semantically Mediated Integration of Heterogeneous Volcanic and Atmospheric Data Policies for Public Domain Ontologies for the Intelligence Community Semantically-Enabled Virtual Observatories Ontology-Enabled Virtual Observatories: Semantic Integration in Practice Mining Revision History to Assess Trustworthiness of Article Fragments Explanation Interfaces for the Semantic Web: Issues and Models WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems Computing Trust from Revision History 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 Experimental Results on the Satisfiable Core in Random 3SAT Plan for Explaining Task Execution in CALO The Role of Redundant Clauses in Solving Satisfiability Problems Tracking RDF Graph Provenance using RDF Molecules Tracking Information Extraction from Intelligence Documents Extracting Assumptions from Missing Data 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 Explaining ALC subsumption Intelligent Assistant Systems: Support for Integrated Human-Machine Systems Principles of Problem Reformulation Under Uncertainty Ideal Reformulation of Belief Networks 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 Creation of a Systematic Domain for Medical Care: The need for a Comprehensive Patient-Description Vocabulary 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 An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference A Randomized Approximation Algorithm for Logic Sampling Towards a Formalization of Partial Domain Theories, Landmark Value Selection and Incremental Learning for Inductive Learning Systems Has topic Scientific Document