Bài tập về nhà bài đọc các bài tạp chí AI

BÀI TẬP VỀ NHÀ. Chọn một trong các bài báo chuyên ngành trí
tuệ nhân tạo danh sách bài báo (theo nhóm bài tập lớn: 2
tuần)
Sinh viên đọc chọn một trong các bài chuyên đề / bài báo theo địa chỉ Website.
- Đọc hiểu bài báo
- Viết tóm tắt bài báo và biểu diễn ví dụ minh họa cụ thể từng bước đi kèm.
- Mơ tả các bước mơ hình/ giải thuật/ thuật tốn nếu có bằng cách biểu diễn qua ví dụ.
- Trình bày điểm mới trong bài báo và nêu các ứng dụng có thể áp dụng
Ghi chú: Khơng giới hạn số trang báo cáo.
Thời hạn nộp nhóm đăng ký cho lớp trưởng / cán bộ lớp: 17/7/2013
Thời gian nộp bài bản phần mềm: 30/7/2013
Hình thức nộp bài gửi qua email:

cho cán bộ lớp

Bản in gửi tại lớp: 30/7/2013

J. Velez, G. Hemann, A. S. Huang, I. Posner and N. Roy (2012) "Modelling Observation
Correlations for Active Exploration and Robust Object Detection ", Volume 44, pages 423-453
ICAPS 2011 Best Student Paper
Abstract | PDF | PostScript | doi:10.1613/jair.3516
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
P. Vytelingum, T. D. Voice, S. D. Ramchurn, A. Rogers and N. R. 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. Huang, Y. Chen and W. Zhang (2012) "SAS+ Planning as Satisfiability", Volume 43, pages
293-328 AAAI 2010 Outstanding Paper Award

1


Abstract | PDF | PostScript | doi:10.1613/jair.3442
A. Krause and C. 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. Palacios and H. Geffner (2009) "Compiling Uncertainty Away in Conformant Planning
Problems with Bounded Width", Volume 35, pages 623-675 2012 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.2708
L. Xu, F. Hutter, H. H. Hoos and K. Leyton-Brown (2008) "SATzilla: Portfolio-based Algorithm
Selection for SAT", Volume 32, pages 565-606 2010 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.2490
S. P. Ponzetto and M. 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. Nisan and A. Ronen (2007) "Computationally Feasible VCG Mechanisms", Volume 29, pages
19-47 2011 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. Fern, S. Yoon and R. 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. Gottlob, G. Greco and F. Scarcello (2005) "Pure Nash Equilibria: Hard and Easy Games",

Volume 24, pages 357-406 2008 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.1683
2


A. Felner, R. E. Korf and S. Hanan (2004) "Additive Pattern Database Heuristics", Volume 22,
pages 279-318 Honorable Mention for the 2007 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.1480
P. Beame, H. Kautz and A. 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. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos and D. Poole (2004) "CP-nets: A Tool for
Representing and Reasoning withConditional Ceteris Paribus Preference Statements", Volume
21, pages 135-191 2009 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.1234
C. Guestrin, D. Koller, R. Parr and S. Venkataraman (2003) "Efficient Solution Algorithms for
Factored MDPs", Volume 19, pages 399-468 2007 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.1000
A. Darwiche and P. Marquis (2002) "A Knowledge Compilation Map", Volume 17, pages 229264 2006 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.989
J. Hoffmann and B. Nebel (2001) "The FF Planning System: Fast Plan Generation Through
Heuristic Search", Volume 14, pages 253-302 2005 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. L. 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. Cheng and M. 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
3


T. G. Dietterich (2000) "Hierarchical Reinforcement Learning with the MAXQ Value Function
Decomposition", Volume 13, pages 227-303 2003 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.639
F. Ygge and H. Akkermans (1999) "Decentralized Markets versus Central Control: A
Comparative Study", Volume 11, pages 301-333 2004 IJCAI-JAIR Best Paper Prize
Abstract | PDF | PostScript | doi:10.1613/jair.627
D. Fox, W. Burgard and S. 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. L. Littman, J. Goldsmith and Mundhenk 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 83-124 2012 IFAAMAS Award
for Influential Papers in Autonomous Agents and Multiagent Systems
Abstract | PDF | PostScript | doi:10.1613/jair.433
Appendix M. P. 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. Belardinelli and A. Lomuscio (2012) "Interactions between Knowledge and Time in a FirstOrder Logic for Multi-Agent Systems: Completeness Results", Volume 45, pages 1-45

