Journals in DBLP
Ernest Davis Order of Magnitude Comparisons of Distance. [Citation Graph (0, 0)][DBLP ] Journal ] Tad Hogg Solving Highly Constrained Search Problems with Quantum Computers. [Citation Graph (0, 0)][DBLP ] Journal ] Joseph Y. Halpern A Counterexample to Theorems of Cox and Fine. [Citation Graph (0, 0)][DBLP ] Journal ] Derek Long , Maria Fox Efficient Implementation of the Plan Graph in STAN. [Citation Graph (0, 0)][DBLP ] Journal ] Nir Friedman , Joseph Y. Halpern Modeling Belief in Dynamic Systems, Part II: Revision and Update. [Citation Graph (0, 0)][DBLP ] Journal ] Dirk Fuchs , Marc Fuchs Cooperation between Top-Down and Bottom-Up Theorem Provers. [Citation Graph (0, 0)][DBLP ] Journal ] Thomas Lukasiewicz Probabilistic Deduction with Conditional Constraints over Basic Events. [Citation Graph (0, 0)][DBLP ] Journal ] William W. Cohen , Robert E. Schapire , Yoram Singer Learning to Order Things. [Citation Graph (0, 0)][DBLP ] Journal ] Kai Ming Ting , Ian H. Witten Issues in Stacked Generalization. [Citation Graph (0, 0)][DBLP ] Journal ] Tommi Jaakkola , Michael I. Jordan Variational Probabilistic Inference and the QMR-DT Network. [Citation Graph (0, 0)][DBLP ] Journal ] Jussi Rintanen Constructing Conditional Plans by a Theorem-Prover. [Citation Graph (0, 0)][DBLP ] Journal ] David Joslin , David P. Clements Squeaky Wheel Optimization. [Citation Graph (0, 0)][DBLP ] Journal ] Steve A. Chien , Andre Stechert , Darren Mutz Efficient Heuristic Hypothesis Ranking. [Citation Graph (0, 0)][DBLP ] Journal ] Alexander Borgida Extensible Knowledge Representation: the Case of Description Reasoners. [Citation Graph (0, 0)][DBLP ] Journal ] David Barber , Piërre van de Laar Variational Cumulant Expansions for Intractable Distributions. [Citation Graph (0, 0)][DBLP ] Journal ] Elazar Birnbaum , Eliezer L. Lozinskii The Good Old Davis-Putnam Procedure Helps Counting Models. [Citation Graph (0, 0)][DBLP ] Journal ] 