JAIR Volume 43 Articles

Volume 43 MastHead

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

F. Stulp, A. Fedrizzi, L. Mösenlechner and M. Beetz (2012) "Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation", Volume 43, pages 1-42

Abstract | PDF | PostScript | doi:10.1613/jair.3451

N. Fu, H.C. Lau, P. Varakantham and F. Xiao (2012) "Robust Local Search for Solving RCPSP/max with Durational Uncertainty", Volume 43, pages 43-86

Abstract | PDF | PostScript | doi:10.1613/jair.3424

A. Sadilek and H. Kautz (2012) "Location-Based Reasoning about Complex Multi-Agent Behavior", Volume 43, pages 87-133

Abstract | PDF | PostScript | doi:10.1613/jair.3421

T. Flati and R. Navigli (2012) "The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary", Volume 43, pages 135-171

Abstract | PDF | PostScript | doi:10.1613/jair.3456

G. Pesant, C. Quimper and A. Zanarini (2012) "Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems", Volume 43, pages 173-210

Abstract | PDF | PostScript | doi:10.1613/jair.3463

Y. Zeng and P. Doshi (2012) "Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams", Volume 43, pages 211-255

Abstract | PDF | PostScript | doi:10.1613/jair.3461

J.H.M. Lee and K. L. Leung (2012) "Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction", Volume 43, pages 257-292

Abstract | PDF | PostScript | doi:10.1613/jair.3476
Appendix 1 - Erratum | Appendix 2 - Revised Paper

R. Huang, Y. Chen and W. Zhang (2012) "SAS+ Planning as Satisfiability", Volume 43, pages 293-328 AAAI 2010 Outstanding Paper Award

Abstract | PDF | PostScript | doi:10.1613/jair.3442

P. Jeavons and J. Petke (2012) "Local Consistency and SAT-Solvers", Volume 43, pages 329-351

Abstract | PDF | PostScript | doi:10.1613/jair.3531

L. R. Planken, M. M. de Weerdt and R. P.J. van der Krogt (2012) "Computing All-Pairs Shortest Paths by Leveraging Low Treewidth", Volume 43, pages 353-388 ICAPS 2011 Honorable Mention for Best Student Paper

Abstract | PDF | PostScript | doi:10.1613/jair.3509

F. Sánchez-Martínez, R. C. Carrasco, M. A. Martínez-Prieto and J. Adiego (2012) "Generalized Biwords for Bitext Compression and Translation Spotting", Volume 43, pages 389-418

Abstract | PDF | PostScript | doi:10.1613/jair.3500

B. Cuenca Grau, B. Motik, G. Stoilos and I. Horrocks (2012) "Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice", Volume 43, pages 419-476 AAAI 2010 Outstanding Paper Award

Abstract | PDF | PostScript | doi:10.1613/jair.3470

J. Baum, A. E. Nicholson and T. I. Dix (2012) "Proximity-Based Non-uniform Abstractions for Approximate Planning", Volume 43, pages 477-522

Abstract | PDF | PostScript | doi:10.1613/jair.3414

C. Hernandez and J. A. Baier (2012) "Avoiding and Escaping Depressions in Real-Time Heuristic Search", Volume 43, pages 523-570

Abstract | PDF | PostScript | doi:10.1613/jair.3590

J. Lee and R. Palla (2012) "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming", Volume 43, pages 571-620

Abstract | PDF | PostScript | doi:10.1613/jair.3489

M. Vasirani and S. Ossowski (2012) "A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks", Volume 43, pages 621-659

Abstract | PDF | PostScript | doi:10.1613/jair.3560

S.R.K. Branavan, D. Silver and R. Barzilay (2012) "Learning to Win by Reading Manuals in a Monte-Carlo Framework", Volume 43, pages 661-704

Abstract | PDF | PostScript | doi:10.1613/jair.3484