Works matching IS 10769757 AND DT 2006 AND VI 26

Results: 12

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 453, doi. 10.1613/jair.1982

By:

Hoffmann, Jörg;
Edelkamp, Stefan;
Thiébanx, Sylvie;
Englert, Roman;
Dos Santos Liporace, Frederico;
Trüg, Sebastian

Publication type:

Article

Multiple-Goal Heuristic Search.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 417, doi. 10.1613/jair.1940

By:

Davidov, Dmitry;
Markovitch, Shaul

Publication type:

Article

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 371, doi. 10.1613/jair.1959

By:

Giunchiglia, Enrico;
Narizzano, Massimo;
Tacchella, Armando

Publication type:

Article

Temporal Planning using Subgoal Partitioning and Resolution in SGPlan.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 323, doi. 10.1613/jair.1918

By:

Yixin Chen;
Wah, Benjamin W.;
Chih-Wei Hsu

Publication type:

Article

Breaking Instance-Independent Symmetries in Exact Graph Coloring.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 289, doi. 10.1613/jair.1637

By:

Ramani, Arathi;
Markov, Igor L.;
Sakallah, Karem A.;
Aloul, Fadi A.

Publication type:

Article

How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 247, doi. 10.1613/jair.2013

By:

Streeter, Matthew J.;
Smith, Stephen F.

Publication type:

Article

The Fast Downward Planning System.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 191, doi. 10.1613/jair.1705

By:

Helmert, Malte

Publication type:

Article

Convexity Arguments for Efficient Minimization of the Bethe and Kikuchi Free Energies.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 153, doi. 10.1613/jair.1933

By:

Heskes, Tom

Publication type:

Article

Admissible and Restrained Revision.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 127, doi. 10.1613/jair.1874

By:

Booth, Richard;
Meyer, Thomas

Publication type:

Article

Domain Adaptation for Statistical Classifiers.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 101, doi. 10.1613/jair.1872

By:

Daumé III, Hal;
Marcu, Daniel

Publication type:

Article

Planning Graph Heuristics for Belief Space Search.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 35, doi. 10.1613/jair.1869

By:

Bryce, Daniel;
Kambhampati, Subbarao;
Smith, David E.

Publication type:

Article

A Logic for Reasoning about Evidence.

Published in:

Journal of Artificial Intelligence Research, 2006, v. 26, p. 1, doi. 10.1613/jair.1838

By:

Halpern, Joseph Y.;
Pucella, Riccardo

Publication type:

Article