JAIR 1996

28 papers

A Divergence Critic for Inductive Proof Toby Walsh

A Formal Framework for Speedup Learning from Problems and Solutions Prasad Tadepalli, Balas K. Natarajan

A Hierarchy of Tractable Subsets for Computing Stable Models Rachel Ben-Eliyahu

A Principled Approach Towards Symbolic Geometric Constraint Satisfaction Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar

Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning Alfonso Gerevini, Lenhart K. Schubert

Active Learning with Statistical Models David A. Cohn, Zoubin Ghahramani, Michael I. Jordan

Adaptive Problem-Solving for Large-Scale Scheduling Problems: A Case Study Jonathan Gratch, Steve A. Chien

Characterizations of Decomposable Dependency Models (Research Note) Luis M. de Campos

Cue Phrase Classification Using Machine Learning Diane J. Litman

Exploiting Causal Independence in Bayesian Network Inference Nevin Lianwen Zhang, David L. Poole

Further Experimental Evidence Against the Utility of Occam's Razor Geoffrey I. Webb

Improved Use of Continuous Attributes in C4.5 J. Ross Quinlan

Iterative Optimization and Simplification of Hierarchical Clusterings Douglas H. Fisher

Learning First-Order Definitions of Functions J. Ross Quinlan

Least Generalizations and Greatest Specializations of Sets of Clauses Shan-Hwei Nienhuys-Cheng, Ronald de Wolf

Logarithmic-Time Updates and Queries in Probabilistic Networks Arthur L. Delcher, Adam J. Grove, Simon Kasif, Judea Pearl

Mean Field Theory for Sigmoid Belief Networks Lawrence K. Saul, Tommi S. Jaakkola, Michael I. Jordan

Mechanisms for Automated Negotiation in State Oriented Domains Gilad Zlotkin, Jeffrey S. Rosenschein

MUSE CSP: An Extension to the Constraint Satisfaction Problem Randall A. Helzerman, Mary P. Harper

On Partially Controlled Multi-Agent Systems Ronen I. Brafman, Moshe Tennenholtz

Planning for Contingencies: A Decision-Based Approach Louise Pryor, Gregg Collins

Practical Methods for Proving Termination of General Logic Programs Elena Marchiori

Quantitative Results Comparing Three Intelligent Interfaces for Information Capture: A Case Study Adding Name Information into an Electronic Personal Organizer Jeffrey C. Schlimmer, Patricia Crane Wells

Quantum Computing and Phase Transitions in Combinatorial Search Tad Hogg

Reinforcement Learning: A Survey Leslie Pack Kaelbling, Michael L. Littman, Andrew W. Moore

Spatial Aggregation: Theory and Applications Kenneth Yip, Feng Zhao

The Design and Experimental Analysis of Algorithms for Temporal Reasoning Peter van Beek, Dennis W. Manchak

Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences Gerhard Brewka