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