AAAI Organization / xxvi

Conference Committees / xxix

Awards / lii

Sponsors / liii

AAAI Preface / livWolfram Burgard and Dan Roth

IAAI Preface / lvDaniel Shapiro and Markus Fromherz

EAAI Preface / lviMarie desJardins

Invited Talks / lviiiHeinrich H. Buelthoff, Karrie Karahalios, Michael Kearns, Kurt Konolige, David Ferrucci, Ramon Lopez de Mantaras, David Gunning

AAAI-11 Technical Track Papers

Constraints, Satisfiability, and Search

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

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

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

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

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

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

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

Contents

v

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

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

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming / 61Y. C. Law, J. H. M. Lee, M. H. C. Woo, T. Walsh

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

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

Euclidean Heuristic Optimization / 81Chris Rayner, Michael Bowling, Nathan Sturtevant

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

Limits of Preprocessing / 93Stefan Szeider

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

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

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

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

Knowledge-Based Information Systems

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

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

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

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

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

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

vi

Knowledge Representation and Reasoning

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

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

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

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

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

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

Trajectory Regression on Road Networks / 203Tsuyoshi Idé, Masashi Sugiyama

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

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

Conjunctive Query Inseparability of OWL 2QL TBoxes / 221B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, M. Zakharyaschev

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

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

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

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

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

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

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

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

Bounded Forgetting / 280Yi Zhou, Yan Zhang

vii

Progression Semantics for Disjunctive Logic Programs / 286Yi 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 / 301Antoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio

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

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

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

Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics / 325Gheorghe 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 / 337Eric Eaton, Marie desJardins

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

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

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

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

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

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

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

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

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

viii

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

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

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

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

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

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

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

Differential Eligibility Vectors for Advantage Updating and Gradient Methods / 441Francisco 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 / 459Jason Pazis, Ronald Parr

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

A Generalised Solution to the Out-of-Sample Extension Problem in Manifold Learning / 471Harry 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 / 489Yuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki

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

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

ix

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

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

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

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

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

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

Sparse Matrix-Variate t Process Blockmodels / 543Zenglin 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 / 555Yi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou

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

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

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

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

Multiagent Systems

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

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

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

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

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

x

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

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

Commitment to Correlated Strategies / 632Vincent Conitzer, Dmytro Korzhyk

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

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

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

Complexity of and Algorithms for Borda Manipulation / 657Jessica 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 / 669Nicola Gatti, Claudio Iuliano

VCG Redistribution with Gross Substitutes / 675Mingyu Guo

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

A Game-Theoretic Approach to Influence in Networks / 688Mohammad T. Irfan, Luis E. Ortiz

A Kernel-Based Iterative Combinatorial Auction / 695Sébastien Lahaie

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

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

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

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

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

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

xi

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

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

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

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

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

Multidisciplinary Topics

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

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

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

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

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

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

Comparing Agents’ Success against People in Security Domains / 809Raz 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 / 821Wei Pan, Nadav Aharony, Alex (Sandy) Pentland

Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive Model / 828

Marco Ragni, Sven Brüssow

Intrinsic Chess Ratings / 834Kenneth W. Regan, Guy McC. Haworth

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

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

xii

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

Natural Language Processing

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

A Simple and Effective Unsupervised Word Segmentation Approach / 866Songjian 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 / 878Amit Goyal, Hal Daumé III

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

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

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

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

Exploiting Phase Transition in Latent Networks for Clustering / 908Vahed 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 / 921Jun Sun, Min Zhang, Chew Lim Tan

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

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

Reasoning about Plans, Processes, and Actions

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

Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics / 946Alexandra Coman, Héctor Muñoz-Avila

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

xiii

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

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

Exploiting Path Refinement Abstraction in Domain Transition Graphs / 971Peter Gregory, Derek Long, Craig McNulty, Susanne 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 / 992Peter Kissmann, Stefan Edelkamp

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

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

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

Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends / 1017Florent 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 / 1030Jaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui

Dual Decomposition for Marginal Inference / 1037Justin Domke

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

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

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

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

xiv

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

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers / 1076Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu

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

Robotics

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

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

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

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

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

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

Learning Dimensional Descent for Optimal Motion Planning in High-Dimensional Spaces / 1126

Paul Vernaza, Daniel D. Lee

Special Tracks

Artificial Intelligence and the Web

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

A Whole Page Click Model to Better Interpret Search Engine Click Data / 1140Weizhu 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 / 1153Peng Dai, Mausam, Daniel S. Weld

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

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

xv

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 / 1180Andrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae

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

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

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

Understanding User Migration Patterns in Social Media / 1204Shamanth 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 / 1216Freddy Lécué

Trust Transitivity in Complex Social Networks / 1222Guanfeng 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 / 1237Nguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka

Creative Introspection and Knowledge Acquisition: Learning about the World through Introspective Questions and Exploratory Metaphors / 1243

Tony Veale, Guofu Li

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

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

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

SemRec: A Semantic Enhancement Framework for Tag Based Recommendation / 1267Guandong 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 / 1279Dawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison

xvi

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 / 1292Xianchao Zhang, You Wang, Nan Mou, Wenxin Liang

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

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

Computational Sustainability and Artificial Intelligence

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

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

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

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

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

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

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

The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species / 1357Katherine 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 / 1365Hui Li, Brian Williams

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation / 1371

Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown

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

Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution Models / 1384

Steven J. Phillips, Jane Elith

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

xvii

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

Efficient Energy-Optimal Routing for Electric Vehicles / 1402Martin 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 / 1415Naren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah

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

Integrated Intelligence

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

Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated andRobotic Agents Using the OpenCogPrime AGI Architecture / 1436

B. Goertzel, J. Pitt, J. Wigmore, N. Geisweiller, Z. Cai, R. Lian, D. Huang, G. Yu

Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and Decisions / 1442

Jonathan Ito, Stacy Marsella

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

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

Physically Grounded Artificial Intelligence

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

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

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

Recognizing Text through Sound Alone / 1481Wenzhe Li, Tracy Hammond

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

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

xviii

Learning Accuracy and Availability of Humans Who Help Mobile Robots / 1501Stephanie 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 / 1515Zhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters

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

New Scientific and Technical Advances in Research (Nectar)

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

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

The Next Best Solution / 1537R. Brafman, E. Pilotto, F. Rossi, D. Salvagnin, K. B. Venable, T. Walsh

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

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

Design and Analysis of Value Creation Networks / 1551S. 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 / 1563Jussi Rintanen

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

Recommendation Sets and Choice Queries: There IsNo Exploration/Exploitation Tradeoff! / 1571

Paolo Viappiani, Craig Boutilier

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

xix

Innovative Applications of Artificial Intelligence

Deployed Applications

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

The Glass Infrastructure: Using Common Sense to Create a Dynamic, Place-Based Social Informa-tion System / 1589

Catherine Havasi, Richard Borovoy, Boris Kizelshteyn, Polychronis Ypodimatopoulos, Jon Ferguson, Henry Holtz-man, 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 / 1605Mark J. Stefik, Lance Good

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

Emerging Applications

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

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

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

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

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

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

Detecting Falls with Location Sensors and Accelerometers / 1662Mitja Lustrek, Hristijan Gjoreski, Simon Kozina, Bozidara Cvetkovic, Violeta Mirchevska, Matjaz Gams

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

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

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

xx

Abductive Inference for Combat: Using SCARE-S2 to Find High-Value Targets in Afghanistan /1689

Paulo Shakarian, Margo K. Nagel, Brittany E. Schuetzle, V. S. Subrahmanian

Automatically Mapping Natural Language Requirements to Domain-Specific Process Models /1695

Uthayashankar Thayasivam, Kunal Verma, Alex Kass, Reymonrod Vasquez

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

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

Educational Advances in Artificial Intelligence

Full Papers

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

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

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

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

Short Papers and Model AI Assignments

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

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

Student Abstracts and Posters

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

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

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

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

xxi

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

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

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

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

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

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

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

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

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

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

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

Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator Agents / 1778

Katsuhide Fujita, Mark Klein, Takayuki Ito

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

Role-Based Ad Hoc Teamwork / 1782Katie 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 / 1786Ting Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu

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

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

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

xxii

Multiple-Instance Learning: Multiple Feature Selection on Instance Representation / 1794

I-Hong Jhuo, D. T. Lee

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

Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and Proprioception / 1798

Philip Koonce, Vasha Dutell, José Farrington, Vladimir Sukhoy, Alexander Stoytchev

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

xxiii

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

Discovering Latent Strategies / 1834Xiaoxi Xu

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 / 1841Maria Viviane de Menezes, Leliane Nunes de Barros

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

Ensemble Classification for Relational Domains / 1845Hoda Eldardiry

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

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

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

Predicting Text Quality for Scientific Articles / 1853Annie 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 (Research Abstract) / 1857Nir Pochter

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

Modeling the Effects of Emotion on Cognition / 1861Marc Spraragen

Learning Sensor, Space and Object Geometry / 1863Jeremy Stober

Incentive-Compatible Trust Mechanisms (Extended Abstract) / 1865Jens Witkowski

xxiv

Learning Tasks and Skills Together from a Human Teacher / 1868Baris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea L. Thomaz

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

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

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

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

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

Approaches to Multi-Robot Exploration and Localization / 1880Arif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, J. PabloMunoz, Simon Parsons, Elizabeth I. 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

Index / 1885

xxv

Robotics Program