Sponsored by the Association for the Advancement of Artificial Intelligence

Wolfram Burgard and Dan Roth, Program Cochairs.

August 7 –11, 2011, San Francisco, California USA. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. PDF file sizes may be large!

Contents

Constraints, Satisfiability, and Search

Extensible Automated Constraint Modelling / 4
Ozgur Akgun, Ian Miguel, Chris Jefferson, Alan M. Frisch, Brahim Hnich

Optimal Graph Search with Iterated Graph Cuts / 12
David Burkett, David Hall, Dan Klein

On the Complexity of BDDs for State Space Search: A Case Study in Connect Four / 18
Stefan Edelkamp, Peter Kissmann

The Compressed Differential Heuristic / 24
Meir Goldenberg, Nathan Sturtevant, Ariel Felner, Jonathan Schaeffer

Heuristic Search for Large Problems With Real Costs / 30
Matthew Hatem, Ethan Burns, Wheeler Ruml

Core-Guided Binary Search Algorithms for Maximum Satisfiability / 36
Federico Heras, Antonio Morgado, Joao Marques-Silva

Optimal Packing of High-Precision Rectangles / 42
Eric Huang, Richard E. Korf

A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT / 48
Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann

Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models / 54
Kalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming / 61
Yat Chiu Law, Jimmy Ho Man Lee, May Hiu Chun Woo, Toby Walsh

Distributed Constraint Optimization Under Stochastic Uncertainty / 68
Thomas Léauté, Boi Faltings

Planning in Domains with Cost Function Dependent Actions / 74
Mike Phillips, Maxim Likhachev

Euclidean Heuristic Optimization / 81
D. Chris F. Rayner, Michael H. Bowling, Nathan R. Sturtevant

Succinct Set-Encoding for State-Space Search / 87
Tim Schmidt, Rong Zhou

Limits of Preprocessing / 93
Stefan Szeider

Inner Regions and Interval Linearizations for Global Optimization / 99
Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert

Anytime Nonparametric A* / 105
Jur van den Berg, Rajat Shah, Arthur Huang, Ken Goldberg

Solving Difficult CSPs with Relational Neighborhood Inverse Consistency / 112
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

Block A*: Database-Driven Search with Applications in Any-Angle Path-Planning / 120
Peter Yap, Neil Burch, Robert Craig Holte, Jonathan Schaeffer

Knowledge-Based Information Systems

Simulated Annealing Based Influence Maximization in Social Networks / 127
Qingye Jiang, Guojie Song, Cong Gao, Yu Wang, Wenjun Si, Kunqing Xie

Tracking User-Preference Varying Speed in Collaborative Filtering / 133
Ruijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu

CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting Systems / 139
Jin-woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim

Relational Blocking for Causal Discovery / 145
Matthew Rattigan, Marc Maier, David Jensen

Deriving a Web-Scale Common Sense Fact Database / 152
Niket Tandon, Gerard de Melo, Gerhard Weikum

Social Recommendation Using Low-Rank Semidefinite Program / 158
Jianke Zhu, Hao Ma, Chun Chen, Jiajun Bu

Knowledge Representation and Reasoning

A Semantical Account of Progression in the Presence of Uncertainty / 165
Vaishak Belle, Gerhard Lakemeyer

Adding Default Attributes to EL++ / 171
Piero A. Bonatti, Marco Faella, Luigi Sauro

Learning from Spatial Overlap / 177
Michael H. Coen, M. Hidayath Ansari, Nathanael Fillmore

Higher-Order Description Logics for Domain Metamodeling / 183
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

Spectrum-Based Sequential Diagnosis / 189
Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund

A Closer Look at the Probabilistic Description Logic Prob-EL / 197
Víctor Gutiérrez Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

Trajectory Regression on Road Networks / 203
Tsuyoshi Ide, Masashi Sugiyama

An Algebraic Prolog for Reasoning about Possible Worlds / 209
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

Two-Dimensional Description Logics for Context-Based Semantic Interoperability / 215
Szymon Klarman, Víctor Gutiérrez-Basulto

Conjunctive Query Inseparability of OWL 2 QL TBoxes / 221
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

A Modular Consistency Proof for DOLCE / 227
Oliver Kutz, Till Mossakowski

Causal Theories of Actions Revisited / 235
Fangzhen Lin, Mikhail Soutchanski

Revisiting Semantics for Epistemic Extensions of Description Logics / 241
Anees Mehdi, Sebastian Rudolph

Transportability of Causal and Statistical Relations: A Formal Approach / 247
Judea Pearl, Elias Bareinboim

How to Calibrate the Scores of Biased Reviewers by Quadratic Programming / 255
Magnus Roos, Jörg Rothe, Björn Scheuermann

Preferred Explanations: Theory and Generation via Planning / 261
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Language Splitting and Relevance-Based Belief Change in Horn Logic / 268
Maonia Wu, Dongmo Zhang, Mingyi Zhang

