Michelson, M.; Knoblock, C. A. Creating relational data from unstructured and ungrammatical data sources. (English) Zbl 1182.68056 J. Artif. Intell. Res. (JAIR) 31, 543-590 (2008). MSC: 68P05 PDF BibTeX XML Cite \textit{M. Michelson} and \textit{C. A. Knoblock}, J. Artif. Intell. Res. (JAIR) 31, 543--590 (2008; Zbl 1182.68056) Full Text: Link
Ryan, M. R. K. Exploiting subgraph structure in multi-robot path planning. (English) Zbl 1183.68590 J. Artif. Intell. Res. (JAIR) 31, 497-542 (2008). MSC: 68T20 68T40 PDF BibTeX XML Cite \textit{M. R. K. Ryan}, J. Artif. Intell. Res. (JAIR) 31, 497--542 (2008; Zbl 1183.68590) Full Text: Link
Altman, A.; Tennenholtz, M. Axiomatic foundations for ranking systems. (English) Zbl 1183.68613 J. Artif. Intell. Res. (JAIR) 31, 473-495 (2008). MSC: 68T35 68T05 PDF BibTeX XML Cite \textit{A. Altman} and \textit{M. Tennenholtz}, J. Artif. Intell. Res. (JAIR) 31, 473--495 (2008; Zbl 1183.68613) Full Text: Link
Wang, C.; Joshi, S.; Khardon, R. First order decision diagrams for relational MDPS. (English) Zbl 1182.68271 J. Artif. Intell. Res. (JAIR) 31, 431-472 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{C. Wang} et al., J. Artif. Intell. Res. (JAIR) 31, 431--472 (2008; Zbl 1182.68271) Full Text: Link
Clarke, J.; Lapata, M. Global inference for sentence compression: an integer linear programming approach. (English) Zbl 1182.68286 J. Artif. Intell. Res. (JAIR) 31, 399-429 (2008). MSC: 68T30 90C05 PDF BibTeX XML Cite \textit{J. Clarke} and \textit{M. Lapata}, J. Artif. Intell. Res. (JAIR) 31, 399--429 (2008; Zbl 1182.68286) Full Text: Link
Gimenez, O.; Jonsson, A. The complexity of planning problems with simple causal graphs. (English) Zbl 1182.68242 J. Artif. Intell. Res. (JAIR) 31, 319-351 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{O. Gimenez} and \textit{A. Jonsson}, J. Artif. Intell. Res. (JAIR) 31, 319--351 (2008; Zbl 1182.68242) Full Text: Link
Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; Sattler, U. Modular reuse of ontologies: theory and practice. (English) Zbl 1183.68479 J. Artif. Intell. Res. (JAIR) 31, 273-318 (2008). MSC: 68T05 PDF BibTeX XML Cite \textit{B. Cuenca Grau} et al., J. Artif. Intell. Res. (JAIR) 31, 273--318 (2008; Zbl 1183.68479) Full Text: Link
Liu, Y.; Lakemeyer, G. On the expressiveness of Levesque’s normal form. (English) Zbl 1182.68073 J. Artif. Intell. Res. (JAIR) 31, 259-272 (2008). MSC: 68P15 PDF BibTeX XML Cite \textit{Y. Liu} and \textit{G. Lakemeyer}, J. Artif. Intell. Res. (JAIR) 31, 259--272 (2008; Zbl 1182.68073) Full Text: Link
Den Briel, M. H. L. Van; Vossen, T.; Kambhampati, S. Loosely coupled formulations for automated planning: an integer programming perspective. (English) Zbl 1175.90058 J. Artif. Intell. Res. (JAIR) 31, 217-257 (2008). MSC: 90B10 90C10 68T20 PDF BibTeX XML Cite \textit{M. H. L. Van Den Briel} et al., J. Artif. Intell. Res. (JAIR) 31, 217--257 (2008; Zbl 1175.90058) Full Text: Link
Wong, K. Sound and complete inference rules for SE-consequence. (English) Zbl 1183.68160 J. Artif. Intell. Res. (JAIR) 31, 205-216 (2008). MSC: 68N17 PDF BibTeX XML Cite \textit{K. Wong}, J. Artif. Intell. Res. (JAIR) 31, 205--216 (2008; Zbl 1183.68160) Full Text: Link
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U. Conjunctive query answering for the description logic SHIQ. (English) Zbl 1183.68244 J. Artif. Intell. Res. (JAIR) 31, 157-204 (2008). MSC: 68P15 68N15 PDF BibTeX XML Cite \textit{B. Glimm} et al., J. Artif. Intell. Res. (JAIR) 31, 157--204 (2008; Zbl 1183.68244) Full Text: Link
Zhang, Y.; Ding, Y. CTL model update for system modifications. (English) Zbl 1183.68385 J. Artif. Intell. Res. (JAIR) 31, 113-155 (2008). MSC: 68Q60 PDF BibTeX XML Cite \textit{Y. Zhang} and \textit{Y. Ding}, J. Artif. Intell. Res. (JAIR) 31, 113--155 (2008; Zbl 1183.68385) Full Text: Link
Engel, Yagil; Wellman, Michael P. CUI networks: a graphical representation for conditional utility independence. (English) Zbl 1177.90050 J. Artif. Intell. Res. (JAIR) 31, 83-112 (2008). MSC: 90B10 91B16 PDF BibTeX XML Cite \textit{Y. Engel} and \textit{M. P. Wellman}, J. Artif. Intell. Res. (JAIR) 31, 83--112 (2008; Zbl 1177.90050) Full Text: Link
Mausam; Weld, D. S. Planning with durative actions in stochastic domains. (English) Zbl 1183.68581 J. Artif. Intell. Res. (JAIR) 31, 33-82 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{Mausam} and \textit{D. S. Weld}, J. Artif. Intell. Res. (JAIR) 31, 33--82 (2008; Zbl 1183.68581) Full Text: Link
Heras, F.; Larrosa, J.; Oliveras, A. Minimaxsat: an efficient weighted Max-SAT solver. (English) Zbl 1183.68578 J. Artif. Intell. Res. (JAIR) 31, 1-32 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{F. Heras} et al., J. Artif. Intell. Res. (JAIR) 31, 1--32 (2008; Zbl 1183.68578) Full Text: Link