Active Learning with Statistical Models.
Further Experimental Evidence against the Utility of Occam's Razor.
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction.
Iterative Optimization and Simplification of Hierarchical Clusterings.
A Formal Framework for Speedup Learning from Problems and Solutions.
Adaptive Problem-solving for Large-scale Scheduling Problems: A Case Study.
Improved Use of Continuous Attributes in C4.5.
Mean Field Theory for Sigmoid Belief Networks.
Reinforcement Learning: A Survey.
Quantum Computing and Phase Transitions in Combinatorial Search.
The Design and Experimental Analysis of Algorithms for Temporal Reasoning.
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences.
Least Generalizations and Greatest Specializations of Sets of Clauses.
Logarithmic-Time Updates and Queries in Probabilistic Networks.
On Partially Controlled Multi-Agent Systems.
A Divergence Critic for Inductive Proof.
Planning for Contingencies: A Decision-based Approach.
Practical Methods for Proving Termination of General Logic Programs.