Integrating Rules and Description Logics by Circumscription / 274
Qian Yang, Jia-Huai You, Zhiyong Feng

Bounded Forgetting / 280
Yi Zhou, Yan Zhang

Progression Semantics for Disjunctive Logic Programs / 286
Yi Zhou, Yan Zhang

Machine Learning

An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems / 293
Byron Boots, Geoffrey J. Gordon

Learning Structured Embeddings of Knowledge Bases / 301
Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio

A Nonparametric Bayesian Model of Multi-Level Category Learning / 307
Kevin Robert Canini, Thomas L. Griffiths

Large Scale Spectral Clustering with Landmark-Based Representation / 313
Xinlei Chen, Deng Cai

Unsupervised Learning of Human Behaviours / 319
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen

Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics / 325
Gheorghe Comanici, Doina Precup

Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix Factorization / 331
Peng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun

Selective Transfer Between Learning Tasks Using Task-Based Boosting / 337
Eric Eaton, Marie desJardins

Across-Model Collective Ensemble Classification / 343
Hoda Eldardiry, Jennifer Neville

Symmetric Graph Regularized Constraint Propagation / 350
Zhenyong Fu, Zhiwu Lu, Horace Ip, Yuxin Peng, Hongtao Lu

A Feasible Nonconvex Relaxation Approach to Feature Selection / 356
Cuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang

OASIS: Online Active Semi-Supervised Learning / 362
Andrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun-Ming Xu

Learning a Kernel for Multi-Task Clustering / 368
Quanquan Gu, Zhenhui Li, Jiawei Han

Adaptive Large Margin Training for Multilabel Classification / 374
Yuhong Guo, Dale Schuurmans

Value Function Approximation in Reinforcement Learning Using the Fourier Basis / 380
George Konidaris, Sarah Osentoski, Philip Thomas

Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances Selection / 386
Yu-Feng Li, Zhi-Hua Zhou

Size Adaptive Selection of Most Informative Features / 392
Si Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu

Ordinal Regression via Manifold Learning / 398
Yang Liu, Yan Liu, Keith C. C. Chan

Mean Field Inference in Dependency Networks: An Empirical Study / 404
Daniel Lowd, Arash Shamaei

Latent Semantic Learning by Efficient Sparse Coding with Hypergraph Regularization / 411
Zhiwu Lu, Yuxin Peng

Linear Discriminant Analysis: New Formulations and Overfit Analysis / 417
Dijun Luo, Chris H. Q. Ding, Heng Huang

Multi-Level Cluster Indicator Decompositions of Matrices and Tensors / 423
Dijun Luo, Chris H. Q. Ding, Heng Huang

Sparse Group Restricted Boltzmann Machines / 429
Heng Luo, Ruimin Shen, Changyong Niu, Carsten Ullrich

Scaling Up Reinforcement Learning through Targeted Exploration / 435
Timothy Arthur Mann, Yoonsuck Choe

Differential Eligibility Vectors for Advantage Updating and Gradient Methods / 441
Francisco S. Melo

Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation / 447
Marion Neumann, Babak Ahmadi, Kristian Kersting

Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor Classification / 453
Kyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim

Non-Parametric Approximate Linear Programming for MDPs / 459
Jason Pazis, Ronald Parr

Optimal Rewards versus Leaf-Evaluation Heuristics in Planning Agents / 465
Jonathan Sorg, Satinder Singh, Richard L. Lewis

A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning / 471
Harry Strange, Reyer Zwiggelaar

Collaborative Users’ Brand Preference Mining across Multiple Domains from Implicit Feedbacks / 477
Jian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen

Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification Problems / 483
Ke Tang, Rui Wang, Tianshi Chen

Fast Newton-CG Method for Batch Learning of Conditional Random Fields / 489
Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki

Automatic Group Sparse Coding / 495
Fei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Shahram Ebadollahi

Towards Evolutionary Nonnegative Matrix Factorization / 501
Fei Wang, Hanghang Tong, Ching-Yung Lin

Learning Instance Specific Distance for Multi-Instance Classification / 507
Hua Wang, Feiping Nie, Heng Huang

Transfer Learning by Structural Analogy / 513
Huayan Wang, Qiang Yang

Efficient Subspace Segmentation via Quadratic Programming / 519
Shusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen

Localized K-Flats / 525
Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou

Heterogeneous Transfer Learning with RBMs / 531
Bin Wei, Christopher Pal

Multi-Task Learning in Square Integrable Space / 537
Wei Wu, Hang Li, Yunhua Hu, Rong Jin

Sparse Matrix-Variate t Process Blockmodels / 543
Zenglin Xu, Feng Yan, Yuan Qi

Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace Analysis / 549
Makoto Yamada, Masashi Sugiyama

Nonnegative Spectral Clustering with Discriminative Regularization / 555
Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou

Transfer Latent Semantic Learning: Microblog Mining with Less Supervision / 561
Dan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan

Convex Sparse Coding, Subspace Learning, and Semi-Supervised Extensions / 567
Xinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans

