Volume 10, 1999
- Ernest Davis:
Order of Magnitude Comparisons of Distance.
1-38
- Tad Hogg:
Solving Highly Constrained Search Problems with Quantum Computers.
39-66
- Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine.
67-85
- Derek Long, Maria Fox:
Efficient Implementation of the Plan Graph in STAN.
87-115
- Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update.
117-167
- Dirk Fuchs, Marc Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers.
169-198
- Thomas Lukasiewicz:
Probabilistic Deduction with Conditional Constraints over Basic Events.
199-241
- William W. Cohen, Robert E. Schapire, Yoram Singer:
Learning to Order Things.
243-270
- Kai Ming Ting, Ian H. Witten:
Issues in Stacked Generalization.
271-289
- Tommi Jaakkola, Michael I. Jordan:
Variational Probabilistic Inference and the QMR-DT Network.
291-322
- Jussi Rintanen:
Constructing Conditional Plans by a Theorem-Prover.
323-352
- David Joslin, David P. Clements:
Squeaky Wheel Optimization.
353-373
- Steve A. Chien, Andre Stechert, Darren Mutz:
Efficient Heuristic Hypothesis Ranking.
375-397
- Alexander Borgida:
Extensible Knowledge Representation: the Case of Description Reasoners.
399-434
- David Barber, Piërre van de Laar:
Variational Cumulant Expansions for Intractable Distributions.
435-455
- Elazar Birnbaum, Eliezer L. Lozinskii:
The Good Old Davis-Putnam Procedure Helps Counting Models.
457-477
Last update Sat May 18 20:38:40 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
