Journal of Artificial Intelligence Research
Volume Forty-Three
Please Note: To view the abstract of a given article, select the link that is activated by the article title. The abstract will appear in a separate browser window. Full text of a given article can be selected in a similar manner from the link activitated by the title in the abstract window. (Most, but not all abstracts will link to full text.) PDF file sizes may be large!
This journal is also available in book and CD format.
Contents
Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation
/ 1
F. Stulp, A. Fedrizzi, L. Mösenlechner, M. Beetz
Robust Local Search for Solving RCPSP/max with Durational Uncertainty
/ 43
N. Fu, H.C. Lau, P. Varakantham, F. Xiao
Location-Based Reasoning about Complex Multi-Agent Behavior
/ 87
A. Sadilek, H. Kautz
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary
/ 135
T. Flati, R. Navigli
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
/ / 173
G. Pesant, C. Quimper, A. Zanarini
Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams
/ 211
Y. Zeng, P. Doshi
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction
/ 257
J. H. M. Lee, K. L. Leung
SAS+ Planning as Satisfiability
/ 293
R. Huang, Y. Chen, W. Zhang
Local Consistency and SAT-Solvers
/ 329
P. Jeavons, J. Petke
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
/ 353
L. R. Planken, M. M. de Weerdt, R. P. J. van der Krogt
Generalized Biwords for Bitext Compression and Translation Spotting
/ 389
F. Sánchez-Martínez, R. C. Carrasco, M. A. Martínez-Prieto, J. Adiego
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
/ 419
B. Cuenca Grau, B. Motik, G. Stoilos, I. Horrocks
Proximity-Based Non-Uniform Abstractions for Approximate Planning
/ 477
J. Baum, A. E. Nicholson, T. I. Dix
Avoiding and Escaping Depressions in Real-Time Heuristic Search
/ 523
C. Hernandez, J. A. Baier
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
/ 571
J. Lee, R. Palla
A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks
/ 599
M. Vasirani, S. Ossowski
Learning to Win by Reading Manuals in a Monte-Carlo Framework
/ 661
S. R. K. Branavan, D. Silver, R. Barzilay
Index / 705
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.