Artificial intelligence publications
-
Using Data Mining Findings to Aid Searching for Better Cognitive Models
We propose a hybrid approach in which we leverage findings from our previous educational data mining work to aid the search for a better cognitive model and thus, improve the…
-
Bounded Verification of Adaptive Flight Control Systems
We formally verify a direct model reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions.
-
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base
Our long-term goal is to build a query answering system that can answer questions on a wide variety of topics and explain the answers.
-
Gibbs Sampling in Open-Universe Stochastic Languages
This paper goes some way to remedying this deficit by introducing, and proving correct, a generalization of Gibbs sampling to partial worlds with possibly varying model structure.
-
An advanced web query interface for biological databases
We present a web interface for building precise queries for biological DBs that can construct much more precise queries than most web-based query forms, yet that is user friendly enough…
-
An Advanced Web Query Interface for Biological Databases
We present a web interface for building precise queries for biological DBs that can construct much more precise queries than most web-based query forms, yet that is user friendly enough…
-
Goal-directed Metacontrol for Integrated Procedure Learning
We describe a metalevel framework for coordinating the activities of a community of learners to create an integrated learning system. The metalevel framework is organized around learning goals, which are…
-
The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway/genome databases
New developments include atom mappings in reactions, a new representation of glycan degradation pathways, improved compound structure display, better coverage of enzyme kinetic data, enhancements of the Web Groups functionality...
-
Language Analytics for Assessing Brain Health: Cognitive Impairment, Depression and Pre-Symptomatic Alzheimers Disease
We present data demonstrating how brain health may be assessed by applying data-mining and text analytics to patient language.
-
Recommendations for End-User Development
We provide an overview of the state of the art in end-user development, focusing on the different kinds of recommendations made to users. We identify four classes of suggestion that…
-
Machine Learning Methods for Metabolic Pathway Prediction
ML methods for pathway prediction perform as well as existing methods, and have qualitative advantages in terms of extensibility, tunability, and explainability.
-
Pathway Tools Version 13.0: Integrated Software for Pathway/Genome Informatics and Systems Biology
Pathway Tools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB).