Volume 26,
2006
- Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence.
1-34
Electronic Edition (link) BibTeX
- Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Planning Graph Heuristics for Belief Space Search.
35-99
Electronic Edition (link) BibTeX
- Hal Daumé III, Daniel Marcu:
Domain Adaptation for Statistical Classifiers.
101-126
Electronic Edition (link) BibTeX
- Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision.
127-151
Electronic Edition (link) BibTeX
- Tom Heskes:
Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies.
153-190
Electronic Edition (link) BibTeX
- Malte Helmert:
The Fast Downward Planning System.
191-246
Electronic Edition (link) BibTeX
- Matthew J. Streeter, Stephen F. Smith:
How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines.
247-287
Electronic Edition (link) BibTeX
- Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul:
Breaking Instance-Independent Symmetries In Exact Graph Coloring.
289-322
Electronic Edition (link) BibTeX
- Yixin Chen, Benjamin W. Wah, Chih-Wei Hsu:
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan.
323-369
Electronic Edition (link) BibTeX
- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
371-416
Electronic Edition (link) BibTeX
- Dmitry Davidov, Shaul Markovitch:
Multiple-Goal Heuristic Search.
417-451
Electronic Edition (link) BibTeX
- 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.
453-541
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:06:03 2009
by Michael Ley (ley@uni-trier.de)