- Volume 44, pages 423-453 ICAPS 2011 Best Student Paper Abstract | PDF | PostScript | doi:10.1613/jair.3516 L. - 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 P. - Jennings (2011) "Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid", Volume 42, pages 765-813 AAMAS 2010 iRobot Best Paper Award Abstract | PDF | PostScript | doi:10.1613/jair.3446 R. - Zhang (2012) "SAS+ Planning as Satisfiability", Volume 43, pages 293-328 AAAI 2010 Outstanding Paper Award Abstract | PDF | PostScript | doi:10.1613/jair.3442 1 A. - Guestrin (2009) "Optimal Value of Information in Graphical Models", Volume 35, pages 557-591 Honorable Mention for the 2012 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.2737 Appendix 1 - Erratum | Appendix 2 - Original Version H. - Geffner (2009) "Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width", Volume 35, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.2708 L. - Leyton-Brown (2008) "SATzilla: Portfolio-based Algorithm Selection for SAT", Volume 32, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.2490 S. - Strube (2007) "Knowledge Derived From Wikipedia For Computing Semantic Relatedness", Volume 30, pages 181-212 Honorable Mention for the 2010 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.2308 N. - Ronen (2007) "Computationally Feasible VCG Mechanisms", Volume 29, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.2046 M. - Helmert (2006) "The Fast Downward Planning System", Volume 26, pages 191-246 Honorable Mention for the 2009 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.1705 Appendix - Experimental results A. - Givan (2006) "Approximate Policy Iteration with a Policy Language Bias: Solving Relational Markov Decision Processes", Volume 25, pages 75-118 Honorable Mention for the 2011 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.1700 G. - Scarcello (2005) "Pure Nash Equilibria: Hard and Easy Games", Volume 24, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.1683 A. - Hanan (2004) "Additive Pattern Database Heuristics", Volume 22, pages 279-318 Honorable Mention for the 2007 IJCAI-JAIR Best Paper Prize 2 Abstract | PDF | PostScript | doi:10.1613/jair.1480 P. - Sabharwal (2004) "Towards Understanding and Harnessing the Potential of Clause Learning", Volume 22, pages 319-351 Honorable Mention for the 2008 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | HTML | doi:10.1613/jair.1410 C. - Poole (2004) "CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements", Volume 21, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.1234 C. - Venkataraman (2003) "Efficient Solution Algorithms for Factored MDPs", Volume 19, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.1000 A. - Marquis (2002) "A Knowledge Compilation Map", Volume 17, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.989 J. - Nebel (2001) "The FF Planning System: Fast Plan Generation Through Heuristic Search", Volume 14, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | HTML | doi:10.1613/jair.855 Appendix 1 - PDDL files, raw data and experimental results (gzipped | Appendix 2 - Evaluation domains and instance generators | Appendix 3 - C code for FF-v2.2 as used in AIPS-2000 competition M. - Ginsberg (2001) "GIB: Imperfect Information in a Computationally Challenging Game", Volume 14, pages 303-358 Honorable Mention for the 2006 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.820 J. - Druzdzel (2000) "AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks", Volume 13, pages 155-188 Honorable Mention for the 2005 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | HTML | doi:10.1613/jair.764 T. - Dietterich (2000) "Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition", Volume 13, pages IJCAI-JAIR Best Paper Prize 3 Abstract | PDF | PostScript | doi:10.1613/jair.639 F. - Akkermans (1999) "Decentralized Markets versus Central Control: A Comparative Study", Volume 11, pages IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.627 D. - Thrun (1999) "Markov Localization for Mobile Robots in Dynamic Environments", Volume 11, pages 391-427 Honorable Mention for the 2004 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | HTML | doi:10.1613/jair.616 Appendix - Movies M. - (1998) "The Computational Complexity of Probabilistic Planning", Volume 9, pages 1-36 Honorable Mention for the 2003 IJCAI-JAIR Best Paper Prize Abstract | PDF | PostScript | doi:10.1613/jair.505 M. - Tambe (1997) "Towards Flexible Teamwork", Volume 7, pages IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems Abstract | PDF | PostScript | doi:10.1613/jair.433 Appendix - M. - Wellman (1993) "A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems", Volume 1, pages 1-23 2012 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems Abstract | PDF | PostScript | doi:10.1613/jair.2 F. - Lomuscio (2012) "Interactions between Knowledge and Time in a First- Order Logic for Multi-Agent Systems: Completeness Results", Volume 45, pages 1-45 Abstract | PDF | PostScript | doi:10.1613/jair.3547 D. - Salamon (2012) "The Tractability of CSP Classes Defined by Forbidden Patterns", Volume 45, pages 47-78 Abstract | PDF | PostScript | doi:10.1613/jair.3651 H. - Bruynooghe (2012) "An approximative inference method for solving ∃∀SO satisfiability problems", Volume 45, pages 79-124 Abstract | PDF | PostScript | doi:10.1613/jair.3658 4 S.A. - Ghassem-Sani (2012) "Towards Unsupervised Learning of Temporal Relations between Events", Volume 45, pages 125-163 Abstract | PDF | PostScript | doi:10.1613/jair.3693 Appendix - Erratum T. - Jennings (2012) "Coalition Structure Generation over Graphs", Volume 45, pages 165-196 Abstract | PDF | PostScript | doi:10.1613/jair.3715 B. - Motik (2012) "Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach", Volume 45, pages 197-255 Abstract | PDF | PostScript | doi:10.1613/jair.3579 R. - Kawarabayashi (2012) "Generating Approximate Solutions to the TTP using a Linear Distance Relaxation", Volume 45, pages 257-286 Abstract | PDF | PostScript | doi:10.1613/jair.3713 P. - Meseguer (2012) "Removing Redundant Messages in N-ary BnB-ADOPT", Volume 45, pages 287-304 Abstract | PDF | PostScript | doi:10.1613/jair.3696 Appendix - Erratum A. - Collins (2012) "A Tutorial on Dual Decomposition and Lagrangian Relaxation for Inference in Natural Language Processing", Volume 45, pages 305-362 Abstract | PDF | PostScript | doi:10.1613/jair.3680 R. - Neville (2012) "Transforming Graph Data for Statistical Relational Learning", Volume 45, pages 363-441 Abstract | PDF | PostScript | doi:10.1613/jair.3659 I. - Mayer-Eichberger (2012) "A New Look at BDDs for Pseudo-Boolean Constraints", Volume 45, pages 443-480 Abstract | PDF | PostScript | doi:10.1613/jair.3653 U. - Porello (2012) "Complexity of Judgment Aggregation", Volume 45, pages 481-514 Abstract | PDF | PostScript | doi:10.1613/jair.3708 5 J. - Fernandez (2012) "Safe Exploration of State and Action Spaces in Reinforcement Learning", Volume 45, pages 515-564 Abstract | PDF | PostScript | doi:10.1613/jair.3761 R. - Shani (2012) "Replanning in Domains with Partial Information and Sensing Actions", Volume 45, pages 565-600 Abstract | PDF | PostScript | doi:10.1613/jair.3711 G. - Miranda (2012) "Irrelevant and independent natural extension for sets of desirable gambles", Volume 45, pages 601-640 Abstract | PDF | PostScript | doi:10.1613/jair.3770 K. - Markovitch (2012) "Learning to Predict from Textual Data", Volume 45, pages 641-684 Abstract | PDF | PostScript | doi:10.1613/jair.3865 H. - Russell (2012) "The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces", Volume 45, pages 685-729 Abstract | PDF | PostScript | doi:10.1613/jair.3779 M. - Hils (2012) "Tractable Set Constraints", Volume 45, pages 731-759 Abstract | PDF | PostScript | doi:10.1613/jair.3747 M. - Banchs (2012) "Evaluating Indirect Strategies for Chinese-Spanish Statistical Machine Translation", Volume 45, pages 761-780 Abstract | PDF | PostScript | doi:10.1613/jair.3786 G. - Zhou (2013) "A Feature Subset Selection Algorithm Automatic Recommendation Method", Volume 47, pages 1-34 Abstract | PDF | PostScript | doi:10.1613/jair.3831 M. - Beck (2013) "Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources", Volume 47, pages 35-70 Abstract | PDF | PostScript | doi:10.1613/jair.3902 S. - Vesic (2013) "Identifying the Class of Maxi-Consistent Operators in Argumentation", Volume 47, pages 71-93 6 Abstract | PDF | PostScript | doi:10.1613/jair.3860 J. - Durfee (2013) "Distributed Reasoning for Multiagent Simple Temporal Problems", Volume 47, pages 95-156 Abstract | PDF | PostScript | doi:10.1613/jair.3840 Appendix - Formal proofs R. - Leray (2013) "A Survey on Latent Tree Models and Applications", Volume 47, pages 157-203 Abstract | PDF | PostScript | doi:10.1613/jair.3879 G. - Volume 47, pages 205-251 Abstract | PDF | PostScript | doi:10.1613/jair.3834 M. - Bowling (2013) "The Arcade Learning Environment: An Evaluation Platform for General Agents", Volume 47, pages 253-279 Abstract | PDF | PostScript | doi:10.1613/jair.3912 Y. - Rosenschein (2013) "Sharing Rewards in Cooperative Connectivity Games", Volume 47, pages 281-311 Abstract | PDF | PostScript | doi:10.1613/jair.3841 P. - Botelho (2013) "Learning by Observation of Agent Software Images", Volume 47, pages 313-349 Abstract | PDF | PostScript | doi:10.1613/jair.3989 W. - Woltran (2013) "Strong Equivalence of Qualitative Optimization Problems", Volume 47, pages 351-391 Abstract | PDF | PostScript | doi:10.1613/jair.3991 N. - Blockeel (2013) "Lifted Variable Elimination: Decoupling the Operators from the Constraint Language", Volume 47, pages 393-439 Abstract | PDF | PostScript | doi:10.1613/jair.3793 A. - Long (2012) "COLIN: Planning with Continuous Linear Numeric Change", Volume 44, pages 1-96 7 Abstract | PDF | PostScript | doi:10.1613/jair.3608 Appendix - Data Files D. - Zaffalon (2012) "Solving Limited Memory Influence Diagrams", Volume 44, pages 97-140 Abstract | PDF | PostScript | doi:10.1613/jair.3625 C. - Jonsson (2012) "Algorithms and Limits for Compact Plan Representations", Volume 44, pages 141-177 Abstract | PDF | PostScript | doi:10.1613/jair.3534 P. - Ng (2012) "Improving Statistical Machine Translation for a Resource-Poor Language Using Related Resource-Rich Languages", Volume 44, pages 179-222 Abstract | PDF | PostScript | doi:10.1613/jair.3540 W. - Gratch (2012) "Modeling Social Causality and Responsibility Judgment in Multi- Agent Interactions", Volume 44, pages 223-273 Abstract | PDF | PostScript | doi:10.1613/jair.3526 P. - Dasgupta (2012) "Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures", Volume 44, pages 275-333 Abstract | PDF | PostScript | doi:10.1613/jair.3576 M. - Magazzeni (2012) "Plan-based Policies for Efficient Multiple Battery Load Management", Volume 44, pages 335-382 ICAPS 2011 Best Paper Award Abstract | PDF | PostScript | doi:10.1613/jair.3643 P. - Haslum (2012) "Narrative Planning: Compilations to Classical Planning", Volume 44, pages 383-395 Abstract | PDF | PostScript | doi:10.1613/jair.3602 Appendix - Source coder and example problems E. - Cuadra (2012) "Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction", Volume 44, pages 397-421 Abstract | PDF | PostScript | doi:10.1613/jair.3612 8 J. - Volume 44, pages 423-453 ICAPS 2011 Best Student Paper Abstract | PDF | PostScript | doi:10.1613/jair.3516 M. - Zivny (2012) "Tractable Triangles and Cross-Free Convexity in Discrete Optimisation", Volume 44, pages 455-490 Abstract | PDF | PostScript | doi:10.1613/jair.3598 J. - Guestrin (2012) "Riffled Independence for Efficient Inference with Partial Rankings", Volume 44, pages 491-532 Abstract | PDF | PostScript | doi:10.1613/jair.3543 P. - Turney (2012) "Domain and Function: A Dual-Space Model of Semantic Relations and Compositions", Volume 44, pages 533-585 Abstract | PDF | PostScript | doi:10.1613/jair.3640 Appendix - Dataset containing 2,180 seven-choice questions. - Kraft (2012) "SAP Speaks PDDL: Exploiting a Software- Engineering Model for Planning in Business Process Management", Volume 44, pages 587-632 Abstract | PDF | PostScript | doi:10.1613/jair.3636 B. - Wolter (2012) "The Logical Difference for the Lightweight Description Logic EL", Volume 44, pages 633-708 Abstract | PDF | PostScript | doi:10.1613/jair.3552 C. - Markovitch (2012) "Online Speedup Learning for Optimal Planning", Volume 44, pages 709-755 Abstract | PDF | PostScript | doi:10.1613/jair.3676 P. - Miguel (2013) "Short and Long Supports for Constraint Propagation", Volume 46, pages 1-45 Abstract | PDF | PostScript | doi:10.1613/jair.3749 E. - Korf (2013) "Optimal Rectangle Packing: An Absolute Placement Approach", Volume 46, pages 47-87 Abstract | PDF | PostScript | doi:10.1613/jair.3735 9 C. - Barzilay (2013) "Automatic Aggregation by Joint Modeling of Aspects and Values", Volume 46, pages 89-127 Abstract | PDF | PostScript | doi:10.1613/jair.3647 M. - Conitzer (2013) "Undominated Groves Mechanisms", Volume 46, pages 129-163 Abstract | PDF | PostScript | doi:10.1613/jair.3810 V. - Moon (2013) "Generating Extractive Summaries of Scientific Paradigms", Volume 46, pages 165-201 Abstract | PDF | PostScript | doi:10.1613/jair.3732 H. - Kit (2013) "Integrative Semantic Dependency Parsing via Efficient Large-scale Feature Selection", Volume 46, pages 203-233 Abstract | PDF | PostScript | doi:10.1613/jair.3717 Appendix - Feature templates data set N. - Brefeld (2013) "Toward Supervised Anomaly Detection", Volume 46, pages 235-262 Abstract | PDF | PostScript | doi:10.1613/jair.3623 S. - Szeider (2013) "Parameterized Complexity Results for Exact Bayesian Network Structure Learning", Volume 46, pages 263-302 Abstract | PDF | PostScript | doi:10.1613/jair.3744 A. - Stuckey (2013) "Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems", Volume 46, pages 303-341 Abstract | PDF | PostScript | doi:10.1613/jair.3809 A. - Long (2013) "A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning", Volume 46, pages 343-412 Abstract | PDF | PostScript | doi:10.1613/jair.3788 Appendix - The complete set of domain and problem files used for data generation. - Lee (2013) "Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis", Volume 46, pages 413-447 Abstract | PDF | PostScript | doi:10.1613/jair.3898 10 F. - Whiteson (2013) "Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs", Volume 46, pages 449-509 Abstract | PDF | PostScript | doi:10.1613/jair.3804 M. - Williams and Lars Blackmore (2013) "Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk", Volume 46, pages 511-577 Abstract | PDF | PostScript | doi:10.1613/jair.3893 D. - Bono (2013) "Predicting Behavior in Unstructured Bargaining with a Probability Distribution", Volume 46, pages 579-605 Abstract | PDF | PostScript | doi:10.1613/jair.3662 T. - Jennings (2013) "Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality", Volume 46, pages 607-650 Abstract | PDF | PostScript | doi:10.1613/jair.3806 Appendix - Source code. - Felli (2013) "Description Logic Knowledge and Action Bases", Volume 46, pages 651-686 Abstract | PDF | PostScript | doi:10.1613/jair.3826 S. - Sattar (2013) "NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover", Volume 46, pages 687-716 Abstract | PDF | PostScript | doi:10.1613/jair.3907 11