JAIR 1999

28 papers

A Counterexample to Theorems of Cox and Fine Joseph Y. Halpern

Committee-Based Sample Selection for Probabilistic Classifiers Shlomo Argamon-Engelson, Ido Dagan

Constructing Conditional Plans by a Theorem-Prover Jussi Rintanen

Cooperation Between Top-Down and Bottom-up Theorem Provers Dirk Fuchs, Marc Fuchs

Cox's Theorem Revisited (technical Addendum) Joseph Y. Halpern

Decentralized Markets Versus Central Control: A Comparative Study Fredrik Ygge, Hans Akkermans

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage Craig Boutilier, Thomas L. Dean, Steve Hanks

Efficient Heuristic Hypothesis Ranking Steve A. Chien, Andre Stechert, Darren Mutz

Efficient Implementation of the Plan Graph in STAN Derek Long, Maria Fox

Evolutionary Algorithms for Reinforcement Learning David E. Moriarty, Alan C. Schultz, John J. Grefenstette

Extensible Knowledge Representation: The Case of Description Reasoners Alexander Borgida

Identifying Mislabeled Training Data Carla E. Brodley, Mark A. Friedl

Issues in Stacked Generalization Kai Ming Ting, Ian H. Witten

Learning to Order Things William W. Cohen, Robert E. Schapire, Yoram Singer

Markov Localization for Mobile Robots in Dynamic Environments Dieter Fox, Wolfram Burgard, Sebastian Thrun

Modeling Belief in Dynamic Systems, Part II: Revision and Update Nir Friedman, Joseph Y. Halpern

Order of Magnitude Comparisons of Distance Ernest Davis

Popular Ensemble Methods: An Empirical Study David W. Opitz, Richard Maclin

Probabilistic Deduction with Conditional Constraints over Basic Events Thomas Lukasiewicz

Reasoning About Minimal Belief and Negation as Failure Riccardo Rosati

Semantic Similarity in a Taxonomy: An Information-Based Measure and Its Application to Problems of Ambiguity in Natural Language Philip Resnik

Solving Highly Constrained Search Problems with Quantum Computers Tad Hogg

Squeaky Wheel Optimization David E. Joslin, David P. Clements

The Complexity of Reasoning About Spatial Congruence Matteo Cristani

The Good Old Davis-Putnam Procedure Helps Counting Models Elazar Birnbaum, Eliezer L. Lozinskii

Unifying Class-Based Representation Formalisms Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

Variational Cumulant Expansions for Intractable Distributions David Barber, Piërre van de Laar

Variational Probabilistic Inference and the QMR-DT Network Tommi S. Jaakkola, Michael I. Jordan