HOME
HELP
PREFERENCES
Volume
Search
Titles
Creators
Volume
Phrases
Volume 8
Tractability of Theory Patching
- S. Argamon-Engelson and M. Koppel
Monotonicity and Persistence in Preferential Logics
- J. Engelfriet
Synthesizing Customized Planners from Specifications
- B. Srivastava and S. Kambhampati
Incremental Recompilation of Knowledge
- G. Gogic, C. H. Papadimitriou and M. Sideri
A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle
- L. Finkelstein and S. Markovitch
Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets
- A. Moore and M. S. Lee
Model-Based Diagnosis using Structured System Descriptions
- A. Darwiche
Integrative Windowing
- J. Fuernkranz