Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets.
Incremental Recompilation of Knowledge.
Tractability of Theory Patching.
Monotonicity and Persistence in Preferential Logics.
Synthesizing Customized Planners from Specifications.
Integrative Windowing.
A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle.
Model-Based Diagnosis using Structured System Descriptions.