JAIR Volume 9 Articles

Volume 9 MastHead

Each entry in this table of contents provides links to an individual article and its appendices (if any):

M. L. Littman, J. Goldsmith and Mundhenk M. (1998) "The Computational Complexity of Probabilistic Planning", Volume 9, pages 1-36

Abstract | PDF | PostScript

O. Ledeniov and S. Markovitch (1998) "The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference", Volume 9, pages 37-97

Abstract | PDF | PostScript

C. Backstrom (1998) "Computational Aspects of Reordering Plans", Volume 9, pages 99-137

Abstract | PDF | PostScript

D. J. Cook and R. C. Varnell (1998) "Adaptive Parallel Iterative Deepening Search", Volume 9, pages 139-165

Abstract | PDF | PostScript | HTML
Appendix - Eureka 2.0 Source code

A. Ruiz, P. E. Lopez-de-Teruel and M. C. Garrido (1998) "Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians", Volume 9, pages 167-217

Abstract | PDF | PostScript

B. Vandegriend and J. Culberson (1998) "The Gn,m Phase Transition is Not Hard for the Hamiltonian Cycle Problem", Volume 9, pages 219-245

Abstract | PDF | PostScript
Appendix 1 - HTML illustration of artifact | Appendix 2 - source code for HC program

J. M. Wiebe, T. P. O'Hara, Thorsten Ohrstrom-Sandgren and K. J. McKeever (1998) "An Empirical Approach to Temporal Reference Resolution", Volume 9, pages 247-293

Abstract | PDF | PostScript | HTML
Appendix - Temporal reference resolution algorithm, input specification and description of system coverage

E. Mazer, J. M. Ahuactzin and P. Bessiere (1998) "The Ariadne's Clew Algorithm", Volume 9, pages 295-316

Abstract | PDF | PostScript | HTML
Appendix 1 - Quicktime movies | Appendix 2 - Source code

G. Di Caro and M. Dorigo (1998) "AntNet: Distributed Stigmergetic Control for Communications Networks", Volume 9, pages 317-365

Abstract | PDF | PostScript

M. Fox and D. Long (1998) "The Automatic Inference of State Invariants in TIM", Volume 9, pages 367-421

Abstract | PDF | PostScript
Appendix - TIM code and examples

J. Rintanen (1998) "Complexity of Prioritized Default Logics", Volume 9, pages 423-461

Abstract | PDF | PostScript

A. Artale and E. Franconi (1998) "A Temporal Description Logic for Reasoning about Actions and Plans", Volume 9, pages 463-506

Abstract | PDF | PostScript