Abstract | PDF | PostScript | doi:10.1613/jair.3547
D. A. Cohen, M. C. Cooper, P. Creed, D. Marx and A. Z. Salamon (2012) "The Tractability of
CSP Classes Defined by Forbidden Patterns", Volume 45, pages 47-78
Abstract | PDF | PostScript | doi:10.1613/jair.3651

4


H. Vlaeminck, J. Vennekens, M. Denecker and M. Bruynooghe (2012) "An approximative
inference method for solving ∃∀SO satisfiability problems", Volume 45, pages 79-124
Abstract | PDF | PostScript | doi:10.1613/jair.3658
S.A. Mirroshandel and G. 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. Voice, M. Polukarov and N. R. Jennings (2012) "Coalition Structure Generation over
Graphs", Volume 45, pages 165-196
Abstract | PDF | PostScript | doi:10.1613/jair.3715
B. Cuenca Grau and 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. Hoshino and K. 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. Gutierrez and 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. M. Rush and M. J. 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. A. Rossi, L. K. McDowell, D. W. Aha and J. Neville (2012) "Transforming Graph Data for
Statistical Relational Learning", Volume 45, pages 363-441
Abstract | PDF | PostScript | doi:10.1613/jair.3659
I. Abío, R. Nieuwenhuis, A. Oliveras, E. Rodríguez-Carbonell and V. 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
5


U. Endriss, U. Grandi and D. Porello (2012) "Complexity of Judgment Aggregation", Volume
45, pages 481-514
Abstract | PDF | PostScript | doi:10.1613/jair.3708
J. Garcia and F. 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. I. Brafman and G. 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. de Cooman and E. 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. Radinsky, S. Davidovich and S. Markovitch (2012) "Learning to Predict from Textual Data",
Volume 45, pages 641-684
Abstract | PDF | PostScript | doi:10.1613/jair.3865
H. T. Dinh, H. T. Dinh, L. Michel and A. 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. Bodirsky and M. Hils (2012) "Tractable Set Constraints", Volume 45, pages 731-759
Abstract | PDF | PostScript | doi:10.1613/jair.3747

M. R. Costa-jussà, C. A. Henríquez and R. E. 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. Wang, Q. Song, H. Sun, X. Zhang, B. Xu and Y. Zhou (2013) "A Feature Subset Selection
Algorithm Automatic Recommendation Method", Volume 47, pages 1-34
Abstract | PDF | PostScript | doi:10.1613/jair.3831
M. Aramon Bajestani and J. C. Beck (2013) "Scheduling a Dynamic Aircraft Repair Shop with
Limited Repair Resources", Volume 47, pages 35-70
6


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
Abstract | PDF | PostScript | doi:10.1613/jair.3860
J. C. Boerkoel Jr. and E. H. 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. Mourad, C. Sinoquet, N. L. Zhang, T. Liu and P. Leray (2013) "A Survey on Latent Tree
Models and Applications", Volume 47, pages 157-203
Abstract | PDF | PostScript | doi:10.1613/jair.3879
G. Tesauro, D. C. Gondek, J. Lenchner, J. Fan and J. M. Prager (2013) "Analysis of Watson's
Strategies for Playing Jeopardy!", Volume 47, pages 205-251
Abstract | PDF | PostScript | doi:10.1613/jair.3834
M. G. Bellemare, Y. Naddaf, J. Veness and 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. Bachrach, E. Porat and J. S. Rosenschein (2013) "Sharing Rewards in Cooperative
Connectivity Games", Volume 47, pages 281-311

Abstract | PDF | PostScript | doi:10.1613/jair.3841
P. R. Costa and L. M. Botelho (2013) "Learning by Observation of Agent Software Images",
Volume 47, pages 313-349
Abstract | PDF | PostScript | doi:10.1613/jair.3989
W. Faber, M. Truszczyński and S. Woltran (2013) "Strong Equivalence of Qualitative
Optimization Problems", Volume 47, pages 351-391
Abstract | PDF | PostScript | doi:10.1613/jair.3991
N. Taghipour, D. Fierens, J. Davis and H. Blockeel (2013) "Lifted Variable Elimination:
Decoupling the Operators from the Constraint Language", Volume 47, pages 393-439
7


Abstract | PDF | PostScript | doi:10.1613/jair.3793
A. J. Coles, A. I. Coles, M. Fox and D. Long (2012) "COLIN: Planning with Continuous Linear
Numeric Change", Volume 44, pages 1-96
Abstract | PDF | PostScript | doi:10.1613/jair.3608
Appendix - Data Files
D. D. Maua, C. P. de Campos and M. Zaffalon (2012) "Solving Limited Memory Influence
Diagrams", Volume 44, pages 97-140
Abstract | PDF | PostScript | doi:10.1613/jair.3625
C. Bäckström and P. Jonsson (2012) "Algorithms and Limits for Compact Plan
Representations", Volume 44, pages 141-177
Abstract | PDF | PostScript | doi:10.1613/jair.3534
P. Nakov and H. T. 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. Mao and J. Gratch (2012) "Modeling Social Causality and Responsibility Judgment in MultiAgent Interactions", Volume 44, pages 223-273
Abstract | PDF | PostScript | doi:10.1613/jair.3526
P. Ghosh, A. Sharma, P.P. Chakrabarti and 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. Fox, D. Long and D. 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. Albacete, J. Calle, E. Castro and D. Cuadra (2012) "Semantic Similarity Measures Applied to
an Ontology for Human-Like Interaction", Volume 44, pages 397-421
8


Abstract | PDF | PostScript | doi:10.1613/jair.3612
J. Velez, G. Hemann, A. S. Huang, I. Posner and N. Roy (2012) "Modelling Observation
Correlations for Active Exploration and Robust Object Detection ", Volume 44, pages 423-453
ICAPS 2011 Best Student Paper
Abstract | PDF | PostScript | doi:10.1613/jair.3516
M. C. Cooper and S. 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. Huang, A. Kapoor and C. Guestrin (2012) "Riffled Independence for Efficient Inference with
Partial Rankings", Volume 44, pages 491-532
Abstract | PDF | PostScript | doi:10.1613/jair.3543
P. D. 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.
J. Hoffmann, I. Weber and F. M. Kraft (2012) "SAP Speaks PDDL: Exploiting a SoftwareEngineering Model for Planning in Business Process Management", Volume 44, pages 587-632
Abstract | PDF | PostScript | doi:10.1613/jair.3636

B. Konev, M. Ludwig, D. Walther and F. 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. Domshlak, E. Karpas and S. Markovitch (2012) "Online Speedup Learning for Optimal
Planning", Volume 44, pages 709-755
Abstract | PDF | PostScript | doi:10.1613/jair.3676
P. Nightingale, I. P. Gent, C. Jefferson and I. Miguel (2013) "Short and Long Supports for
Constraint Propagation", Volume 46, pages 1-45
Abstract | PDF | PostScript | doi:10.1613/jair.3749
E. Huang and R. E. Korf (2013) "Optimal Rectangle Packing: An Absolute Placement
Approach", Volume 46, pages 47-87
9


Abstract | PDF | PostScript | doi:10.1613/jair.3735
C. Sauper and R. 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. Guo, E. Markakis, K. R. Apt and V. Conitzer (2013) "Undominated Groves Mechanisms",
Volume 46, pages 129-163
Abstract | PDF | PostScript | doi:10.1613/jair.3810
V. Qazvinian, D. R. Radev, S. M. Mohammad, B. Dorr, D. Zajic, M. Whidby and T. Moon (2013)
"Generating Extractive Summaries of Scientific Paradigms", Volume 46, pages 165-201
Abstract | PDF | PostScript | doi:10.1613/jair.3732
H. Zhao, X. Zhang and C. 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. Goernitz, M. Kloft, K. Rieck and U. Brefeld (2013) "Toward Supervised Anomaly Detection",
Volume 46, pages 235-262

Abstract | PDF | PostScript | doi:10.1613/jair.3623
S. Ordyniak and 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. Metodi, M. Codish and P. J. 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. Coles, A. Coles, M. Fox and D. 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.
N. A. Snooke and M. H. Lee (2013) "Qualitative Order of Magnitude Energy-Flow-Based
Failure Modes and Effects Analysis", Volume 46, pages 413-447
10


Abstract | PDF | PostScript | doi:10.1613/jair.3898
F. A. Oliehoek, M. T. J. Spaan, C. Amato and S. 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. Ono, B. C. 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. H. Wolpert and J. W. 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. P. Michalak, K. V. Aadithya, P. L. Szczepanski, B. Ravindran and N. R. 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.
B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis and P. Felli
(2013) "Description Logic Knowledge and Action Bases", Volume 46, pages 651-686
Abstract | PDF | PostScript | doi:10.1613/jair.3826
S. Cai, K. Su, C. Luo and A. 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