Hoffmann, J.; Edelkamp, S.; Thiebaux, S.; Englert, R.; Liporace, F.; Trueg, S. Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4. (English) Zbl 1183.68579 J. Artif. Intell. Res. (JAIR) 26, 453-541 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{J. Hoffmann} et al., J. Artif. Intell. Res. (JAIR) 26, 453--541 (2006; Zbl 1183.68579) Full Text: arXiv OpenURL
Davidov, D.; Markovitch, S. Multiple-goal heuristic search. (English) Zbl 1182.68059 J. Artif. Intell. Res. (JAIR) 26, 417-451 (2006). MSC: 68P10 PDF BibTeX XML Cite \textit{D. Davidov} and \textit{S. Markovitch}, J. Artif. Intell. Res. (JAIR) 26, 417--451 (2006; Zbl 1182.68059) Full Text: arXiv OpenURL
Giunchiglia, E.; Narizzano, M.; Tacchella, A. Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. (English) Zbl 1183.68475 J. Artif. Intell. Res. (JAIR) 26, 371-416 (2006). MSC: 68T05 PDF BibTeX XML Cite \textit{E. Giunchiglia} et al., J. Artif. Intell. Res. (JAIR) 26, 371--416 (2006; Zbl 1183.68475) Full Text: arXiv OpenURL
Chen, Yixin; Wah, Benjamin W.; Hsu, Chih-Wei Temporal planning using subgoal partitioning and resolution in SGPlan. (English) Zbl 1182.68229 J. Artif. Intell. Res. (JAIR) 26, 323-369 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{Y. Chen} et al., J. Artif. Intell. Res. (JAIR) 26, 323--369 (2006; Zbl 1182.68229) OpenURL
Ramani, A.; Markov, I. L.; Sakallah, K. A.; Aloul, F. A. Breaking instance-independent symmetries in exact graph coloring. (English) Zbl 1182.68152 J. Artif. Intell. Res. (JAIR) 26, 289-322 (2006). MSC: 68R10 68T20 PDF BibTeX XML Cite \textit{A. Ramani} et al., J. Artif. Intell. Res. (JAIR) 26, 289--322 (2006; Zbl 1182.68152) Full Text: arXiv OpenURL
Streeter, M. J.; Smith, S. F. How the landscape of random job shop scheduling instances depends on the ratio of jobs to machines. (English) Zbl 1182.68032 J. Artif. Intell. Res. (JAIR) 26, 247-287 (2006). MSC: 68M20 PDF BibTeX XML Cite \textit{M. J. Streeter} and \textit{S. F. Smith}, J. Artif. Intell. Res. (JAIR) 26, 247--287 (2006; Zbl 1182.68032) Full Text: arXiv OpenURL
Helmert, M. The fast downward planning system. (English) Zbl 1182.68245 J. Artif. Intell. Res. (JAIR) 26, 191-246 (2006). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Helmert}, J. Artif. Intell. Res. (JAIR) 26, 191--246 (2006; Zbl 1182.68245) Full Text: arXiv OpenURL
Heskes, T. Convexity arguments for efficient minimization of the Bethe and Kikuchi free energies. (English) Zbl 1182.68326 J. Artif. Intell. Res. (JAIR) 26, 153-190 (2006). MSC: 68T99 PDF BibTeX XML Cite \textit{T. Heskes}, J. Artif. Intell. Res. (JAIR) 26, 153--190 (2006; Zbl 1182.68326) OpenURL
Booth, R.; Meyer, T. Admissible and restrained revision. (English) Zbl 1182.68284 J. Artif. Intell. Res. (JAIR) 26, 127-151 (2006). MSC: 68T30 68T35 PDF BibTeX XML Cite \textit{R. Booth} and \textit{T. Meyer}, J. Artif. Intell. Res. (JAIR) 26, 127--151 (2006; Zbl 1182.68284) Full Text: arXiv OpenURL
Daume, H. III; Marcu, D. Domain adaptation for statistical classifiers. (English) Zbl 1161.68724 J. Artif. Intell. Res. (JAIR) 26, 101-126 (2006). MSC: 68T05 PDF BibTeX XML Cite \textit{H. Daume III} and \textit{D. Marcu}, J. Artif. Intell. Res. (JAIR) 26, 101--126 (2006; Zbl 1161.68724) Full Text: arXiv OpenURL
Bryce, D.; Kambhampati, S.; Smith, D. E. Planning graph heuristics for belief space search. (English) Zbl 1182.68225 J. Artif. Intell. Res. (JAIR) 26, 35-99 (2006). MSC: 68T20 68R10 PDF BibTeX XML Cite \textit{D. Bryce} et al., J. Artif. Intell. Res. (JAIR) 26, 35--99 (2006; Zbl 1182.68225) OpenURL
Halpern, J. Y.; Pucella, R. A logic for reasoning about evidence. (English) Zbl 1182.68244 J. Artif. Intell. Res. (JAIR) 26, 1-34 (2006). MSC: 68T20 68T27 PDF BibTeX XML Cite \textit{J. Y. Halpern} and \textit{R. Pucella}, J. Artif. Intell. Res. (JAIR) 26, 1--34 (2006; Zbl 1182.68244) Full Text: arXiv OpenURL