Journals in DBLP
Joseph Y. Halpern , Riccardo Pucella A Logic for Reasoning about Evidence. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel Bryce , Subbarao Kambhampati , David E. Smith Planning Graph Heuristics for Belief Space Search. [Citation Graph (0, 0)][DBLP ] Journal ] Hal Daumé III , Daniel Marcu Domain Adaptation for Statistical Classifiers. [Citation Graph (0, 0)][DBLP ] Journal ] Richard Booth , Thomas Meyer Admissible and Restrained Revision. [Citation Graph (0, 0)][DBLP ] Journal ] Tom Heskes Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies. [Citation Graph (0, 0)][DBLP ] Journal ] Malte Helmert The Fast Downward Planning System. [Citation Graph (0, 0)][DBLP ] Journal ] Matthew J. Streeter , Stephen F. Smith How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines. [Citation Graph (0, 0)][DBLP ] Journal ] Arathi Ramani , Igor L. Markov , Karem A. Sakallah , Fadi A. Aloul Breaking Instance-Independent Symmetries In Exact Graph Coloring. [Citation Graph (0, 0)][DBLP ] Journal ] Yixin Chen , Benjamin W. Wah , Chih-Wei Hsu Temporal Planning using Subgoal Partitioning and Resolution in SGPlan. [Citation Graph (0, 0)][DBLP ] Journal ] Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP ] Journal ] Dmitry Davidov , Shaul Markovitch Multiple-Goal Heuristic Search. [Citation Graph (0, 0)][DBLP ] Journal ] Jörg Hoffmann , Stefan Edelkamp , Sylvie Thiébaux , Roman Englert , Frederico dos S. Liporace , Sebastian Trüg Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. [Citation Graph (0, 0)][DBLP ] Journal ] 