Multi-Task Learning in Heterogeneous Feature Spaces / 574
Yu Zhang, Dit-Yan Yeung

A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products / 580
Hui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang

Multiagent Systems

Refinement of Strong Stackelberg Equilibria in Security Games / 587
Bo An, Milind Tambe, Fernando Ordonez, Eric Shieh, Christopher Kiekintveld

Strategic Information Disclosure to People with Multiple Alternatives / 594
Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman

Branch and Price for Multi-Agent Plan Recognition / 601
Bikramjit Banerjee, Landon Kraemer

Mechanism Design for Federated Sponsored Search Auctions / 608
Sofia Ceppi, Nicola Gatti, Enrico Harm Gerding

Market Manipulation with Outside Incentives / 614
Yiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash

Parameterized Complexity of Problems in Coalitional Resource Games / 620
Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat

Optimal Envy-Free Cake Cutting / 626
Yuga J. Cohler, John K. Lai, David C. Parkes, Ariel D. Procaccia

Commitment to Correlated Strategies / 632
Vincent Conitzer, Dmytro Korzhyk

Dominating Manipulations in Voting with Partial Information / 638
Vincent Conitzer, Toby Walsh, Lirong Xia

On Expressing Value Externalities in Position Auctions / 644
Florin Constantin, Malvika Rao, Chien-Chung Huang, David Parkes

Learning in Repeated Games with Minimal Information: The Effects of Learning Bias / 650
Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich

Complexity of and Algorithms for Borda Manipulation / 657
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation Task / 663
Nate Derbinsky, John E. Laird

Computing an Extensive-Form Perfect Equilibrium in Two-Player Games / 669
Nicola Gatti, Claudio Iuliano

VCG Redistribution with Gross Substitutes / 675
Mingyu Guo

Automated Action Abstraction of Imperfect Information Extensive-Form Games / 681
John Alexander Hawkin, Robert Holte, Duane Szafron

A Game-Theoretic Approach to Influence in Networks / 688
Mohammad Tanvir Irfan, Luis Enrique Ortiz

A Kernel-Based Iterative Combinatorial Auction / 695
Sebastien Lahaie

A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent Systems / 701
Kathryn Sarah Macarthur, Ruben Stranders, Sarvapali Ramchurn, Nicholas Jennings

Quick Polytope Approximation of All Correlated Equilibria in Stochastic Games / 707
Liam MacDermed, Karthik S. Narayan, Charles L. Isbell, Lora Weiss

Manipulation of Nanson's and Baldwin's Rules / 713
Nina Narodytska, Toby Walsh, Lirong Xia

Constrained Coalition Formation / 719
Talal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings

Campaign Management under Approval-Driven Voting Rules / 726
Ildiko Schlotter, Piotr Faliszewski, Edith Elkind

M-Unit EigenAnt: An Ant Algorithm to Find the M Best Solutions / 732
Sameena Shah, Jayadeva Jayadeva, Ravi Kothari, Suresh Chandra

Efficiency and Privacy Tradeoffs in Mechanism Design / 738
Xin Sui, Craig Boutilier

Dominant-Strategy Auction Design for Agents with Uncertain, Private Values / 745
David R. M. Thompson, Kevin Leyton-Brown

Incentive-Compatible Escrow Mechanisms / 751
Jens Witkowski, Sven Seuken, David C. Parkes

Risk-Averse Strategies for Security Games with Execution and Observational Uncertainty / 758
Zhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez

Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPs / 764
Chongjie Zhang, Victor Lesser

Multidisciplinary Topics

The Influence of Emotion Expression on Perceptions of Trustworthiness in Negotiation / 772
Dimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz

Co-Evolution of Selection and Influence in Social Networks / 779
Yoon-Sik Cho, Greg Ver Steeg, Aram Galstyan

Finding Answers and Generating Explanations for Complex Biomedical Queries / 785
Esra Erdem, Yelda Erdem, Halit Erdogan, Umut Oztok

First-Order Logic with Counting for General Game Playing / 791
Lukasz Kaiser, Lukasz Stafiniak

Grammatical Error Detection for Corrective Feedback Provision in Oral Conversations / 797
Sungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee

Social Relations Model for Collaborative Filtering / 803
Wu-Jun Li, Dit-Yan Yeung

Comparing Agents' Success against People in Security Domains / 809
Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone

Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go / 815
Martin Michalowski, Mark Boddy, Mike Neilsen

Composite Social Network for Predicting Mobile Apps Installation / 821
Wei Pan, Nadav Aharony, Alex Pentland

Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model / 828
Marco Ragni, Sven Brüssow

Intrinsic Chess Ratings / 834
Kenneth Wingate Regan, Guy McCrossan Haworth

The Epistemic Logic Behind the Game Description Language / 840
Ji Ruan, Michael Thielscher

Reasoning About General Games Described in GDL-II / 846
Stephan Schiffel, Michael Thielscher

