Artificial intelligence publications

Asking questions can clarify concepts, test hypotheses, add missing information, or provide additional knowledge to facilitate learning. The last item motivates the work described in this paper.

This chapter presents Integrated Task Learning (ITL), an approach for learning procedures across domains using end-user programming (EUP).

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…

We formally verify a direct model reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions.

Pathway Tools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB).

We describe an AI-enhanced task management tool developed for a military environment, which differs from office environments in important ways: differing time scales, a focus on teams collaborating on tasks…

We present an action theory with the power to represent recursive plans and the capability to reason about and synthesize recursive workflow control structures.

We discuss experiences from evaluating the learning performance of a user-adaptive personal assistant agent. 

We show that box invariance can be checked in cubic time for linear and affine systems, and that it remains decidable for classes of nonlinear systems of interest (with polynomial…

We show that simple efficient many-class learning can perform well for action prediction, significantly improving over previously published results and baselines.