Artificial intelligence publications

We describe a simple, fast algorithm for inferring gene phylogenies, which makes use of information that was not available prior to the genomic age: namely, a reliable species tree spanning…

We analyse the convergence properties of the Longstaff–Schwartz algorithm for approximately solving optimal stopping problems that arise in the pricing of American (Bermudan) financial options.

We present algorithms for finding optimal strategies for discounted, infinite-horizon, Determinsitc Markov Decision Processes (DMDPs).

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.

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.

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.

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…