Co-Training as a Human Collaboration Policy / 852
Xiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers

Natural Language Processing

Learning to Interpret Natural Language Navigation Instructions from Observations / 859
David L. Chen, Raymond J. Mooney

A Simple and Effective Unsupervised Word Segmentation Approach / 866
Songjian Chen, Yabo Xu, Huiyou Chang

Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question Answering / 872
Jennifer Chu-Carroll, James Fan

Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count Storage / 878
Amit Goyal, Hal Daume

Semantic Relatedness Using Salient Semantic Analysis / 884
Samer Hassan Hassan, Rada Mihalcea

Partially Supervised Text Classification with Multi-Level Examples / 890
Tao Liu, Xiaoyong Du, Yongdong Xu, Minghui Li, Xiaolong Wang

Enhancing Semantic Role Labeling for Tweets Using Self-Training / 896
Xiaohua Liu, Li Kuan, Ming Zhou, Zhongyang Xiong

Using Semantic Cues to Learn Syntax / 902
Tahira Naseem, Regina Barzilay

Exploiting Phase Transition in Latent Networks for Clustering / 908
Vahed Qazvinian, Dragomir R. Radev

Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence Bases / 914
Chao Shen, Tao Li, Chris H. Q. Ding

Tree Sequence Kernel for Natural Language / 921
Jun Sun, Min Zhang, Chew Lim Tan

WikiSimple: Automatic Simplification of Wikipedia Articles / 927
Kristian Woodsend, Mirella Lapata

Identifying Evaluative Sentences in Online Discussions / 933
Zhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia

Reasoning about Plans, Processes, and Actions

Planning for Operational Control Systems with Predictable Exogenous Events / 940
Ronen Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman

Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics / 946
Alexandra Coman, Hector Munoz-Avila

A POMDP Model of Eye-Hand Coordination / 952
Tom Erez, Julian J. Tramper, William D Smart, Stan CAM Gielen

Recognizing Plans with Loops Represented in a Lexicalized Grammar / 958
Christopher Geib, Robert Goldman

A Switching Planner for Combined Task and Observation Planning / 964
Moritz Göbelbecker, Charles Gretton, Richard Dearden

Exploiting Path Refinement Abstraction in Domain Transition Graphs / 971
Peter Gregory, Derek Long, Craig McNulty, Susan M. Murphy

The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports Scheduling / 977
Richard Hoshino, Ken-ichi Kawarabayashi

A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning / 985
Tatsuya Imai, Akihiro Kishimoto

Improving Cost-Optimal Domain-Independent Symbolic Planning / 992
Peter Kissmann, Stefan Edelkamp

On Improving Conformant Planners by Analyzing Domain-Structures / 998
Khoi Hoang Nguyen, Vien Dang Tran, Tran Cao Son, Enrico Pontelli

Exploiting Problem Symmetries in State-Based Planners / 1004
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein

Qualitative Numeric Planning / 1010
Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner

Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends / 1017
Florent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes

Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula / 1023
Son Thanh To, Tran Cao Son, Enrico Pontelli

Reasoning under Uncertainty

Efficient Methods for Lifted Inference with Aggregate Factors / 1030
Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui

Dual Decomposition for Marginal Inference / 1037
Justin Domke

Stopping Rules for Randomized Greedy Triangulation Schemes / 1043
Andrew Gelfand, Kalev Kask, Rina Dechter

Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models / 1049
Chloe Kiddon, Pedro Domingos

Memory-Efficient Dynamic Programming for Learning Optimal Bayesian Networks / 1057
Brandon Malone, Changhe Yuan, Eric Hansen

When to Stop? That Is the Question / 1063
Shulamit Reches, Meir Kalech, Rami Stern

Abductive Markov Logic for Plan Recognition / 1069
Parag Singla, Raymond J. Mooney

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers / 1076
Ozgur Sumer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu

Utilizing Partial Policies for Identifying Equivalence of Behavioral Models / 1083
Yifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo

Robotics

Multiagent Patrol Generalized to Complex Environmental Conditions / 1090
Noa Agmon, Daniel Urieli, Peter Stone

Automated Abstractions for Patrolling Security Games / 1096
Nicola Basilico, Nicola Gatti

Comparing Action-Query Strategies in Semi-Autonomous Agents / 1102
Robert Cohn, Edmund Durfee, Satinder Singh

Optimal Route Planning for Electric Vehicles in Large Networks / 1108
Jochen Eisner, Stefan Funke, Sabine Storandt

Online Graph Pruning for Pathfinding On Grid Maps / 1114
Daniel Damir Harabor, Alban Grastien

Complete Information Pursuit Evasion in Polygonal Environments / 1120
Kyle Klein, Subhash Suri

Learning Dimensional Descent for Optimal Motion Planning in High-dimensional Spaces / 1126
Paul Vernaza, Daniel D. Lee

Special Track on AI and the Web

Detecting Multilingual and Multi-Regional Query Intent in Web Search / 1134
Yi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu

A Whole Page Click Model to Better Interpret Search Engine Click Data / 1140
Weizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang

User-Controllable Learning of Location Privacy Policies With Gaussian Mixture Models / 1146
Justin Cranshaw, Jonathan Mugan, Norman Sadeh

Artificial Intelligence for Artificial Artificial Intelligence / 1153
Peng Dai, . Mausam, Daniel Sabby Weld

Towards Practical ABox Abduction in Large OWL DL Ontologies / 1160
Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan

Identifying Missing Node Information in Social Networks / 1166
Ron Eyal, Sarit Kraus, Avi Rosenfeld

Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition Questions / 1173
Alejandro Figueroa, John Atkinson

Commonsense Causal Reasoning Using Millions of Personal Stories / 1180
Andrew S. Gordon, Cosmin A. Bejan, Kenji Sagae

Active Dual Collaborative Filtering with Both Item and Attribute Feedback / 1186
Luheng He, Nathan N. Liu, Qiang Yang

Fast Query Recommendation by Search / 1192
Qixia Jiang, Maosong Sun

Continual Planning with Sensing for Web Service Composition / 1198
Eirini Kaldeli, Alexander Lazovik, Marco Aiello

Understanding User Migration Patterns in Social Media / 1204
Shamanth Kumar, Reza Zafarani, Huan Liu

Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation / 1210
Edith Law, Haoqi Zhang

Personalizing Your Web Services with Constructive DL Reasoning Join / 1216
Freddy Lecue

Trust Transitivity in Complex Social Networks / 1222
Guanfeng Liu, Yan Wang, Mehmet A Orgun

Generating True Relevance Labels in Chinese Search Engine Using Clickthrough Data / 1230
Hengjie Song, Chunyan Miao, Zhiqi Shen

Cross-Language Latent Relational Search: Mapping Knowledge across Languages / 1237
Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka

Creative Introspection and Knowledge Acquisition / 1243
Tony Veale, Guofu Li

CCRank: Parallel Learning to Rank with Cooperative Coevolution / 1249
Shuaiqiang Wang, Byron J. Gao, Ke Wang, Hady W. Lauw

Integrating Community Question and Answer Archives / 1255
Wei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li

Predicting Author Blog Channels with High Value Future Posts for Monitoring / 1261
Shanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid

SemRec: A Semantic Enhancement Framework for Tag Based Recommendation / 1267
Guandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa

Analyzing and Predicting Not-Answered Questions in Community-based Question Answering Services / 1273
Lichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu

Temporal Dynamics of User Interests in Tagging Systems / 1279
Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison

Transfer Learning for Multiple-Domain Sentiment Analysis — Identifying Domain Dependent/Independent Word Polarity / 1286
Yasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto

Propagating Both Trust and Distrust with Target Differentiation for Combating Web Spam / 1292
Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang

Learning to Suggest Questions in Online Forums / 1298
Tom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao

Heterogeneous Transfer Learning for Image Classification / 1304
Yin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang

Special Track on Computational Sustainability and AI

Green Driver: AI in a Microcosm / 1311
Jim Apple, Paul Chang, Aran Clauson, Heidi Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith

Enforcing Liveness in Autonomous Traffic Management / 1317
Tsz-Chiu Au, Neda Shahidi, Peter Stone

Policy Gradient Planning for Environmental Decision Making with Existing Simulators / 1323
Mark Crowley, David Poole

Dynamic Resource Allocation in Conservation Planning / 1331
Daniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey

Water Conservation Through Facilitation on Residential Landscapes / 1337
Rhonda Hoenigman, Elizabeth Bradley, Nichole Barger

Incorporating Boosted Regression Trees into Ecological Latent Variable Models / 1343
Rebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich

A Large-Scale Study on Predicting and Contextualizing Building Energy Usage / 1349
J. Zico Kolter, Joseph Ferreira

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species / 1357
Katherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery

Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing / 1365
Hui Li, Brian Williams

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation / 1371
Alie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth Brown

Linear Dynamic Programs for Resource Management / 1377
Marek Petrik, Shlomo Zilberstein

Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models / 1384
Steven Phillips, Jane Elith

Modeling and Monitoring Crop Disease in Developing Countries / 1390
John Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze

Learned Behaviors of Multiple Autonomous Agents in Smart Grid Markets / 1396
Prashant P. Reddy, Manuela M. Veloso

Efficient Energy-Optimal Routing for Electric Vehicles / 1402
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr

Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach / 1408
Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar

Discovering Life Cycle Assessment Trees from Impact Factor Databases / 1415
Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah

Decentralised Control of Micro-Storage in the Smart Grid / 1421
Thomas Voice, Perukrishnen Vytelingum, Sarvapali Ramchurn, Alex Rogers, Nicholas Jennings

Special Track on Integrated Intelligence

Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts / 1429
David Michael Barbella, Kenneth D. Forbus

Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI Architecture / 1436
Ben Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu

Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions / 1442
Jonathan Yasuo Ito, Stacy Marsella

Combining Learned Discrete and Continuous Action Models / 1449
Joseph Z. Xu, John E. Laird

Cross Media Entity Extraction and Linkage for Chemical Documents / 1455
Su Yan, Scott Spangler, Ying Chen

Special Track on Physically Grounded AI

Multi-Observation Sensor Resetting Localization with Ambiguous Landmarks / 1462
Brian Coltin, Manuela Veloso

Autonomous Skill Acquisition on a Mobile Manipulator / 1468
George Konidaris, Scott Kuindersma, Roderic Grupen, Andrew Barto

A Scalable Tree-Based Approach for Joint Object and Pose Recognition / 1474
Kevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox

Recognizing Text Through Sound Alone / 1481
Wenzhe Li, Tracy Anne Hammond

DISCO: Describing Images Using Scene Contexts and Objects / 1487
Ifeoma Nwogu, Yingbo Zhou, Christopher Brown

Continuous Occupancy Mapping with Integral Kernels / 1494
Simon Timothy O'Callaghan, Fabio T. Ramos

Learning Accuracy and Availability of Humans Who Help Mobile Robots / 1501
Stephanie Rosenthal, Manuela Veloso, Anind K. Dey

Understanding Natural Language Commands for Robotic Navigation and Mobile Manipulation / 1507
Stefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth Teller, Nicholas Roy

Balancing Safety and Exploitability in Opponent Modeling / 1515
Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters

Self-Aware Traffic Route Planning / 1521
David James Wilkie, Jur van den Berg, Ming Lin, Dinesh Manocha

Special Track on New Scientific and Technical Advances in Research

Effective End-User Interaction with Machine Learning / 1529
Saleema Amershi, James Fogarty, Ashish Kapoor, Desney Tan

Global Seismic Monitoring: A Bayesian Approach / 1533
Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik Sudderth

The Next Best Solution / 1537
Ronen Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh

New Expressive Languages for Ontological Query Answering / 1541
Andrea Calì, Georg Gottlob, Andreas Pieris

Quantity Makes Quality: Learning with Partial Views / 1547
Nicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir

Design and Analysis of Value Creation Networks / 1551
Sampath Kameshwaran, Sameep Mehta, Vinayaka Pandit

Two Visual Strategies for Solving the Raven’s Progressive Matrices Intelligence Test / 1555
Maithilee Kunda, Keith McGreggor, Ashok Goel

A POMDP-Based Optimal Control of P300-Based Brain-Computer Interfaces / 1559
Jaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song

Planning with Specialized SAT Solvers / 1563
Jussi Rintanen

Termination and Correctness Analysis of Cyclic Control / 1567
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff! / 1571
Paolo Viappiani, Craig Boutilier

End-User Feature Labeling via Locally Weighted Logistic Regression / 1575
Weng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret Burnett

Twenty-Third Innovative Applications of Artificial Intelligence Conferences

Deployed Applications

NewsFinder: Automating an Artificial Intelligence News Service / 1581
Liang Dong, Reid G. Smith, Bruce G. Buchanan

The Glass Infrastructure: Using Common Sense to Create a Dynamic, Place-Based Social Information System / 1589
Catherine Havasi, Richard Borovoy, Boris Kizelshteyn, Polychronis Ypodimatopoulos, Jon Ferguson, Henry Holtzman, Andrew Lippman, Dan Schultz, Matthew Blackshaw, Greg Elliott, Chaki Ng

Learning by Demonstration Technology for Military Planning and Decision Making: A Deployment Story / 1597
Karen Myers, Jake Kolojejchick, Carl Angiolillo, Tim Cummings, Tom Garvey, Melinda Gervasio, Will Haines, Chris Jones, Janette Knittel, David Morley, William Ommert, Scott Potter

The News that Matters to You: Design and Deployment of a Personalized News Service / 1605
Mark Jeffrey Stefik, Lance Good

Machine Learning and Sensor Fusion for Estimating Continuous Energy Expenditure / 1613
Nisarg Vyas, Jonathan Farringdon, David Andre, John (Ivo) Stivoric

Emerging Applications

Testing Cyber Security with Simulated Humans / 1622
Jim Blythe, Aaron Botello, Joseph Sutton, David Mazzocco, Jerry Lin, Marc Spraragen, Michael Zyda

A Machine Learning Based System for Semi-Automatically Redacting Documents / 1628
Chad Cumby, Rayid Ghani

Online Planning to Control a Packaging Infeed System / 1636
Minh Do, Lawrence Lee, Rong Zhou, Lara Crawford, Serdar Uckun

The Stock Sonar — Sentiment Analysis of Stocks Based on a Hybrid Approach / 1642
Ronen Feldman, Benjamin Rosenfeld, Roy Bar-Haim, Moshe Fresko

Learning a Skill-Teaching Curriculum with Dynamic Bayes Nets / 1648
Derek T. Green, Thomas J. Walsh, Paul R. Cohen, Yu-Han Chang

Hybrid Qualitative Simulation of Military Operations / 1655
Thomas Hinrichs, Kenneth Forbus, Johan de Kleer, Sungwook Yoon, Eric Jones, Robert Hyland, Jason Wilson

Detecting Falls with Location Sensors and Accelerometers / 1662
Mitja Luštrek, Hristijan Gjoreski, Simon Kozina, Božidara Cvetković, Violeta Mirchevska, Matjaž Gams

Emerging Applications for Intelligent Diabetes Management / 1668
Cindy Marling, Matthew Wiley, Razvan Bunescu, Jay Shubrook, Frank Schwartz

Designing Resilient Long-Reach Passive Optical Networks / 1674
Deepak Mehta, Barry O’Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle

Monitoring Entities in an Uncertain World: Entity Resolution and Referential Integrity / 1681
Steven N. Minton, Sofus A. Macskassy, Peter LaMonica, Kane See, Craig A. Knoblock, Greg Barish, Matthew Michelson, Raymond Liuzzi

Abductive Inference for Combat: Using SCARE-S2 to Find High-Value Targets in Afghanistan / 1689
Paulo Shakarian, Mago Nagel, Brittany Schuetzle, V.S. Subrahmanian

Automatically Mapping Natural Language Requirements to Domain-Specific Process Models / 1695
Uthayasankar Thayasivam, Kunal Verma, Alex Kass, Reymonrod G. Vasquez

Modeling Player Retention in Madden NFL 11 / 1701
Ben George Weber, Michael John, Michael Mateas, Arnav Jhala

Accelerating the Discovery of Data Quality Rules: A Case Study / 1707
Peter Z. Yeh, Colin A. Puri, Mark Wagman, Ajay K Easo

Second Educational Advances in Artificial Intelligence Symposium (EAAI-2010)

Full Papers

Science Fiction as an Introduction to AI Research / 1717
Judy Goldsmith, Nicholas Mattei

Introducing Uninformed Search with Tangible Board Games / 1723
Fred G. Martin

Teaching Introductory Artificial Intelligence through Java-Based Games / 1729
Amy McGovern, Zachery Tidwell, Derek Rushing

Teaching Reinforcement Learning with Mario: An Argument and Case Study / 1737
Matthew Edmund Taylor

Short Papers and Model AI Assignments

Playing to Program: Towards an Intelligent Programming Tutor for RUR-PLE / 1744
Marie desJardins, Amy Ciavolino, Robert Deloatch, Eliana Feasley

Model AI Assignments 2011 / 1746
Todd William Neller, Marie desJardins, Tim Oates, Matthew E. Taylor

Student Abstracts and Posters

Learning Compact Representations of Time-Varying Processes / 1748
Philip Bachman, Doina Precup

Assessing Quality in the Web of Linked Sensor Data / 1750
Chris Colin Baillie, Peter Edwards, Edoardo Pignotti

Medical Treatment Conflict Resolving in Answer Set Programming / 1752
Forrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang

Controlling Selection Bias in Causal Inference / 1754
Elias Bareinboim, Judea Pearl

Solving 4x5 Dots-And-Boxes / 1756
Joseph Kelly Barker, Richard E. Korf

Ad Hoc Teamwork in Variations of the Pursuit Domain / 1758
Samuel Barrett, Peter Stone

Reconstructing the Stochastic Evolution Diagram of Dynamic Complex Systems / 1760
Navid Bazzazzadeh, Benedikt Brors, Roland Eils

Provoking Opponents to Facilitate the Recognition of their Intentions / 1762
Francis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust

Dynamic Batch Mode Active Learning via L1 Regularization / 1764
Shayok Chakraborty, Vineeth Balasubramanian, Sethuraman Panchanathan

Heuristic Planning in Adversarial Dynamic Domains / 1766
Simon Chamberland, Froduald Kabanza

Using Neural Networks for Evaluation in Heuristic Search Algorithm / 1768
Hung-Che Chen, Jyh-Da Wei

Can Collective Sentiment Expressed on Twitter Predict Political Elections? / 1770
Jessica Elan Chung, Eni Mustafaraj

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation / 1772
Christian Drescher, Toby Walsh

Probabilistic Plan Graph Heuristic for Probabilistic Planning / 1774
Yolanda E-Martín, Maria D. R-Moreno, David E. Smith

Optimal Subset Selection for Active Learning / 1776
Yifan Fu, Xingquan Zhu

Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents / 1778
Katsuhide Fujita, Takayuki Ito, Mark Klein

Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems / 1780
Jian Gao, Minghao Yin, Junping Zhou

Role-Based Ad Hoc Teamwork / 1782
Katie Long Genter, Noa Agmon, Peter Stone

Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation / 1784
Aman Goel, Craig A. Knoblock, Kristina Lerman

Large Scale Diagnosis Using Associations between System Outputs and Components / 1786
Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu

On the Discovery and Utility of Precedence Constraints in Temporal Planning / 1788
Yanmei Hu, Minghao Yin, Dunbo Cai

Exact Phase Transitions and Approximate Algorithm of #CSP / 1790
Ping Huang, Minghao Yin, Ke Xu

Extending the Applications of Recent Real-Time Heuristic Search / 1792
Daniel Andrew Huntley, Vadim Bulitko

Multiple-Instance Learning: Multiple Feature Selection on Instance Representation / 1794
I-Hong Jhuo, D. T. Lee

An Event-Based Framework for Process Inference / 1796
Michael Joya

Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception / 1798
Philip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev

Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract) / 1800
Levi Lelis, Sandra Zilles, Robert Craig Holte

An Empirical Study of Bagging Predictors for Different Learning Algorithms / 1802
Guohua Liang, Xingquan Zhu, Chengqi Zhang

An Efficient and Complete Approach for Cooperative Path-Finding / 1804
Ryan Luna, Kostas E. Bekris

Generating Explanations for Complex Biomedical Queries / 1806
Umut öztok, Esra Erdem

An Intelligent System for Prolonging Independent Living of Elderly / 1808
Bogdan Pogorelc

Evolution of Node Behavior in Link Prediction / 1810
Baojun Qiu, Qi He, John Yen

Web Personalization and Cohort Information Services for Natural Resource Managers / 1812
Crystal E. Redman

Using Partitions and Superstrings for Lossless Compression of Pattern Databases / 1814
Ethan L. Schreiber, Richard E. Korf

Convergence Properties of (μ + λ) Evolutionary Algorithms / 1816
Aram Ter-Sarkisov, Stephen Marsland

On the Effectiveness of Belief State Representation in Contingent Planning / 1818
Son Thanh To, Tran Cao Son, Enrico Pontelli

A Bayesian Reinforcement Learning framework Using Relevant Vector Machines / 1820
Nikolaos Tziortziotis, Konstantinos Blekas

A Framework for Integration of Logical and Probabilistic Knowledge / 1822
Jingsong Wang, Marco Valtorta

Solution Quality Improvements for Massively Multi-Agent Pathfinding / 1824
Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby

Online Updating the Generalized Inverse of Centered Matrices / 1826
Qing Wang, Liang Zhang

Modeling Opponent Actions for Table-Tennis Playing Robot / 1828
Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters

Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPs / 1830
Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere

A Local Monte Carlo Tree Search Approach in Deterministic Planning / 1832
Fan Xie, Hootan Nakhost, Martin Müller

Discovering Latent Strategies / 1834
Xiaoxi Xu

AAAI / SIGART Doctoral Consortium

The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming / 1837
Forrest Sheng Bao

Joint Inference for Extracting Text Descriptors from Triage Images of Mass Disaster Victims / 1839
Niyati Chhaya

Model Update for Automated Planning / 1841
Maria Viviane de Menezes, Leliane Nunes de Barros

Long-Term Declarative Memory for Generally Intelligent Agents / 1843
Nate Derbinsky

Ensemble Classification for Relational Domains / 1845
Hoda Eldardiry

Developing a Language for Spoken Programming / 1847
Benjamin M. Gordon

A Probabilistic Trust and Reputation Model for Supply Chain Management / 1849
Yasaman Haghpanah

Designing Water Efficient Residential Landscapes with Agent-Based Modeling / 1851
Rhonda Hoenigman

Predicting Text Quality for Scientific Articles / 1853
Annie Priyadarshini Louis

Scaling Up Game Theory: Achievable Set Methods for Efficiently Solving Stochastic Games of Complete and Incomplete Information / 1855
Liam MacDermed

Pruning Techniques in Search and Planning / 1857
Nir Pochter

Learning with Imprecise Classes, Rare Instances, and Complex Relationships / 1859
Srinath Ravindran

Modeling the Effects of Emotion on Cognition / 1861
Marc Spraragen

Learning Sensor, Space and Object Geometry / 1863
Jeremy Stober

Incentive-Compatible Trust Mechanisms / 1865
Jens Witkowski

Robotics Program

Learning Tasks and Skills Together From a Human Teacher / 1868
Baris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz

Can Quadrotors Succeed as an Educational Platform? / 1870
Zachary Dodds

Playing Chess with a Human-Scale Mobile Manipulator / 1872
Michael Ferguson, Kim Gero, Joao Salles, James Weis

A Robotics Environment for Software Engineering Courses / 1874
Stephan Goebel, Ruben Jubeh, Simon-Lennert Raesch

Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent Robotics / 1876
Michael Lanighan, Jerod Sikorskyj, Debra Burhans, Robert Selkowitz

Learning from Demonstration in Spatial Exploration / 1878
J. Pablo Munoz, Arif T. Ozgelen, Elizabeth Sklar

Approaches to Multi-Robot Exploration and Localization / 1880
Arif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, J. Pablo Munoz, Simon Parsons, Elizabeth Sklar

Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess Challenge / 1882
Kim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops